Anil Nerode
Logic for Applications
Auteur(s) : Anil Nerode
Date de publication : 17-01-1997
Edition : Springer-Verlag New York Inc.
Type : Relie
In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re- cent dramatic growth in the applications oflogic to computer science.
Thus, our choice oftopics has been heavily influenced by such applications.
Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand.
Much ofour book, however, deals with other less traditional topics.
Resolution theorem proving plays a major role in our treatment of logic especially in its application to Logic Programming and PRO- LOG.... Lire la suite
Thus, our choice oftopics has been heavily influenced by such applications.
Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand.
Much ofour book, however, deals with other less traditional topics.
Resolution theorem proving plays a major role in our treatment of logic especially in its application to Logic Programming and PRO- LOG.... Lire la suite
Cote de Logic for Applications
25 €
= stable
Sur 12 mois : de 24 € à 42 € · Prix moyen : 26 €
Fiabilité : +++ Élevée — Le prix reste proche de la cote (écart typique ±0 €).
Cote calculée sur les 12 derniers mois
Évolution de la cote — médiane mensuelle sur 12 mois
Plus le chiffre est bas, plus le livre se vend.
Le produit a bien été ajouté au panier
Logic for Applications
Etat : N/A
Prix : 0
Total, 0 article : 0