Computerabsturze, Ruckrufaktionen, Sicherheitslecks: Das Phanomen Software- Fehler hat sich zum festen Bestandteil unseres taglichen Lebens entwickelt. Mit dem unaufhaltsamen Vordringen der Computertechnik in immer mehr sicherheitskritische Bereiche wird die Software-Qualitatssicherung zu einer stetig wichtiger werdenden Disziplin der Informationstechnik. Aber warum ist die Qualitat von Software heute so schlecht? Und viel wichtiger noch: Stehen wir der Misere hilflos gegenuber? Dieses Buch fuhrt umfassend und praxisnah in das Gebiet der Software- Qualitatssicherung ein und gibt eine Antwort...
Computerabsturze, Ruckrufaktionen, Sicherheitslecks: Das Phanomen Software- Fehler hat sich zum festen Bestandteil unseres taglichen Lebens entwickelt...
Im Jahr 1931 erschien im Monatsheft fur Mathematik und Physik ein Artikel mit dem geheimnisvoll klingenden Titel Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme I. In dieser Arbeit hat Kurt Godel zwei Unvollstandigkeitssatze bewiesen, die unseren Blick auf die Mathematik von Grund auf verandert haben. Godels Satze manifestieren, dass zwischen dem Begriff der Wahrheit und dem Begriff der Beweisbarkeit eine Kluft besteht, die wir nicht uberwinden konnen. Die Mathematik fugt sich in kein formales Korsett.
Seit ihrer Entdeckung sind die...
Im Jahr 1931 erschien im Monatsheft fur Mathematik und Physik ein Artikel mit dem geheimnisvoll klingenden Titel Uber formal unentscheidbare Sat...
Der Band bietet einen Überblick über die Kerngebiete der mathematischen Logik - bis zu den Grenzen mathematischen Wissens. Beispiele und Abbildungen erleichtern das Verständnis. Der Band bietet mehr als 70 Aufgaben, mit Lösungen auf der begleitenden Website.
Der Band bietet einen Überblick über die Kerngebiete der mathematischen Logik - bis zu den Grenzen mathematischen Wissens. Beispiele und Abbildungen...
