Accueil  >>  Logique classique
  • Unité d'enseignement : Logique classique
Nombre de crédits de l'UE : 3
Code APOGEE : INF3034L
    Responsabilité de l'UE :
COQUERY EMMANUEL
04.72.44.58.25
    Type d'enseignement
Nb heures *
Cours Magistraux (CM)
12 h
Travaux Dirigés (TD)
12 h
Travaux Pratiques (TP)
6 h
Total du volume horaire
30 h
* Ces horaires sont donnés à titre indicatif.
    Programme - Contenu de l'UE :

Cette UE constitue une introduction à la logique classique, comportant une définition formelle  de la syntaxe et de la sémantique, d’abord pour le calcul propositionnel, puis pour le calcul des prédicats. Seront ensuite étudiés différents systèmes de déduction (correction, complétude) dont certains seront mis en œuvre en TP.

 

  • Calcul propositionnel classique : syntaxe et sémantique
  • Induction
  • Systèmes de déduction syntaxiques
  • Calcul des prédicats classique : syntaxe et sémantique
Page de l'UE

    Compétences acquises :
Méthodologiques :
  • Formalisation de systèmes de déduction.
  • Passage d'un système décrit formellement à son implémentation optimisée.


Techniques :
  • Démonstrations par induction.
  • Optimisations de haut niveau.

    Parcours / Spécialité / Filière / Option utilisant cette UE :
Date de la dernière mise-à-jour : 13/04/2018