|
|||||||||||||||||||||||||||||||||||||
ObjectifsPermettre à l'étudiant de licence d'acquérir les compétences de base dans un des secteurs fondamentaux de la logique mathématique. Cahier des chargesCe cours s'adresse aussi bien aux étudiants de 1ère licence qu'à ceux de 2de licence en sciences mathématiques. Il présuppose une familiarisation raisonnable avec la logique élémentaire telle que celle qui est donnée dans le cours "Notions de logique mathématique" (SC 1110, 2de candi). Le contenu du cours suit un cycle de trois ans correspondant à trois grandes orientations de logique mathématique : 1) la théorie des ensembles (axiomes de Zermelo-Frankel, ordinaux, preuves de consistance relative, etc...) (prévu pour 2002-2003) 2) les notions de caculabilité et les théorèmes d'incomplétude (machines de Turing ou analogues, fonctions récursives, résultats de Gödel et Tarski, etc ...) (prévu pour 2003-2004) 3) la théorie des modèles (complétude, axiomatisabilité, omission des types, modèles dénombrables, etc ...) (prévu pour 2001-2002). RésuméEn 2000-2001 le cours a été consacré à la théorie des ensembles 'de Cantor à Cohen'. Autres informations du cahier des chargesPré-requis : familiarisation suffisante avec la logique élémentaire (donnée par exemple dans le cours SC 1110, Notions de logique mathématique) Le cours MATH2450 est mentionné dans les programmes suivants :
Valeurs ECTS de l'activité
|
|||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||
[UCL] [Site Web Facultaire] [Pointeurs utiles]
|