| Titre : |
Logique et automates (1e et 2e cycles univ., écoles d'ingénieurs) : option informatique en mpsi, mp et mp* |
| Type de document : |
texte imprimé |
| Auteurs : |
Patrick BELLOT, Auteur ; Jacques SAKAROVITCH, Auteur |
| Editeur : |
Ellipses |
| Année de publication : |
1998 |
| Collection : |
Manuel d'informatique |
| Importance : |
223 p. |
| Format : |
26 cm. |
| ISBN/ISSN/EAN : |
978-2-7298-6894-9 |
| Note générale : |
index |
| Langues : |
Français (fre) |
| Catégories : |
INFORMATIQUE:Algorithmique
|
| Mots-clés : |
connecteurs, tautologies, formules de la logique, tables de vérité, syntaxe, sémantique, automate, codage, morphismes, théorème de kleene, ... |
| Index. décimale : |
08-06 Algorithmique |
| Résumé : |
Ce manuel d'Informatique a été conçu pour les étudiants des classes préparatoires aux grandes écoles scientifiques ayant choisi l'option Informatique et, également, pour ceux des premiers cycles universitaires.
Il présente les notions de base indispensables aux étudiants en Informatique. Cet ouvrage accompagnera l'étudiant dans son travail d'appropriation des connaissances : de très nombreux exercices dont la plupart sont corrigés illustrent les notions introduites et les résultats démontrés, au fur et à mesure de leur apparition.
Sont également inclus les problèmes qui ont été proposés dans les deux premières épreuves de l'option informatique du Concours commun Mines-Pont (en 97 et 98) ainsi que leurs corrigés |
Logique et automates (1e et 2e cycles univ., écoles d'ingénieurs) : option informatique en mpsi, mp et mp* [texte imprimé] / Patrick BELLOT, Auteur ; Jacques SAKAROVITCH, Auteur . - Ellipses, 1998 . - 223 p. ; 26 cm.. - ( Manuel d'informatique) . ISBN : 978-2-7298-6894-9 index Langues : Français ( fre)
| Catégories : |
INFORMATIQUE:Algorithmique
|
| Mots-clés : |
connecteurs, tautologies, formules de la logique, tables de vérité, syntaxe, sémantique, automate, codage, morphismes, théorème de kleene, ... |
| Index. décimale : |
08-06 Algorithmique |
| Résumé : |
Ce manuel d'Informatique a été conçu pour les étudiants des classes préparatoires aux grandes écoles scientifiques ayant choisi l'option Informatique et, également, pour ceux des premiers cycles universitaires.
Il présente les notions de base indispensables aux étudiants en Informatique. Cet ouvrage accompagnera l'étudiant dans son travail d'appropriation des connaissances : de très nombreux exercices dont la plupart sont corrigés illustrent les notions introduites et les résultats démontrés, au fur et à mesure de leur apparition.
Sont également inclus les problèmes qui ont été proposés dans les deux premières épreuves de l'option informatique du Concours commun Mines-Pont (en 97 et 98) ainsi que leurs corrigés |
|  |