K3020419 - Logique - Cours magistral


COURS: MIRNA DžAMONJA
T.D.: SOLANGE HAAS

Le cours du second semestre prolonge celui du premier semestre (enseigné par M. Pierre Wagner) et le présuppose acquis. Le programme comprend les points suivants : applications des théorèmes de complétude et de compacité pour la logique du premier ordre, analyse logique de la relation d'identité, la logique des définitions, la sémantique de Kripke pour la logique intuitionniste, notions élémentaires de logique modale du premier ordre. 

Bibliographie

D. Van Dalen, Logic and Structure, Springer, 5e éd., 2013

Documents sur EPI


Informations sur l'espace de cours

Nom Archive année 2020-2021 Logique - L3 Semestre 2
Nom abrégé UP1-C-ELP-K3020419-02 - L3 Semestre 2
Groupes utilisateurs inscrits Consultation des ressources, participation aux activités :
  • [2020] 10ER - ERASMUS (diploma-10ER-2020)
  • [2020] 10PEL - Programme d'échange UFR 10 - Licence (diploma-10PEL-2020)
  • [2020] UFR 10 - Matière (L3-S2) : Logique (groups-matiK3020419-2020)
Consultation des ressources uniquement : aucune cohorte inscrite.

Rattachements à l'offre de formation

Élément pédagogique UP1-C-ELP-K3020419 - Logique
Chemin complet > Année 2023-2024 > Paris 1 > Philosophie > Licence 3e année Philosophie parc. logique et culture scien. > Semestre 6 > UE1 Fondamentale S6 > Logique