Mathématiques de l'informatique : cours et exercices corrigés / Patrick Dehornoy,... [ Livre]
Langue: Français.Publication : Paris : Dunod, 2000Description : XIII-303 p. ; 24 cmISBN: 210004446X.Collection: Sciences supClassification: F 4 1 Logique mathématiqueRésumé: Tirage 2001. - La couv. porte en plus : "Licence, maîtrise, agrégation". Cet ouvrage, centré sur les notions de calcul et de définition, est une introduction à l'étude des structures mathématiques sous-jacentes à l'informatique. Les principaux développements concernent les automates, les langages algébriques, la calculabilité effective et la complexité des algorithmes, la logique booléenne et les logiques du premier ordre, dont les définitions et propriétés élémentaires usuelles sont exposées. L'approche proposée est résolument mathématique et souligne une orientation générale tournée vers la théorie. Une attention spéciale a été portée à la rigueur et à la précision de la rédaction, en particulier dans les démonstrations. Cent cinquante exercices d'application et de complément sont proposés, dont plus de la moitié avec un corrigé rédigé. Sommaire Mots, langages et arbres Monoïdes et groupes libres Automates Langages automatiques Grammaires formelles Arbres de dérivation et automates à pile Machines de turing Fonctions récursives Complexité algorithmique Logique booléenne Logique du premier ordre.Sujet - Nom commun: Structure logique | Logique symbolique et mathématique | Informatique -- Mathématiques -- Problèmes et exercices | Informatique -- Mathématiques -- Manuels d'enseignement supérieur | Automates mathématiques, Théorie des| Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|
| ENS Rennes - Bibliothèque Informatique | F 4 1 DEH (Browse shelf) | Available | F 4 1 Logique mathématique | 00010520 | |
| ENS Rennes - Bibliothèque Informatique | F 4 1 DEH (Browse shelf) | Checked out | F 4 1 Logique mathématique | 13/04/2020 | 000105201 |
La couv. porte en plus : "licence, maîtrise, agrégation"
Bibliogr. p. 299-300. Index
Bibliogr. Index
Tirage 2001. - La couv. porte en plus : "Licence, maîtrise, agrégation".
Cet ouvrage, centré sur les notions de calcul et de définition, est une introduction à l'étude des structures mathématiques sous-jacentes à l'informatique. Les principaux développements concernent les automates, les langages algébriques, la calculabilité effective et la complexité des algorithmes, la logique booléenne et les logiques du premier ordre, dont les définitions et propriétés élémentaires usuelles sont exposées. L'approche proposée est résolument mathématique et souligne une orientation générale tournée vers la théorie. Une attention spéciale a été portée à la rigueur et à la précision de la rédaction, en particulier dans les démonstrations. Cent cinquante exercices d'application et de complément sont proposés, dont plus de la moitié avec un corrigé rédigé.
Sommaire
Mots, langages et arbres
Monoïdes et groupes libres
Automates
Langages automatiques
Grammaires formelles
Arbres de dérivation et automates à pile
Machines de turing
Fonctions récursives
Complexité algorithmique
Logique booléenne
Logique du premier ordre