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

Informations sur l'espace de cours

Nom Logique et fondements de l'informatique - 2024-2025
Nom abrégé UP1-C-ELP-K4041415-08 - 2024-2025
EnseignantsNaibo Alberto
Groupes utilisateurs inscrits Consultation des ressources, participation aux activités :
  • [2024] Groupe pédagogique : Logique et fondemt inform - CM1 (A. NAIBO - Mardi 12h-14h Cavaillès) (groups-gpelp.44825-2024)
  • [2024] Groupe pédagogique : Logique et fondemt inform - CT (Contrôle Terminal) (groups-gpelp.55460-2024)
  • [2024] UFR 10 - Matière (M1-S2) : Logique et fondements de l'informatique (groups-matiK4041415-2024)
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 2024-2025 > 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