Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN Valid HTML 4.01 Transitional
Auteur(s) : Cohen Gilles. Dir.

Titre : Tangente Hors-série. Num. 15. Vol. 2. Logique et informatique.

Editeur : Editions Pôle 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
Enseignement secondaire, lycée
 A35Revues, article de revue
Enseignement supérieur, Post-Bac
 A38Revues, article de revue
Enseignement « Hors les Murs » : par correspondance, formation des adultes, popularisation, etc.
 E34Logique. Acquisition des capacités de raisonnement logique.
Enseignement secondaire, lycée
 E35Logique. Acquisition des capacités de raisonnement logique.
Enseignement supérieur, Post-Bac
 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
Enseignement secondaire, lycée
 P45Langages de programmation (classification des langages, éléments et caractéristiques des langages, processeurs
Enseignement supérieur, Post-Bac
 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.
 

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.

Mots clés :


© ADIREM-APMEP -2003- ISSN 1292-8054 Mise à jour 14/02/2019
Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN