Ensimag Rubrique Formation 2022

Logic for computer science - 3MM1LPI

  • Number of hours

    • Lectures 18.0
    • Projects -
    • Tutorials 18.0
    • Internship -
    • Laboratory works -
    • Written tests -

    ECTS

    ECTS 3.0

Goal(s)

Classical and non-classical logics pervade all aspects of Computer Science. They are essential, among other things, in assuring software quality. Computer scientist therefore need to be familiar with concepts and techniques related to formal systems and automated inference. This course is particularly relevant to ISI and SLE students.

Responsible(s)

Nils GESBERT

Content(s)

Prerequisites

None

Test

Evaluation : Examen Ecrit (2h)

Resit : Examen oral (exposé, soutenance, etc..) (40 min)

Calendar

The course exists in the following branches:

  • Curriculum - Work Study Education - Alternance 1ere annee
see the course schedule for 2025-2026

Additional Information

Course ID : 3MM1LPI
Course language(s): FR

The course is attached to the following structures:

  • Team Theoretical computer science

You can find this course among all other courses.

Bibliography

Polycopié du cours, contenant les énoncés de tous les exercices à faire en TD ainsi que leurs corrigés
Course notes containing the solutions to all proposed problems.