Logic and reasoning
ECTS Credits : 2Duration : 21 hours
Semester : S8
Person(s) in charge :
jean-Yves MARION, associate professor, email@example.com
Prerequisites : The only one is to know that one plus one is two...
Objective : Logic and reasoning
Program and content :
What is a demonstration? Can any problem be resolved? Are mathematics coherent? What
First order logic:
Basics of the proof theory:
o Lambda calculation
Each session will be composed of a lecture followed by a discussion and a tutorial. Some articles will be provided to provide further understanding of the course content.
Non-french speakers are welcome.
Description and operational verbs
Gestion des contenus