Centre
Bruxellois de
Documentation
Pédagogique

1 recherche sur le mot-clé 'démonstration automatique'   

Les démonstrations / Gianni Sarcone in Tangente. Hors-Série Bibliothèque, n°55 (novembre 2015)

Public ISBD [article]  inTangente. Hors-Série Bibliothèque > n°55 (novembre 2015) . - p. 1/162 Titre : Les démonstrations : l'art de convaincre : dossier Type de document : texte imprimé Auteurs : Gianni Sarcone, Auteur ; Elisabeth Busser, Auteur ; Hervé Lehning, Auteur ; [et al.], Auteur Année de publication : 2015 Article en page(s) : p. 1/162 Langues : Français (fre) Sujets : Axiome ; Cantor (Georg) ; Démonstration Mathématique ; Gödel (Kurt) ; invariant (mathématiques) ; Logique Mathématique ; preuve (math) ; Programme Informatique ; Raisonnement par Analogie Mots-clés : principe des tiroirs  démonstration par récurrence  algorithme probabiliste  théorie homotopique des types  démonstration automatique  théorème PCP Note de contenu : Sommaire : - Les fondements de la preuves - Les grands classiques de la démonstration - Les nouvelles formes de preuves - Les apports de l’informatique Permalink : http://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=188828 [article] Les démonstrations : l'art de convaincre : dossier [texte imprimé] / Gianni Sarcone, Auteur ; Elisabeth Busser, Auteur ; Hervé Lehning, Auteur ; [et al.], Auteur . - 2015 . - p. 1/162. Langues : Français (fre) in Tangente. Hors-Série Bibliothèque > n°55 (novembre 2015) . - p. 1/162 Sujets : Axiome ; Cantor (Georg) ; Démonstration Mathématique ; Gödel (Kurt) ; invariant (mathématiques) ; Logique Mathématique ; preuve (math) ; Programme Informatique ; Raisonnement par Analogie Mots-clés : principe des tiroirs  démonstration par récurrence  algorithme probabiliste  théorie homotopique des types  démonstration automatique  théorème PCP Note de contenu : Sommaire : - Les fondements de la preuves - Les grands classiques de la démonstration - Les nouvelles formes de preuves - Les apports de l’informatique Permalink : http://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=188828