Université Lyon 1
Université de Lyon
Accueil  >>  Licence  >>  Informatique  >>  Informatique et mathématiques  >>  Logique classique
  • Domaine : Licences du domaine SCIENCES, TECHNOLOGIES, SANTE
  • Diplôme : Licence
  • Mention : Informatique
  • Parcours : Informatique et mathématiques
  • Unité d'enseignement : Logique classique
Nombre de crédits de l'UE : 3
Code APOGEE : INF3034L
UE Obligatoire pour ce parcours
UE valable pour le semestre 5 de ce parcours
    Responsabilité de l'UE :
URBAIN XAVIER
 xavier.urbainuniv-lyon1.fr
 emmanuel.coqueryuniv-lyon1.fr
    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 et Compétences 2020-2021:
TypeLibelléNatureCoef. 
CCContrôle ContinuCC : Logique classiqueContrôle Continu Intégral3
    Liste des autres Parcours / Spécialité / Filière / Option utilisant cette UE :
Date de la dernière mise-à-jour : 13/04/2018
SELECT * FROM parcours INNER JOIN ue_parcours ON PAR_ID_FK=PAR_ID INNER JOIN mention ON MEN_ID = PAR_MENTION_FK WHERE PAR_ACTIVATE = 0 AND UE_ID_FK='12086' ORDER BY UE_ID_FK ASC, PAR_ID_FK ASC