LGT Jehan Ango Portail infodocumentaire

[article] 
inLa Recherche (Paris. 1970) > 534 (04/2018)

Titre :	Prouver à l'aide de l'infini
Type de document :	texte imprimé
Auteurs :	Philippe Pajot, Auteur
Editeur :	Sophia publications, 2018
Article en page(s) :	p.61-62
Langues :	Français (fre)
Catégories :	Informatique Logique mathématique
Résumé :	Présentation du travail de la chercheuse post-doctorante Amina Doumane qui a réussi à prouver un théorème de l'informatique théorique grâce à une preuve circulaire (ou infinitaire) : le lien entre théorie de la démonstration et logiques infinitaires. Encadré : les preuves circulaires.
Nature du document :	documentaire
Genre :	Article de périodique

[article] Prouver à l'aide de l'infini [texte imprimé] / Philippe Pajot, Auteur . - Sophia publications, 2018 . - p.61-62.
Langues : Français (fre)
in La Recherche (Paris. 1970) > 534 (04/2018)

Catégories :	Informatique Logique mathématique
Résumé :	Présentation du travail de la chercheuse post-doctorante Amina Doumane qui a réussi à prouver un théorème de l'informatique théorique grâce à une preuve circulaire (ou infinitaire) : le lien entre théorie de la démonstration et logiques infinitaires. Encadré : les preuves circulaires.
Nature du document :	documentaire
Genre :	Article de périodique