Logique et informatique
-
Pages : p. 3-35
-
- Nature du document : documentaire
-
Résumé :
Dossier : l'intelligence artificielle ; les circuits logiques ; les fonctions récursives, calculables, complexes ; Prolog ; géométrie automatique ; logique floue ; autres logiques ; correspondance entre preuve et programme logique ; syntaxe et sémantique en logique. Bibliographie, webographie.
-
- Descripteurs : logique mathématique
Dans le périodique :
Tangente. Hors-série, n°15-2 (mai 2003)