![Symbolic Logic and Mechanical Theorem Proving](https://img.perlego.com/book-covers/1856761/9780080917283_300_450.webp)
eBook - PDF
Symbolic Logic and Mechanical Theorem Proving
Chin-Liang Chang,Richard Char-Tung Lee
This is a test
- 331 Seiten
- English
- PDF
- Über iOS und Android verfügbar
eBook - PDF
Symbolic Logic and Mechanical Theorem Proving
Chin-Liang Chang,Richard Char-Tung Lee
Angaben zum Buch
Inhaltsverzeichnis
Quellenangaben
Über dieses Buch
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.
Häufig gestellte Fragen
Wie kann ich mein Abo kündigen?
Gehe einfach zum Kontobereich in den Einstellungen und klicke auf „Abo kündigen“ – ganz einfach. Nachdem du gekündigt hast, bleibt deine Mitgliedschaft für den verbleibenden Abozeitraum, den du bereits bezahlt hast, aktiv. Mehr Informationen hier.
(Wie) Kann ich Bücher herunterladen?
Derzeit stehen all unsere auf Mobilgeräte reagierenden ePub-Bücher zum Download über die App zur Verfügung. Die meisten unserer PDFs stehen ebenfalls zum Download bereit; wir arbeiten daran, auch die übrigen PDFs zum Download anzubieten, bei denen dies aktuell noch nicht möglich ist. Weitere Informationen hier.
Welcher Unterschied besteht bei den Preisen zwischen den Aboplänen?
Mit beiden Aboplänen erhältst du vollen Zugang zur Bibliothek und allen Funktionen von Perlego. Die einzigen Unterschiede bestehen im Preis und dem Abozeitraum: Mit dem Jahresabo sparst du auf 12 Monate gerechnet im Vergleich zum Monatsabo rund 30 %.
Was ist Perlego?
Wir sind ein Online-Abodienst für Lehrbücher, bei dem du für weniger als den Preis eines einzelnen Buches pro Monat Zugang zu einer ganzen Online-Bibliothek erhältst. Mit über 1 Million Büchern zu über 1.000 verschiedenen Themen haben wir bestimmt alles, was du brauchst! Weitere Informationen hier.
Unterstützt Perlego Text-zu-Sprache?
Achte auf das Symbol zum Vorlesen in deinem nächsten Buch, um zu sehen, ob du es dir auch anhören kannst. Bei diesem Tool wird dir Text laut vorgelesen, wobei der Text beim Vorlesen auch grafisch hervorgehoben wird. Du kannst das Vorlesen jederzeit anhalten, beschleunigen und verlangsamen. Weitere Informationen hier.
Ist Symbolic Logic and Mechanical Theorem Proving als Online-PDF/ePub verfügbar?
Ja, du hast Zugang zu Symbolic Logic and Mechanical Theorem Proving von Chin-Liang Chang,Richard Char-Tung Lee im PDF- und/oder ePub-Format sowie zu anderen beliebten Büchern aus Matematica & Matematica discreta. Aus unserem Katalog stehen dir über 1 Million Bücher zur Verfügung.
Information
Thema
MatematicaThema
Matematica discretaInhaltsverzeichnis
- Front Cover
- Symbolic Logic and Mechanical Theorem Proving
- Copyright Page
- Table of Contents
- Dedication
- Preface
- Acknowledgments
- Chapter 1. Introduction
- Chapter 2. The Propositional Logic
- Chapter 3. The First-Order Logic
- Chapter 4. Herbrand's Theorem
- Chapter 5. The Resolution Principle
- Chapter 6. Semantic Resolution and Lock Resolution
- Chapter 7. Linear Resolution
- Chapter 8. The Equality Relation
- Chapter 9. Some Proof Procedures Based on Herbrand's Theorem
- Chapter 10. Program Analysis
- Chapter11. Deductive Question Answering, Problem Solving, and Program Synthesis
- Chapter 12. Concluding Remarks
- Appendix A
- Appendix B
- Bibliography
- INDEX
Zitierstile für Symbolic Logic and Mechanical Theorem Proving
APA 6 Citation
Chang, C.-L., & Lee, R. C.-T. (2014). Symbolic Logic and Mechanical Theorem Proving ([edition unavailable]). Elsevier Science. Retrieved from https://www.perlego.com/book/1856761/symbolic-logic-and-mechanical-theorem-proving-pdf (Original work published 2014)
Chicago Citation
Chang, Chin-Liang, and Richard Char-Tung Lee. (2014) 2014. Symbolic Logic and Mechanical Theorem Proving. [Edition unavailable]. Elsevier Science. https://www.perlego.com/book/1856761/symbolic-logic-and-mechanical-theorem-proving-pdf.
Harvard Citation
Chang, C.-L. and Lee, R. C.-T. (2014) Symbolic Logic and Mechanical Theorem Proving. [edition unavailable]. Elsevier Science. Available at: https://www.perlego.com/book/1856761/symbolic-logic-and-mechanical-theorem-proving-pdf (Accessed: 15 October 2022).
MLA 7 Citation
Chang, Chin-Liang, and Richard Char-Tung Lee. Symbolic Logic and Mechanical Theorem Proving. [edition unavailable]. Elsevier Science, 2014. Web. 15 Oct. 2022.