Study programme 2021-2022Français
Mathematical logic I
Learning Activity
CodeLecturer(s)Associate Lecturer(s)Subsitute Lecturer(s) et other(s)Establishment
S-MATH-021
  • MICHAUX Christian
      • UMONS
      Language
      of instruction      		Language
      of assessment      		 HT(*) HTPE(*) HTPS(*) HR(*) HD(*) Term
      FrançaisFrançais3515000Q1


      Content of Learning Activity

      See the content of the Course.

      Required Learning Resources/Tools

      See the pages on Moodle platform.

      Recommended Learning Resources/Tools

      Marker, D., Model theory. An introduction. Graduate Texts in Mathematics, 217. Springer-Verlag, New York, 2002. 

      Other Recommended Reading

      Chang et Keisler, Model Theory, North-Holland. Barwise, Handbook of mathematical logic, North-Holland. Poizat B., Cours de théorie des modèles, 1985, Nur Al-Mantiq Wal-Ma'rifah. [Version anglaise éditée chez Springer en 2000.]

      Hodges, W., Model theory. Encyclopedia of Mathematics and its Applications, 42. Cambridge University Press, Cambridge, 1993.

      Mode of delivery

      • Face to face

      Type of Teaching Activity/Activities

      • Cours magistraux
      • Exercices dirigés

      Evaluations

      The assessment methods of the Learning Activity (AA) are specified in the course description of the corresponding Educational Component (UE)

      (*) HT : Hours of theory - HTPE : Hours of in-class exercices - HTPS : hours of practical work - HD : HMiscellaneous time - HR : Hours of remedial classes. - Per. (Period), Y=Year, Q1=1st term et Q2=2nd term
      More information on Higher Education Structure (’Paysage’ Decree)
      Date de dernière mise à jour de la fiche ECTS par l'enseignant : 05/07/2021
      Date de dernière génération automatique de la page : 06/05/2022
      20, place du Parc, B7000 Mons - Belgique
      Tél: +32 (0)65 373111
      Courriel: info.mons@umons.ac.be