[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.
| ![Logique et informatique vignette](https://lacroixrouge-brest.basecdi.fr/pmb/opac_css/getimage.php?url_image=https%3A%2F%2Fpictures.abebooks.com%2Fisbn%2F%21%21isbn%21%21-fr-300.jpg%3Bhttps%3A%2F%2Fimages-eu.ssl-images-amazon.com%2Fimages%2FP%2F%21%21isbn%21%21.08.MZZZZZZZ.jpg¬icecode=&entity_id=&vigurl=http%3A%2F%2Fwww.tangente-education.com%2FImagesEduc%2FTG_edu_LOGO1.png) |