Construction de preuves dans l'Histoire : exploitation de textes historiques en classe de terminale S sur le théorème fondamental de l'arithmétique: Compte-rendu d'atelier animé aux journées APMEP 2008 La Rochelle

Autor: Battie, Véronique

Publikováno v: Compte-rendu des Journées APMEP 2008 La Rochelle
Journées APMEP 2008 La Rochelle
Journées APMEP 2008 La Rochelle, 2008, La Rochelle, France

International audience; Nous proposerons aux participants d’étudier des textes d’Euclide et Gauss sur la factorisation unique des entiers que nous avons utilisés lors de nosinterventions dans des lycées (groupe « Un chercheur dans la classe !

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2f6cf61cb4753d07353deaa2873bb15e
https://hal.archives-ouvertes.fr/hal-01130798

Recherche et construction de preuves en logique non-commutative

Autor: Notin, Jean-Marc

Publikováno v: Autre [cs.OH]. Université Henri Poincaré-Nancy 1, 2004. Français. ⟨NNT : 2004NAN10183⟩

Partially commutative logics allow to express properties mixing concurency and sequentiality. Thus, the logic NL extends linear logic with non-commutative connectives. The characteristic of NL comes from the interactions between commutative and non-c

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f0ce42c77a15a3ecb30e5e217864a9a3
https://hal.univ-lorraine.fr/tel-01746753

Aide à la construction et l'évaluation des preuves mathématiques déductives par les systèmes d'argumentation

Autor: Boudjani, Nadira

L'apprentissage des preuves mathématiques déductives est fondamental dans l'enseignement des mathématiques. Pourtant, la dernière enquête TIMSS (Trends in International Mathematics and Science Study) menée par l'IEA ("International Association

Externí odkaz: http://www.theses.fr/2018MONTS060/document

Évaluation des dispositifs médicaux numériques : comment prendre en compte les spécificités de ces solutions ?

Autor: Trancart, Anouk, Riche, Valery-Pierre, Disset, Antoine, Camus, Dorothée, Josseran, Anne, Bécache, Pascal, Charle-Maachi, Cécile, De Place, Laure, Denninger, Arthur, Fabiano, Jérôme, Gourio, Charlotte, Vercamer, Vincent

Publikováno v: Thérapie; January-February 2024, Vol. 79 Issue: 1 p123-136, 14p

From Proof Construction to Concurrent Programming in Linear Logic

Autor: Perrier, Guy

Publikováno v: Informatique et langage [cs.CL]. Université Henri Poincaré-Nancy 1, 1995. Français
Informatique et langage [cs.CL]. Université Henri Poincaré-Nancy 1, 1995. Français. ⟨NNT : ⟩

This thesis aims at studying the construction of linear logic proofs and at using it as a paradigm for parallel programming. We show that inference permutability plays a crucial role in the normalization of proofs in linear logic. This method will th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::cb3846cbbe942b42fac6ff695fe7ba45
https://hal.inria.fr/tel-01748580