Logic and Language Models for Computer Science
Henry Hamburger, Dana Richards
342 pages, parution le 21/05/2002
Résumé
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.Contents
-
- 1. Mathematical Preliminaries.
- I. LOGIC FOR COMPUTER SCIENCE.
-
- 2. Propositional Logic.
- 3. Proving Things: Why and How.
- 4. Predicate Logic.
- 5. Proving with Predicates.
- 6. Program Verification.
- 7. Logic Programming.
- II. LANGUAGE MODELS FOR COMPUTER SCIENCE.
-
- 8. Language Models.
- 9. Finite Automata and Their Languages.
- 10. Regular Expressions.
- 11. Lex: A Tool for Building Lexical Scanners.
- 12. Context-Free Grammars.
- 13. Pushdown Automata and Parsing.
- 14. Turing Machines.
- Index.
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Prentice Hall |
| Auteur(s) | Henry Hamburger, Dana Richards |
| Parution | 21/05/2002 |
| Nb. de pages | 342 |
| Format | 18 x 24 |
| Couverture | Relié |
| Poids | 695g |
| Intérieur | Noir et Blanc |
| EAN13 | 9780130654878 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
- Informatique Développement d'applications Techniques de programmation Logique
- Sciences Mathématiques Mathématiques par matières Algèbre Cours
- Sciences Mathématiques Mathématiques par matières Algèbre Exercices
- Sciences Mathématiques Mathématiques par matières Logique
- Sciences Mathématiques Mathématiques par matières Logique Logique floue
- Sciences Mathématiques Mathématiques par matières Logique Algèbre de Boole
- Sciences Mathématiques Mathématiques par matières Théorie des ensembles
- Sciences Etudes et concours Classes préparatoires et grandes écoles - Livres classes prépas scientifiques Mathématiques
