INFO0051-1

Duration

25h Th, 25h Pr, 10h Proj.

Number of credits

	Master of Science (MSc) in Data Science	5 crédits
	Master of Science (MSc) in Computer Science and Engineering	5 crédits
	Master of Science (MSc) in Computer Science and Engineering (double diplômation avec HEC)	5 crédits
	Master of Science (MSc) in Data Science and Engineering	5 crédits
	Master of Science (MSc) in Computer Science	5 crédits
	Master of Science (MSc) in Computer Science (double diplômation avec HEC)	5 crédits

Lecturer

Pascal Gribomont

Language(s) of instruction

English language

Organisation and examination

Teaching in the first semester, review in January

Schedule

Schedule online

Units courses prerequisite and corequisite

Prerequisite or corequisite units are presented within each program

Learning unit contents

Propositional calculus and predicate calculus. Proof techniques. Introduction to model theory. Sound and complete axiomatization. Semantic tableaus and resolution. Decidability: from categorical syllogisms to monadic first-order logic.
Applications: artificial intelligence, logic programming, program verification.

Learning outcomes of the learning unit

Learning elementary mathematical logic, from the theoretical and practical points of view. Formal, mathematical reasoning.
Desiging logic-based models for elementary problems in artificial intelligence; using logic-based methods for digital circuit and program verification.

Prerequisite knowledge and skills

General mathematical skills. Mathematical induction (theory and practice).
Functional programming (INFO0054-1)

Planned learning activities and teaching methods

A theoretical lecture and a session of supervised exercises every week.

Mode of delivery (face to face, distance learning, hybrid learning)

Face-to-face.

Organisational adjustments related to the current health context

Assessment methods and criteria

Below you will find information on the evaluation methods planned for in-person and remote exams as well as those planned for hybrid sessions. Depending on how the health crisis evolves, the chosen method will be communicated to you no later than one month before the start of the exam session.

Written examination in November. Small programming project. End of term written examination (January).

Work placement(s)

Organizational remarks

http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html

Contacts

Pascal Gribomont, gribomont@montefiore.ulg.ac.be

Logic