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

> Formation > Cursus ingénieur

Fondements logiques pour l'informatique - 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
  • Volumes horaires

    • CM : 16.5
    • TD : 16.5
    • TP : -
    • Projet : -
    • Stage : -
    • DS : -
    Crédits ECTS : 3.0
  • Responsables : Mnacho ECHENIM

Objectifs

Ce cours a pour but de présenter aux étudiants certaines notions fondamentales de Logique,qui sont fréquemment employées en informatique. Les étudiants y verront entre autre les notions formelles de preuves et de modèles, ainsi que certains liens entre l'expressivité d'une logique et sa décidabilité.

Contenu

Systèmes d'inférence et logiques
Logique propositionnelle

  • Normalisation
  • Systèmes d'inférence par réfutation
  • Théorème de compacité
    Logique du premier ordre
  • Théorème de Herbrand
  • Skolemisation
  • Calcul de Résolution
  • Programmation Logique

Prérequis

Aucun prérequis n'est nécessaire pour ce cours

Contrôles des connaissances

CONTRÔLE CONTINU :
Type d'évaluation (ex : TP, assiduité, participation) :

SESSION NORMALE :
Type d'examen (écrit, oral, examen sur machine) : écrit
Salle spécifique :
Durée : 3h
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) : tous documents
Documents interdits (ex : livres, tous documents) :
Matériel (ex : calculatrices):

  • matériel autorisé, préciser :
  • matériel interdit, préciser :
    Commentaires :

SESSION DE RATTRAPAGE :
Type d'examen (écrit, oral, examen sur machine) :
Salle spécifique :
Durée :
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) :
Documents interdits (ex : livres, tous documents) :
Matériel (ex : calculatrices):

  • matériel autorisé, préciser :
  • matériel interdit, préciser :
    Commentaires :
    La forme de l'examen de rattrapage dépendra du nombre d'étudiants en session 2.

N1 = E1
N2 = E2

Calendrier

Le cours est programmé dans ces filières :

  • Cursus ingénieur - Filière ISI - Semestre 7
cf. l'emploi du temps 2020/2021

Informations complémentaires

Code de l'enseignement : 4MMFLI
Langue(s) d'enseignement : FR

Le cours est rattaché aux structures d'enseignement suivantes :

Vous pouvez retrouver ce cours dans la liste de tous les cours.

Bibliographie

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

mise à jour le 15 janvier 2017

Université Grenoble Alpes