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 : Tangente Hors-série. N° 68. p. 28-30. Les preuves par ordinateur.

Editeur : Editions Pôle Paris, 2018
Format : A4, p. 28-30  ISSN : 1294-9949

Type : article de 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.
 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 : Des mathématiques partout ! dans Tangente Hors-série n° 68 - Intelligence artificielle.
Il est également paru dans Bibliothèque Tangente 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