for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
Stochastic analysis is not only a thriving area of pure mathematics with intriguing connections to partial differential equations and differential geometry.
Bemærk: Kan ikke leveres før jul.
Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This book presents classical computability theory from... Læs mere
Bemærk: Kan ikke leveres før jul.
A spatial logic is a formal language interpreted over any class of structures featuring geometrical entities and relations, broadly construed. In the past decade, spatial... Læs mere
Bemærk: Kan ikke leveres før jul.
By the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science.... Læs mere
Bemærk: Kan ikke garanteres før jul. Se dato på varen.
This book explores how mathematics appears in everyday life. It presents math in a fun and beautiful way using knowledge at the junior high and high school level.
Bemærk: Kan ikke garanteres før jul. Se dato på varen.
This book explores how mathematics appears in everyday life. It presents math in a fun and beautiful way using knowledge at the junior high and high school level.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book collects 13 papers that explore Wittgenstein's philosophy throughout the different stages of... Læs mere
Bemærk: Kan ikke leveres før jul.
This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic.
Bemærk: Kan ikke leveres før jul.
The second was a combination of a summer school and workshop on the... Læs mere
Bemærk: Kan ikke leveres før jul.
This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions.
Bemærk: Kan ikke leveres før jul.
Most of the papers, but not all, are developed around the subtle distinctions between consistency and non-contradiction, as well as among contradiction,... Læs mere