Proof Profiles, Fachbücher von Stefan Hetzl
Das Buch "Proof Profiles" von Stefan Hetzl bietet eine tiefgehende Untersuchung der Schnittstelle zwischen Mathematik und Inf... Mehr erfahren
Finde die besten Angebote
Bester Preis29 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Proof Profiles" von Stefan Hetzl bietet eine tiefgehende Untersuchung der Schnittstelle zwischen Mathematik und Informatik, insbesondere im Bereich der formalen Beweisführung. Es beleuchtet die Bedeutung mathematischer Konzepte für die Informatik und zeigt auf, wie computerbasierte Methoden zur Analyse und Formalisierung von mathematischen Beweisen eingesetzt werden können. In den letzten Jahren wurden umfangreiche elektronische Bibliotheken mit formalisierten Beweisen entwickelt, die es ermöglichen, auch komplexe Beweise zu formalisieren, die für die aktuelle Forschung von Interesse sind. Hetzl analysiert die Möglichkeiten zur Automatisierung von Methoden, die zuvor manuell angewendet wurden, und bietet wertvolle Einblicke in die mathematische Struktur und den Inhalt formaler Beweise. Dieses Fachbuch richtet sich an Leser, die ein vertieftes Verständnis für die Wechselwirkungen zwischen Mathematik und Informatik suchen und die Entwicklungen in der formalen Beweisführung nachvollziehen möchten.
Informationen
Lieferzeit:2-4 Werktage
Marke:VDM