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 :
|
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 |