[article]
Titre : |
Logique et informatique |
Type de document : |
texte imprimé |
Année : |
2003 |
Article : |
p. 3-35 |
in Tangente. Hors-série > 15-2 (mai 2003)
Descripteurs : |
logique mathématique
|
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.
|
Nature du document : |
documentaire |
[article]
« Logique et informatique »
in Tangente. Hors-série, 15-2 (mai 2003), p. 3-35.
| |