The aim of this course is to initiate engineering students in logic modelling and reasoning on logic systems as a complement to their mathematical modelling skills of physical realities. Formal logic modelling allows the rigorous analysis of texts or knowledge sets, by removing ambiguities and underlining contradictions. The intensive use of formal logic can also be noted in the fields of Human Sciences (philosophy, law). It provides a first step towards logic modelling of information systems and also towards the automation of reasoning and proof checking, which are important concepts in computing and artificial intelligence.
On completion of the unit, the student will be capable of: | Classification level | Priority |
---|---|---|
Translating a text in formal logic form | 4. Analyse | Essential |
Reasoning with logic models to deduce new facts from a text | 3. Apply | Essential |
Refuting or underlining contradictions in a statement | 3. Apply | Important |
Percentage ratio of individual assessment | Percentage ratio of group assessment | ||||
---|---|---|---|---|---|
Written exam: | 100 | % | Project submission: | % | |
Individual oral exam: | % | Group presentation: | % | ||
Individual presentation: | % | Group practical exercise: | % | ||
Individual practical exercise: | % | Group report: | % | ||
Individual report: | % | ||||
Other(s): % |
Type of teaching activity | Content, sequencing and organisation |
---|---|
(inter)active Amphitheatre | 2 course sessions on propositional logic (1h30) and predicate logic (1h30). |
Supervised studies | 2 supervised study sessions on propositional logic (1h30) and predicate logic (1h30). |
Supervised studies | 2 sessions of interactive corrections of exercises to be developed in addition to the class work, on propositional logic (1h30) and predicate logic (1h30). |