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 Partagez cet article Facebook Twitter Linked In Google+ Viadeo
  • Number of hours

    • Lectures : 16.5
    • Tutorials : 16.5
    ECTS : 3.0

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.

Contact Mnacho ECHENIM

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

Additional Information

Curriculum->Information Systems Engineering->Semester 7

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 Partagez cet article Facebook Twitter Linked In Google+ Viadeo

Date of update January 15, 2017

Grenoble INP Institut d'ingénierie Univ. Grenoble Alpes