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 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

39

Files downloads

65