Proof Assistants and Their Applications in Mathematics and Computer Science
Anzahl | Stückpreis |
---|---|
Bis 1 |
0,00 €*
|
Ab 1 |
0,00 €*
|
Dieses Produkt erscheint am 12. Januar 2026
Produktnummer:
18034936ab2eee4a98b7842ddc267e581e
Themengebiete: | Computer Science Logic Cryptographic Protocols Inductive Types Metamathematics Proof Assistants Proof Automation Proof Languages |
---|---|
Veröffentlichungsdatum: | 12.01.2026 |
EAN: | 9783031851902 |
Sprache: | Englisch |
Seitenzahl: | 390 |
Produktart: | Unbekannt |
Herausgeber: | Blanchette, Jasmin Mahboubi, Assia |
Verlag: | Springer International Publishing |
Produktinformationen "Proof Assistants and Their Applications in Mathematics and Computer Science"
Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking. Today they are used to verify operating systems, compilers, and cryptographic protocols, as well as landmark results in mathematics such as the Feit-Thompson theorem or the Kepler conjecture. Contemporary proof assistants rely on a sophisticated interaction between theoretical investigations in metamathematics and the efficient implementation of a portfolio of algorithms, without which these systems would not usable on a large scale. During the last decade, the use of proof assistants has grown steadily, and they are now at the same time a research topic in its own right and a tool for researchers in other domains. Yet no reference book is available today that covers the entire domain. This book is an introduction and reference for the various topics related to the underlying logical formalisms, architectures, and applications.The main audience is graduate students entering the field of interactive theorem proving, the secondary audience is more established researchers in computer science, mathematics, and philosophy, as well as practicing engineers, engaged with proof assistants.

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen