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 Licence 1e-2è année Philosophie générale et parc. Logique
Nom abrégé UP1-PROG-10-L2K202-119-07
EnseignantsManighetti Mateo, Thommen Tristan
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 : No enrolled cohort.

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 2020-2021 > Paris 1 > UFR 10 : Philosophie > Licence 1e-2è année Philosophie générale et parc. Logique