Skip to Main content Skip to Navigation
Theses

Systèmes formels et systèmes fonctionnels pédagogiques

Résumé : Cette thèse introduit la notion de systèmes pédagogiques, qui sont des systèmes de d éducation naturelle contraints de la manière suivante : toutes les hypothèses posées dans une démonstration doivent être motivées par un exemple. Ces systèmes sont par essence sans négation. Nous étudions les systèmes propositionnels pédagogiques du premier ordre, du second ordre et plus généralement tous les systèmes d'ordre supérieur. Nous présentons, quand cela est possible, le lamda-calcul associé à chaque système via l'isomorphisme de Curry-Howard ; la contrainte pédagogique y fait apparaître une nouvelle propriété que nous appelons l'utilité: un lamda-terme typé est utile quand son contenu algorithmique peut être utilisé
Document type :
Theses
Complete list of metadatas

Cited literature [34 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-01752592
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 1:52:01 PM
Last modification on : Friday, June 14, 2019 - 1:17:25 AM

File

Michel.David.SMZ0824.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01752592, version 1

Collections

Citation

David Michel. Systèmes formels et systèmes fonctionnels pédagogiques. Education. Université Paul Verlaine - Metz, 2008. Français. ⟨NNT : 2008METZ024S⟩. ⟨tel-01752592⟩

Share

Metrics

Record views

54

Files downloads

84