Logique et fondements de l'informatique logique du 1er ordre, calculabilité et lambda-calcul

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Lassaigne, Richard (VerfasserIn), Rougemont, Michel de (VerfasserIn)
Format:	Buch
Sprache:	French
Veröffentlicht:	Paris Hermès 1993
Schriftenreihe:	Traité des nouvelles technologies
Schlagworte:	Fonctions calculables Fonctions récursives Informatique - Mathématiques Lambda-calcul Logique du premier ordre Logique symbolique et mathématique Programmation logique calcul propositionnel calculabilité complétude déduction fonction récursive incomplétude indécidabilité lambda calcul logique 1er ordre programmation en logique Stufe 1 Logik Berechenbarkeit Lambda-Kalkül
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!

Ähnliche Einträge