Matematisk logik
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
Temporal Logic: Volume 2 (Bog, Hardback, Engelsk)Mathematical logic is an area of interest to workers in philosophy and computer science as well as mathematics. This book, the companion to an already successful volume by the... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Temporal Logic: Volume 1 (Bog, Hardback, Engelsk)BL Indispensable reference for both the pure logician and the theoretical computer scientistThis long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Modal Logic (Bog, Hardback, Engelsk)This is a mathematically-oriented advanced textbook in modal logic, a discipline conceived in philosophy and having found applications in mathematics, artificial intelligence, linguistics,... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Conditionals: From Philosophy to Computer Science (Bog, Hardback, Engelsk)Internationally recognized logicians present current thinking on the understanding of the role of deduction in human reasoning.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Computability and Randomness (Bog, Hardback, Engelsk)A monograph on the interface of computational complexity and randomness of sets of natural numbers.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Mathematics and Logic in History and in Contemporary Thought (Bog, Paperback / softback, Engelsk)Covering the evolution of mathematics since the ancient times, this work observes the changes that have taken place in the conception of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Hex: The Full Story (Bog, Hardback, Engelsk)Written for a wide audience, this is the full story of Hex, inside and out, with all its twists and turns: Hein’s creation, Lindhard’s puzzles, Nash’s proofs, Gale’s Bridg-it, the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Time & Logic: A Computational Approach (Bog, Hardback, Engelsk)Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Time & Logic: A Computational Approach (Bog, Paperback / softback, Engelsk)Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Practical Cryptography: Algorithms and Implementations Using C++ (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Logic of Arithmetic (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Lectures on Mathematical Logic, Volume II (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
