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
    Crédits ECTS : 3.0

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é.

Contact Mnacho ECHENIM

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

Informations complémentaires

Cursus ingénieur->Filière ISI->Semestre 7

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