Systèmes formels et systèmes fonctionnels pédagogiques - Université de Lorraine Access content directly
Theses Year : 2008

Pedagogical formal and functional systems

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

David Michel
  • Function : Author
  • PersonId : 776346
  • IdRef : 132339870

Abstract

The present thesis introduces the notion of pedagogical systems, which are natural deduction systems with the following additional constraint: all hypotheses made in a proof must be motivated by an example. These systems are in essence negationless. We study _rst order, second order and higher order pedagogical propositional systems. We present when it is possible the _-calculi associated to these systems; the pedagogical constraint introduces a new notion we call usefulness: a _-term is usefull when it's algorithmic content can be used.
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é
Fichier principal
Vignette du fichier
Michel.David.SMZ0824.pdf (735.35 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

tel-01752592 , version 1 (29-03-2018)

Identifiers

  • HAL Id : tel-01752592 , version 1

Cite

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

Share

Gmail Mastodon Facebook X LinkedIn More