Tangente Hors-série. N° 15. Vol. 2. Logique et informatique.
Auteur : Cohen Gilles. Dir.
Résumé
Ce fascicule est la seconde partie du numéro 15 de Tangente Hors-série. Il comporte le dossier : Logique et informatique. Sommaire :
– Nicolas Delerue : L’intelligence artificielle
– Hervé Lehnig : Les circuits logiques
– Christophe Tollu : Calculabilité, décidabilité et complexité
– Nicolas Delerue : Programmer en logique : le Prolog
– Daniel Barthe : Géométrie automatique
– Bernadette Bouchon-Meunier : La logique floue
– Jean-Louis Krivine : La correspondance de Curry-Howard
– Hervé Lehning : Syntaxe et sémantique
Notes
Tous les articles de ce volume comme ceux du premier volume sont repris dans l’ouvrage Bibliothèque Tangente n° 15 – La logique.
Données de publication
Éditeur Editions POLE Paris , 2003 Format A4, 34 p. Index Bibliogr. pag. mult.
ISSN 1294-9949
Public visé élève ou étudiant, enseignant, tout public Niveau 1re, 2de, licence, lycée, terminale Âge 15, 16, 17, 18, 19
Type périodique ou revue, vulgarisation, popularisation Langue français Support papier
Classification
Mots-clés