| Titre : | Logique et automates : option informatique en MPSI, MP et MP*, premier et deuxième cycles universitaires, écoles d'ingénieurs |
| Auteurs : | Patrick Bellot, Auteur ; Jacques Sakarovitch, Auteur ; Bernard Robinet, Préfacier, etc. |
| Type de document : | texte imprimé |
| Editeur : | Ellipse, 1998 |
| Collection : | Manuel d'informatique |
| ISBN/ISSN/EAN : | 978-2-7298-6894-9 |
| Format : | 223 p. / ill. / 26 cm |
| Note générale : | Index |
| Langues : | Français |
| Index. décimale : | 681.3 (Appareils et matériel de traitement de données. Informatique) |
| Tags : | Automates -- Manuels d'enseignement supérieur Informatique -- Manuels d'enseignement supérieur Circuits logiques -- Manuels d'enseignement supérieur Logique informatique -- Manuels d'enseignement supérieur Proposition (logique) -- Manuels d'enseignement supérieur Machines séquentielles, Théorie des -- Manuels d'enseignement supérieur |
| Résumé : | Présente les notions de base indispensables aux étudiants en informatique. Regroupe la partie la plus théorique du programme. Comporte de très nombreux exercices dont la plupart sont corrigés. |
| Note de contenu : |
Table des matieres:
I-Logique des propositions 1-La logique des propositions 2-Conception de circuits logiques 3-Syntaxe et sémantique 4-Logique et informatique II-Théorie des automates finis 1-Lettres,mots et langages 2-Qu' est-ce qu'un "automate"? 3-Automates déterministes 4-Autres constructions-Autres propriétés 5-Langages et expressions rationnels 6-Le théorème de kleene 7-Minimisation 8-Problèmes 9-Solutions aux exercices III-Appendices |
Exemplaires (1)
| Cote | Support | Localisation | Section | Disponibilité | Etat_Exemplaire |
|---|---|---|---|---|---|
| 681.3 BEL | Papier | Bibliothèque Centrale | Informatique | Disponible | En bon état |
