|
Titre :
|
Logique(s), langages formels et complexité pour l'informatique
|
|
Auteurs :
|
Narendra Jussien, Auteur
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Paris : Hermès science publications, 2006
|
|
Collection :
|
Informatique, ISSN 1242-7691
|
|
ISBN/ISSN/EAN :
|
978-2-7462-1395-1
|
|
Format :
|
313 p. / ill. / 24 x 16 cm
|
|
Note générale :
|
Bibliogr. Index
|
|
Langues:
|
Français
|
|
Index. décimale :
|
005.2
|
|
Mots-clés:
|
logique symbolique et mathématique
;
informatique
;
langages formels
|
|
Résumé :
|
Analyse des bases théoriques de la logique et des fondements de l'informatique. L'auteur présente les outils de la logique formelle, le langage formel et la notion d'automate, ainsi que les limites de l'informatique. Avec 70 exercices corrigés qui illustrent les démonstrations mathématiques.
|
