Fai clic su di un'immagine per andare a Google Ricerca Libri.
Sto caricando le informazioni... Logic with Prologdi Peter Gibbins
Nessuno Sto caricando le informazioni...
Iscriviti per consentire a LibraryThing di scoprire se ti piacerà questo libro. Attualmente non vi sono conversazioni su questo libro. Nessuna recensione nessuna recensione | aggiungi una recensione
Appartiene alle Serie
This book is an introduction to the essential ideas of formal logic and to the new field of logic programming, which is beginning to have an impact on the traditional area of conventional software engineering. Logical concepts and how they may be implemented in the logic programming language Prolog are emphasized. The authors discuss parsers, pretty-printers, programming language interpreters, interactive proof-checkers, theorem-provers of various kinds, and implements versions of Prolog. The early part of the book deals with Prolog as a programming language, and how it can be used. The core of the book deals with the propositional and predicate calculi, which are treated conventionally, via natural deduction systems. The theory behind automatic theorem-proving is sketched. The last two chapters examine the logic of a specified small programming imperative language and the restricted logic of real Prolog. Philosophical questions are also considered. Non sono state trovate descrizioni di biblioteche |
Discussioni correntiNessunoCopertine popolariNessuno
Google Books — Sto caricando le informazioni... GeneriSistema Decimale Melvil (DDC)005.13Information Computer Science; Knowledge and Systems Computer programming, programs, data, security Programming LanguagesClassificazione LCVotoMedia: Nessun voto.Sei tu?Diventa un autore di LibraryThing. |