Logic with PROLOG
Seiten
1988
Clarendon Press (Verlag)
978-0-19-859671-4 (ISBN)
Clarendon Press (Verlag)
978-0-19-859671-4 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
An introduction to the essential ideas of formal logic and to the new field of logic programming, which is beginning to make an impact on conventional software engineering. Logical concepts and how they may be implemented in the logic programming language PROLOG are emphasized.
This is an introduction to the essential ideas of formal logic and to the new field of logic programming which is beginning to make an impact on conventional software engineering. Logical concepts and how they may be implemented in the logic programming language PROLOG are emphasized. The author discusses parsers, pretty-printers, programming language interpreters, interactive proof-checkers and theorem-provers of various kinds and implements versions of PROLOG, in PROLOG. The book also deals with PROLOG as a programming language. The core of the book examines the propositional and predicate calculi, which are treated conventionally, via natural deduction systems. The theory behind automatic theorem-proving is sketched. The logic of a specified small programming imperative language and the restricted logic of real PROLOG are also examined.
This is an introduction to the essential ideas of formal logic and to the new field of logic programming which is beginning to make an impact on conventional software engineering. Logical concepts and how they may be implemented in the logic programming language PROLOG are emphasized. The author discusses parsers, pretty-printers, programming language interpreters, interactive proof-checkers and theorem-provers of various kinds and implements versions of PROLOG, in PROLOG. The book also deals with PROLOG as a programming language. The core of the book examines the propositional and predicate calculi, which are treated conventionally, via natural deduction systems. The theory behind automatic theorem-proving is sketched. The logic of a specified small programming imperative language and the restricted logic of real PROLOG are also examined.
Why logic matters to computing science; PROLOG, pure and impure; elementary mathematics in PROLOG; parsing with PROLOG; propositional calculus - syntax and semantics; four styles of theorem-proving; propositional calculus - the resolution principle and natural deduction; predicate calculus - syntax, semantics, resolution and unification, natural deduction; TOY PASCAL in PROLOG; program proving; the logic of PROLOG.
| Erscheint lt. Verlag | 24.11.1988 |
|---|---|
| Reihe/Serie | Oxford applied mathematics & computing science series |
| Zusatzinfo | 18 line drawings, glossary, solutions to selected exercises, further reading list, references, index |
| Verlagsort | Oxford |
| Sprache | englisch |
| Maße | 140 x 220 mm |
| Gewicht | 556 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 0-19-859671-5 / 0198596715 |
| ISBN-13 | 978-0-19-859671-4 / 9780198596714 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Das Handbuch für Webentwickler
Buch | Hardcover (2023)
Rheinwerk (Verlag)
CHF 69,85
Grundlagen und praktische Anwendungen von Transpondern, kontaktlosen …
Buch (2023)
Hanser (Verlag)
CHF 125,95
