Articles liés à Logic and Language Models for Computer Science
Synopsis
Book by Hamburger Henry Richards Dana
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Quatrième de couverture
This book invites the reader to explore abstractions that are crucial to computer science. The authors bring a sense of excitement to logics, formal languages and automata—motivating topics by linking them to computing and to computational applications, sometime with whole chapters. They achieve exceptional clarity through a plethora of examples and figures, yet without-losing sight of, and indeed celebrating, the precision that is the hallmark of this subject matter.
Features of the book include:- application of logic to program verification
- programming in the logic language, Prolog
- discussion of "why" and "how" to prove things
- relationships between English and programming languages
- diagrams-first approach to automata
- lex as a tool and an extension of formal language
- pushdown automata as parsing strategies
- Turing machines as models of computation
Présentation de l'éditeur
For sophomore/junior-level courses in, Logic, Automata Theory, Theory of Computation/CS Theory, Discrete Mathematics, and Complexity Theory.
This text provides students with in-depth explorations of a broad range of theoretical topics in computer science. It plunges into the applications of the abstract concepts in order to confront and address the skepticism of many students, and instill in them an appreciation for the usefulness of theory.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurPearson
- Date d'édition2002
- ISBN 10 0130654876
- ISBN 13 9780130654878
- ReliureBroché
- Langueanglais
- Nombre de pages341
Acheter neuf
Afficher cet article
EUR 67,61
Gratuit expédition vers Etats-Unis
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour Logic and Language Models for Computer Science
Image d'archives
Logic and Language Models for Computer Science
Vendeur : Seattle Goodwill, Seattle, WA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Good. May have some shelf-wear due to normal use. N° de réf. du vendeur 0KVOGF000Y7O
Quantité disponible : 1 disponible(s)
Image d'archives
Logic and Language Models for Computer Science
Edité par
Prentice Hall PTR, 2002
ISBN 10 : 0130654876
ISBN 13 : 9780130654878
Ancien ou d'occasion
Couverture souple
Edition originale
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. 1st. Used book that is in clean, average condition without any missing pages. N° de réf. du vendeur 4899528-6
Quantité disponible : 1 disponible(s)
Image d'archives
Logic and Language Models for Computer Science
Edité par
Prentice Hall PTR, 2002
ISBN 10 : 0130654876
ISBN 13 : 9780130654878
Ancien ou d'occasion
Couverture souple
Edition originale
Vendeur : Better World Books: West, Reno, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. 1st. Used book that is in excellent condition. May show signs of wear or have minor defects. N° de réf. du vendeur 6211490-6
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Logic and Language Models for Computer Science
Edité par
Pearson, 2002
ISBN 10 : 0130654876
ISBN 13 : 9780130654878
Ancien ou d'occasion
Couverture souple
Vendeur : Goodwill of Silicon Valley, SAN JOSE, CA, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : acceptable. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Acceptable condition! Any other included accessories are also in Acceptable condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear such as cover tears discoloration, staining, marks, scuffs, etc. All pages intact. N° de réf. du vendeur GWSVV.0130654876.A
Quantité disponible : 1 disponible(s)
Image d'archives
Logic and Language Models for Computer Science
Vendeur : Your Online Bookstore, Houston, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 0130654876-11-23947307
Quantité disponible : 1 disponible(s)
Image d'archives
Logic and Language Models for Computer Science
Vendeur : BennettBooksLtd, North Las Vegas, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : New. In shrink wrap. Looks like an interesting title! N° de réf. du vendeur Q-0130654876
Quantité disponible : 1 disponible(s)
Image d'archives
Logic and Language Models for Computer Science.
Edité par
Prentice-Hall, Inc., 2002
ISBN 10 : 0130654876
ISBN 13 : 9780130654878
Ancien ou d'occasion
gebundene Ausgabe
Vendeur : Antiquariat Bernhardt, Kassel, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
gebundene Ausgabe. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XIV, 341 Seiten, Englisch 706g. N° de réf. du vendeur 492652
Quantité disponible : 1 disponible(s)