Automated Theorem Proving (eBook)
110 Seiten
One Billion Knowledgeable (Verlag)
978-0-00-048030-9 (ISBN)
What Is Automated Theorem Proving
The process of proving mathematical theorems by the use of computer programs is referred to as automated theorem proving. This subfield of automated reasoning and mathematical logic was developed in the 1980s. A significant driving force behind the development of computer science was the application of automated reasoning to mathematical proof.
How You Will Benefit
(I) Insights, and validations about the following topics:
Chapter 1: Automated theorem proving
Chapter 2: Curry-Howard correspondence
Chapter 3: Logic programming
Chapter 4: Proof complexity
Chapter 5: Metamath
Chapter 6: Model checking
Chapter 7: Formal verification
Chapter 8: Program analysis
Chapter 9: Ramanujan machine
Chapter 10: General Problem Solver
(II) Answering the public top questions about automated theorem proving.
(III) Real world examples for the usage of automated theorem proving in many fields.
Who This Book Is For
Professionals, undergraduate and graduate students, enthusiasts, hobbyists, and those who want to go beyond basic knowledge or information for any kind of automated theorem proving.
What is Artificial Intelligence Series
The artificial intelligence book series provides comprehensive coverage in over 200 topics. Each ebook covers a specific Artificial Intelligence topic in depth, written by experts in the field. The series aims to give readers a thorough understanding of the concepts, techniques, history and applications of artificial intelligence. Topics covered include machine learning, deep learning, neural networks, computer vision, natural language processing, robotics, ethics and more. The ebooks are written for professionals, students, and anyone interested in learning about the latest developments in this rapidly advancing field.
The artificial intelligence book series provides an in-depth yet accessible exploration, from the fundamental concepts to the state-of-the-art research. With over 200 volumes, readers gain a thorough grounding in all aspects of Artificial Intelligence. The ebooks are designed to build knowledge systematically, with later volumes building on the foundations laid by earlier ones. This comprehensive series is an indispensable resource for anyone seeking to develop expertise in artificial intelligence.
| Erscheint lt. Verlag | 6.7.2023 |
|---|---|
| Sprache | englisch |
| Themenwelt | Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik |
| ISBN-10 | 0-00-048030-4 / 0000480304 |
| ISBN-13 | 978-0-00-048030-9 / 9780000480309 |
| Haben Sie eine Frage zum Produkt? |
EPUB (Adobe DRM)Größe: 365 KB
Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM
Dateiformat: EPUB (Electronic Publication)
EPUB ist ein offener Standard für eBooks und eignet sich besonders zur Darstellung von Belletristik und Sachbüchern. Der Fließtext wird dynamisch an die Display- und Schriftgröße angepasst. Auch für mobile Lesegeräte ist EPUB daher gut geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine
Geräteliste und zusätzliche Hinweise
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich
