Filter
Matematisk logik
Filter
Fuzzy logic refers to a large subject, dealing with a set of methods to characterize and quantify uncertainty in engineering systems that arise from ambiguity, imprecision, …
Algorithms and Theory of Computation Handbook, Second Edition provides an up-to-date compendium of fundamental computer science topics and techniques. It also illustrates how the …
Model theory is the meta-mathematical study of the concept of mathematical truth. After Afred Tarski coined the term Theory of Models in the early 1950’s, it rapidly became one of …
Wie kommt es, dass das „Buch der Natur in der Sprache der Mathematik“ geschrieben ist?Was hat Mathematik mit Logik zu tun und was die Logik mit der Natur?Wie haben die Menschen …
A guide to using Mathematica so as to explore cellular automata within natural phenomena, such as insect colonies, bird flight paths and even DNA sequencing. Designed for …
Aimed at graduate students and researchers in combinatorics and model theory, these two volumes provide a systematic exposition of methods used to classify homogeneous structures …
Principia Mathematica was first published in 1910–13; this is the ninth impression of the second edition of 1925–7. The Principia has long been recognised as one of the …
Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas …
KLAPPENTEXT: Alan Turings automatentheoretische Überlegungen spielen eine maßgebliche Rolle, wenn es gilt, die Möglichkeiten und Grenzen von Computern und Menschen zu untersuchen. …
How you can become better at solving real-world problems by learning creative puzzle-solving skillsWe solve countless problems--big and small--every day. With so much practice, why …