Logique et fondements de l'informatique
Subtitle: logique du 1er ordre, calculabilité et lambda-calcul
By: Richard Lassaigne, Michel de Rougemont
Contributors: Rougemont, Michel de, 1953-
Series: Traité des nouvelles technologies. Série informatique; Traité des nouvelles technologies
Publisher: Hermès
Published: 1993
Place of publication: Paris
Language: fre
Number of pages: 248
ISBN-13: 9782866013806
Subjects: Symbolic and mathematical Logic; Computer science; Mathematics; Lambda calculus; Recursive functions; Logic programming; Computable functions; First-order logic; Incomplétude; Indécidabilité; Fonction récursive; Programmation en logique; Complétude; Déduction; Calcul propositionnel; Lambda calcul; Calculabilité; Logique 1er ordre; Logique symbolique et mathématique; Informatique; Mathématiques; Lambda-calcul; Fonctions récursives; Programmation logique; Fonctions calculables; Logique du premier ordre; Berechenbarkeit; Lambda-Kalkül; Logik; Stufe 1; Logique; Manuel; Calcul lambda
Notes: Bibliogr. pages 239-241. Index.