Mathématiques de l'informatique : cours et exercices corrigés / Patrick Dehornoy,... [ Livre]

Auteur principal: Dehornoy, PatrickLangue: 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

Powered by Koha