Systèmes formels / Claude Benzaken

Public ISBD Titre : Systèmes formels : Introduction à la logique et à la théories des langages Type de document : texte imprimé Auteurs : Claude Benzaken Editeur : Paris : Masson Année de publication : 1991 Collection : Logique mathématique informatique LMI Importance : 1 vol (166 p .) Format : 24 cm ISBN/ISSN/EAN : 2-225-82567-x Note générale : 2-225-82567-x Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique Systèmes formels Langages formels Index. décimale : 003 Systèmes Résumé : Cette introduction aux fondements logiques de l'informatique décrit les mécanismes de production d'énoncés du double point de vue syntaxique et sémantique. L'auteur comble une lacune due au rôle nécessairement dominant de l'algorithmique, la programmation, l'intelligence artificielle... dans l'enseignement de l'informatique, au détriment des bases théoriques de la discipline. L'ouvrage débute par la définition des systèmes formels et des schémas d'induction, puis aborde les langages formels, dans leur ensemble : les langages rationnels, les grammaires et langages hors-contexte, les automates finis, et quelques langages plus élaborés. Le calcul propositionnel est ensuite étudié, en particulier la déduction. Le calcul des prédicats est analysé à travers ses divers formalismes. Les problèmes de programmation logique, ainsi que les différentes approches du concept d'algorithme sont ensuite traités dans une perspective plus spécifiquement informatique. Enfin, l'exposé s'achève par l'étude de la notion de programme itératif et celle d'une logique destinée à la correction des programmes (logique de Hoare). Chaque chapitre est complété d'une série d'exercices, mis au point et appliqués lors de l'enseignement de ce cours, en deuxième cycle d'informatique. Note de contenu : Sommaire Introduction aux systèmes formels - l'induction. Introduction aux langages formels - grammaires et automates. Langage et logique des propositions. Langage et logique de premier ordre. Décidabilité et preuve Côte titre : Fs/8696 Systèmes formels : Introduction à la logique et à la théories des langages [texte imprimé] / Claude Benzaken . - Paris : Masson, 1991 . - 1 vol (166 p .) ; 24 cm. - (Logique mathématique informatique LMI) . ISSN : 2-225-82567-x 2-225-82567-x Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique Systèmes formels Langages formels Index. décimale : 003 Systèmes Résumé : Cette introduction aux fondements logiques de l'informatique décrit les mécanismes de production d'énoncés du double point de vue syntaxique et sémantique. L'auteur comble une lacune due au rôle nécessairement dominant de l'algorithmique, la programmation, l'intelligence artificielle... dans l'enseignement de l'informatique, au détriment des bases théoriques de la discipline. L'ouvrage débute par la définition des systèmes formels et des schémas d'induction, puis aborde les langages formels, dans leur ensemble : les langages rationnels, les grammaires et langages hors-contexte, les automates finis, et quelques langages plus élaborés. Le calcul propositionnel est ensuite étudié, en particulier la déduction. Le calcul des prédicats est analysé à travers ses divers formalismes. Les problèmes de programmation logique, ainsi que les différentes approches du concept d'algorithme sont ensuite traités dans une perspective plus spécifiquement informatique. Enfin, l'exposé s'achève par l'étude de la notion de programme itératif et celle d'une logique destinée à la correction des programmes (logique de Hoare). Chaque chapitre est complété d'une série d'exercices, mis au point et appliqués lors de l'enseignement de ce cours, en deuxième cycle d'informatique. Note de contenu : Sommaire Introduction aux systèmes formels - l'induction. Introduction aux langages formels - grammaires et automates. Langage et logique des propositions. Langage et logique de premier ordre. Décidabilité et preuve Côte titre : Fs/8696

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/8696	Fs/8696	livre	Bibliothéque des sciences	Français	Disponible Disponible

---

1 (1 - 1 / 1)