Logic of Computation, Fachbücher von Helmut Schwichtenberg
53,49 €
Das Buch "Logic of Computation" bietet eine umfassende Untersuchung der Fortschritte in der Anwendung logischer Methoden in der Softwareentwicklung. Entstanden aus der Marktoberdorf Summer School 1995, beleuchtet es die Wechselwirkungen zwischen Logik und Programmierung. Die behandelten Themen umfassen das Paradigma der "Beweise als Programme", das die Extraktion verifizierter Programme aus Beweisen ermöglicht, sowie Erweiterungen der logischen Programmierung. Zudem werden beweistheoretische Methoden vorgestellt, die Werkzeuge zur Analyse der Berechenbarkeit und zur Entwicklung eines mathematischen Verständnisses von Komplexitätsfragen bieten. Das Buch ist das Ergebnis der Zusammenarbeit führender Forscher und bietet wertvolle Einblicke in die theoretischen Grundlagen und praktischen Anwendungen der Logik in der Informatik.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
