HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Theses

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

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.
Document type :
Theses
Complete list of metadata

Cited literature [34 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-01752592
Contributor : Thèses Ul Connect in order to contact the contributor
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

75

Files downloads

64