Documents disponibles écrits par cet auteur

Logique et automates / Patrick Bellot ; Jacques Sakarovitch

Public ISBD Titre : Logique et automates : option informatique en MPSI, MP et MP*, premier et deuxième cycles universitaires, écoles d'ingénieurs Type de document : texte imprimé Auteurs : Patrick Bellot, Auteur ; Jacques Sakarovitch, Auteur ; Bernard Robinet, Préfacier, etc. Editeur : Ellipse Année de publication : 1998 Collection : Manuel d'informatique Importance : 223 p. Présentation : ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-6894-9 Note générale : Index Langues : Français (fre) Mots-clés : 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 Index. décimale : 681.3 Appareils et matériel de traitement de données. Informatique 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 Logique et automates : option informatique en MPSI, MP et MP*, premier et deuxième cycles universitaires, écoles d'ingénieurs [texte imprimé] / Patrick Bellot, Auteur ; Jacques Sakarovitch, Auteur ; Bernard Robinet, Préfacier, etc. . - Ellipse, 1998 . - 223 p. : ill. ; 26 cm. - (Manuel d'informatique) . ISBN : 978-2-7298-6894-9 Index Langues : Français (fre) Mots-clés : 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 Index. décimale : 681.3 Appareils et matériel de traitement de données. Informatique 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

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
043389	681.3 BEL	Papier	Bibliothèque Centrale	Informatique	Disponible	En bon état