A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mailPartagez cet articleFacebookTwitterLinked In
Number of hours
Lectures : 16.5
Tutorials : 16.5
Laboratory works : -
Projects : -
Internship : -
Written tests : -
ECTS : 3.0
Officials :Mnacho ECHENIM
The aim of this class is to introduce students to several fundamental notions of Logic that are frequently used in computer science. Among other things, students will discover the formal notions of proofs and models, as well as some links between the expressivity of a logic and its decidability.
Inference systems and logics Propositional logic
Refutational inference systems
Compactness theorem First-order logic
The Resolution calculus
No prerequisite is required for this course.
A written exam that lasts three hours.
N1 = E1 N2 = E2
The course exists in the following branches:
Curriculum - Information Systems Engineering - Semester 7