Dirk W. Hoffmann Forfatter
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic (Bog, Paperback / softback, Engelsk)
The covered topics include the history of mathematical logic, formal systems, axiomatic number theory and set theory, proof theory, Gödel's incompleteness theorems, computability theory, algorithmic information theory, and model theory.
Levering: 6 - 9 hverdage -
Godel's Incompleteness Theorems: A Guided Tour Through Kurt Godel’s Historic Proof (Bog, Paperback / softback, Engelsk)
For good reasons, however, hardly any work deals with Gödel's article in its original form: His complex lines of thought... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software-Qualitat (Bog, Paperback / softback, Tysk)
Zu Beginn werden die typischen Fehlerquellen der Programmentwicklung erörtert und anschließend die verschiedenen Methoden und Techniken behandelt, die uns zur Verbesserung der Qualität zur Verfügung stehen.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Die Godel'schen Unvollstandigkeitssatze: Eine gefuhrte Reise durch Kurt Godels historischen Beweis (Bog, Paperback / softback, Tysk)
Es ist die Zeit, in der die Mathematik die größte Krise ihrer Geschichte durchlebte, die Typentheorie und die axiomatische Mengenlehre Gestalt annahmen und sich Hilberts formalistische Logik und Brouwers intuitionistische Mathematik mit offenem Visier gegenüber standen. Die 2.
Levering: Skaffevare (forvent 14 - 30 hverdage)
