|
Aide à la recherche | Recherche Avancée | Imprimer la fiche | Aidez-nous à améliorer cette fiche |
|
|
|
Titre : Tangente Hors-série. N° 15. Vol. 2. Logique et informatique.
Editeur : Editions POLE Paris, 2003
Format : A4, 34 p. Bibliogr. pag. mult.
ISSN : 1294-9949
Type : périodique ou revue, vulgarisation, popularisation Langue : Français Support : papier
Public visé : élève ou étudiant, enseignant, tout public Niveau Niveau scolaire visé par l'article : lycée, 2de, 1ère, terminale, licence Age : 15, 16, 17, 18, 19
Classification : A34Revues, article de revue, article sur un site internet
Lycée A35Revues, article de revue, article sur un site internet
Enseignement supérieur A38Revues, article de revue, article sur un site internet
Enseignement « Hors les Murs » : par correspondance, formation des adultes, popularisation, etc. E34Logique. Acquisition des capacités de raisonnement logique.
Lycée E35Logique. Acquisition des capacités de raisonnement logique.
Enseignement supérieur E38Logique. Acquisition des capacités de raisonnement logique.
Enseignement « Hors les Murs » : par correspondance, formation des adultes, popularisation, etc. P44Langages de programmation (classification des langages, éléments et caractéristiques des langages, processeurs)
Lycée P45Langages de programmation (classification des langages, éléments et caractéristiques des langages, processeurs)
Enseignement supérieur P48Langages de programmation (classification des langages, éléments et caractéristiques des langages, processeurs)
Enseignement « Hors les Murs » : par correspondance, formation des adultes, popularisation, etc. R44Intelligence artificielle (systèmes experts, programmation d'automates, programmes de preuves de théorème, traducteurs, robotique, etc.)
Lycée R45Intelligence artificielle (systèmes experts, programmation d'automates, programmes de preuves de théorème, traducteurs, robotique, etc.)
Enseignement supérieur R48Intelligence artificielle (systèmes experts, programmation d'automates, programmes de preuves de théorème, traducteurs, robotique, etc.)
Enseignement « Hors les Murs » : par correspondance, formation des adultes, popularisation, etc.
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.
Mots clés :
|
|