K4041415 - Logique et fondements de l'informatique - Cours magistral

Informations sur l'espace de cours

Nom Logique et fondements de l'informatique - Année 2023-2024
Nom abrégé UP1-C-ELP-K4041415-07 - Année 2023-2024
EnseignantsNaibo Alberto
Groupes utilisateurs inscrits Consultation des ressources, participation aux activités :
  • [2023] Groupe pédagogique : Logique et fondemt inform - CM1 (M.Naibo Mardi 12h-14h Cavailles) (groups-gpelp.44825-2023)
  • [2023] Groupe pédagogique : Logique et fondemt inform - CM1CT (CT M.Naibo Mardi 12h-14h Cavailles) (groups-gpelp.55460-2023)
  • [2023] UFR 10 - Matière (M1-S2) : Logique et fondements de l'informatique (groups-matiK4041415-2023)
Consultation des ressources uniquement : aucune cohorte inscrite.

Rattachements à l'offre de formation

Élément pédagogique UP1-C-ELP-K4041415 - Logique et fondements de l'informatique
Chemin complet > Année 2023-2024 > Paris 1 > Philosophie > M1 Philosophie parcours logique et philosophie des sciences > Semestre 2 > UE3 enseignement spécifique > Option logique > Logique et fondements de l'informatique