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

Titre : Bibliothèque Tangente. N° 68. Les preuves par ordinateur. p. 122-126.

Editeur : Editions Pôle Paris, 2019 Collection : Bibliothèque Tangente Num. 68
Format : 17 cm x 24 cm, p. 122-126 ISBN : 2-84884-227-X EAN : 9782848842271  ISSN : 2263-4908

Type : chapitre d'un ouvrage, 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 : D54Histoire et épistémologie de l'informatique
Enseignement secondaire, lycée
 D55Histoire et épistémologie de l'informatique
Enseignement supérieur, Post-Bac
 D58Histoire et épistémologie de l'informatique
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..)
Enseignement secondaire, lycée
 R45Intelligence artificielle (systèmes experts, programmation d'automates, programmes de preuves de théorème, traducteurs, robotique, etc..)
Enseignement supérieur, Post-Bac
 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.
 

Résumé :

La machine peut-elle démontrer ? Sans humain qui la dirige, sans doute non, mais l'ordinateur est de plus en plus utile pour l'assister, par exemple pour transformer une preuve humaine en preuve formelle. L'auteur de cet article présente des développements et des applications spectaculaires actuellement en cours.

Notes :
Cet article est publié sous la rubrique "Savoirs".
Il fait partie du dossier : L'IA pour comprendre dans Bibliothèque Tangente n° 68 - Intelligence artificielle.
Il est également paru dans Tangente Hors-série n° 68 - Intelligence artificielle .

Mots clés :


© ADIREM-APMEP -2003- ISSN 1292-8054 Mise à jour 20/02/2020
Accueil Publimath  Aide à la recherche   Recherche Avancée   Imprimer la fiche   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN Valid HTML 4.01 Transitional