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

Modalités de contrôle des connaissances 2016-2017
TypeLibelléNatureCoef. 
CTContrôle TerminalContrôle Terminal2 session 1: 60min , session 2: 60min
CCContrôle ContinuLIF11 CCD (coef. 3)Contrôle Continu1
Parcours / Spécialité / Filière / Option utilisant cette UE
 - Informatique (au semestre 5 [UE Obligatoire]) [Mention : Informatique]
 - Bio-informatique (au semestre 5 [UE Obligatoire]) [Mention : Informatique]
 - Informatique et mathématiques (au semestre 5 [UE Obligatoire]) [Mention : Informatique]
Date de la dernière mise-à-jour : 02/05/2017