UP1-PROG-10-L2K202-119 - Licence 1e-2è année Philosophie générale et parc. Logique

Un langage polyadique pour la logique du premier ordre ; Logique, axiomatisation, formalisation ; Preuves formelles en déduction naturelle ; Logique des modalités

Informations sur l'espace de cours

Nom Archive année 2020-2021 Licence 1e-2è année Philosophie générale et parc. Logique
Nom abrégé UP1-PROG-10-L2K202-119-07
Groupes utilisateurs inscrits Consultation des ressources, participation aux activités :
  • [2020] L2K202 - Licence 2ème année Philosophie parcours logique et culture scientifique (diploma-L2K202-2020)
Consultation des ressources uniquement : aucune cohorte inscrite.

Rattachements à l'offre de formation

Élément pédagogique UP1-PROG-10-L2K202-119 - Licence 1e-2è année Philosophie générale et parc. Logique
Chemin complet > Année 2023-2024 > Paris 1 > Philosophie > Licence 1e-2è année Philosophie générale et parc. Logique