CETS8AB Logic and reasoning | ECTS Credits : 2 Duration : 21 hours
| Semester : S8 | ||
Person(s) in charge : jean-Yves MARION, associate professor, jean-yves.marion@univ-lorraine.fr | ||||
Keywords : Logic, Reasoning | ||||
Prerequisites : The only one is to know that one plus one is two... | ||||
Objective : Logic and reasoning | ||||
Program and content : Teaching goals: What is a demonstration? Can any problem be resolved? Are mathematics coherent? What Content: 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. | ||||
Abilities : | ||||
Levels | Description and operational verbs | |||
Know |
| |||
Understand | ||||
Apply | ||||
Analyse | ||||
Summarise | ||||
Assess | ||||
Evaluations : | ||||
|
|
|
|
|