Programme d’études 2021-2022English
Logique mathématique I
Activité d'apprentissage
CodeTitulaire(s)Co-Titulaire(s)Suppléant(s) et autre(s)Établissement(s)
S-MATH-021
  • MICHAUX Christian
      • UMONS
      Langue
      d’enseignement      		Langue
      d’évaluation      		 HT(*) HTPE(*) HTPS(*) HR(*) HD(*) Période
      d’enseignement
      FrançaisFrançais3515000Q1


      Contenu de l'AA

      Voir le contenu de l'UE.

      Supports principaux non reproductibles

      Voir le site du cours sur la plateforme Moodle.

      Support complémentaires non reproductibles

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

      Autres références conseillées

      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 d'enseignement

      • Face à face

      Types d'activités

      • Cours magistraux
      • Exercices dirigés

      Evaluations

      Les modalités d'évaluation de l'AA sont précisées dans la fiche de l'UE dont elle dépend

      (*) HT : Heures théoriques - HTPE : Heures de travaux pratiques encadrés - HTPS : Heures de travaux pratiques supervisés - HD : Heures diverses - HR : Heures de remédiation - Dans la colonne Pér. (Période), A=Année, Q1=1er quadrimestre et Q2=2e quadrimestre
      Plus d’informations sur l’organisation des études (décret Paysage)
      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