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.
 P14Ouvrages généraux sur l'Informatique
Enseignement secondaire, lycée
 P15Ouvrages généraux sur l'Informatique
Enseignement supérieur, Post-Bac
 P18Ouvrages généraux sur l'Informatique
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 27/11/2019
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