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. ©Electre 2025
Paru le : 07/09/2006
Thématique : Langages de programmation
Auteur(s) : Auteur : Narendra Jussien
Éditeur(s) :
Lavoisier-Hermès
Collection(s) : Informatique
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782746213951
Reliure : Broché
Pages : 313
Hauteur: 24.0 cm / Largeur 16.0 cm
Épaisseur: 1.4 cm
Poids: 490 g
Carte fidélité
Mollat Radio
