Titre :	Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul
Type de document :	texte imprimé
Auteurs :	Richard Lassaigne, Auteur ; Michel de Rougemont, Auteur
Editeur :	Paris : Hermès
Année de publication :	1993
Collection :	Traité des nouvelles technologies
Sous-collection :	Série Informatique
ISBN/ISSN/EAN :	978-2-86601-380-6
Catégories :	Informatique Informatique:programmes Informatique:programmes:Programmation
Mots-clés :	Logique symbolique et mathématique
Index. décimale :	005.1 Programmation
Résumé :	Présente les principaux domaines de la logique qui contribuent aux fondements de l'informatique. S'adresse aux étudiants des 2e et 3e cycles, ainsi qu'aux élèves ingénieurs.

Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul [texte imprimé] / Richard Lassaigne, Auteur ; Michel de Rougemont, Auteur . - Paris : Hermès, 1993. - (Traité des nouvelles technologies. Série Informatique) .
ISBN : 978-2-86601-380-6

Catégories :	Informatique Informatique:programmes Informatique:programmes:Programmation
Mots-clés :	Logique symbolique et mathématique
Index. décimale :	005.1 Programmation
Résumé :	Présente les principaux domaines de la logique qui contribuent aux fondements de l'informatique. S'adresse aux étudiants des 2e et 3e cycles, ainsi qu'aux élèves ingénieurs.