Section : Theories and models | 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é Slides for lecture 4
  
  Slides for lecture 4 Fichier PDF
- Sélectionner l’activité Lecture notes (including the proof of completeness for tableaux)
  
  Lecture notes (including the proof of completeness for tableaux) Fichier PDF
- Sélectionner l’activité Exercises sheet 4
  
  Exercises sheet 4 Fichier PDF
- Sélectionner l’activité Solutions for sheet 4
  
  Solutions for sheet 4 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