Aller au menu Aller au contenu
Une voie, plusieurs choix
Informatique et Mathématiques appliquées
Une voie, plusieurs choix

> Formation > Cursus ingénieur

Logic bases for computer science - 4MMFLI

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In
  • Number of hours

    • Lectures : 16.5
    • Tutorials : 16.5
    • Laboratory works : -
    • Projects : -
    • Internship : -
    • Written tests : -
    ECTS : 3.0
  • Officials : Mnacho ECHENIM

Goals

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.

Content

Inference systems and logics
Propositional logic

  • Normalization
  • Refutational inference systems
  • Compactness theorem
    First-order logic
  • Herbrand's theorem
  • Skolemization
  • The Resolution calculus
  • Logic programming

Prerequisites

No prerequisite is required for this course.

Tests

A written exam that lasts three hours.

N1 = E1
N2 = E2

Calendar

The course exists in the following branches:

  • Curriculum - Information Systems Engineering - Semester 7
see the course schedule for 2020-2021

Additional Information

Course ID : 4MMFLI
Course language(s): FR

The course is attached to the following structures:

You can find this course among all other courses.

Bibliography

T. Boy de la Tour, M. Echenim: Eléments du cours de Logique 2A Ensimag
R. Caferra: Logique pour l'informatique et pour l'intelligence artificielle. Editions Hermès - Lavoisier

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In

Date of update January 15, 2017

Université Grenoble Alpes