5.00 credits
30.0 h + 30.0 h
Q2
Teacher(s)
Language
French
Prerequisites
This course assumes that the student acquired programming skills,
algorithmic and programming language targeted in course LEPL1402 and discrete mathematics as seen in courses LINFO1114 or LEPL1108
The prerequisite(s) for this Teaching Unit (Unité d’enseignement – UE) for the programmes/courses that offer this Teaching Unit are specified at the end of this sheet.
algorithmic and programming language targeted in course LEPL1402 and discrete mathematics as seen in courses LINFO1114 or LEPL1108
The prerequisite(s) for this Teaching Unit (Unité d’enseignement – UE) for the programmes/courses that offer this Teaching Unit are specified at the end of this sheet.
Main themes
 Theory of computability: problems and algorithms, computable and noncomputable functions, reduction, undecidable problem classes (Rice's theorem), fixed point theorem, ChurchTuring thesis
 Logic: logic of propositions and logic of predicates (syntax, semantics, proof, quantifiers, model checking, resolution)
 Computability Models: Turing Machine
 Theory of complexity: complexity classes, NPcompleteness, Cook's theorem, NPcomplete problem solving.
Learning outcomes
At the end of this learning unit, the student is able to :  
1 
Given the learning outcomes of the "Bachelor in Engineering" program, this course contributes to the development, acquisition and evaluation of the following learning outcomes:
Given the learning outcomes of the "Bachelor in Computer science" program, this course contributes to the development, acquisition and evaluation of the following learning outcomes:

Content
 Introduction
 Enumerable sets
 Computability: fondamenbtal results
 Models of computability
 Propositional logic
 Introduction to algorithmic complexity
 Complexity classes
Teaching methods
This course can be given in a variety of facetoface and distance modalities. These may include lectures, readings, preparations, exercises, as well as individual or group work.
Evaluation methods
Different modes of evaluation can be organized: continuous assessment, graded work, participation, exam. The exam will be written, but in case of doubt on the part of the teacher as to the grade to be given to a student, the student may be questioned orally. Depending on the number of studentrs, the September exam can be an oral exam.
Faculty or entity