Prouver à l'aide de l'infini / Philippe Pajot / Sophia Publications (2018) in La Recherche, 534 (avril 2018)

Public ISBD Aucun avis sur cette notice. [article]  inLa Recherche > 534 (avril 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 [article] Prouver à l'aide de l'infini [texte imprimé] / Philippe Pajot, Auteur . - [S.l.] : Sophia Publications, 2018 . - p.61-62. Langues : Français (fre) in La Recherche > 534 (avril 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

Réservation

Réserver ce document

Exemplaires (1)

Cote	Section	Localisation	Code-barres	Disponibilité
PER	périodique	CCC	1073	Disponible