Logique et informatique

Dans le périodique : Tangente. Hors-série, n°15-2 (mai 2003)
• 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