Section : A natural deduction formal system for K | M2PHSC41 - Logique avancée - PLudwig

Accueil Calendrier Assistance Enseignant-e-s Assistance Etudiant-e-s Tutoriels Enseignant-e-s Tutoriels Etudiant-e-s Gestion de cours

Résumé de section

- Sélectionner l’activité Lecture notes: Natural Deduction for K, extensions of K
  
  Lecture notes: Natural Deduction for K, extensions of K Fichier PDF
- Sélectionner l’activité Natural deduction for K: Slides
  
  Natural deduction for K: Slides Fichier PDF
- Sélectionner l’activité Exercise sheet
  
  Exercise sheet Fichier PDF
- Sélectionner l’activité Solutions
  
  Solutions Fichier PDF

Le SIPR

Le Service Informatique pour la Pédagogie et la Recherche coordonne les projets liés aux technologies de l’information et de la communication pour l’enseignement (TICE) et la recherche.

LIENS UTILES

Faculté des Lettres de S.U.
E.N.T.
NUMÉRIQUE
MOOCs Sorbonne Université

ASSISTANCE MOODLE

Etudiant(e) : Contacter SOS ENT
Enseignant(e) : Contacter l'assistance informatique