 | Programme d’études 2017-2018 | English | |
 | Logique mathématique I (Partie B) | ||
Unité d’enseignement du programme de Bachelier en sciences mathématiques à la Faculté des Sciences |
| Code | Type | Responsable | Coordonnées du service | Enseignant(s) |
|---|---|---|---|---|
| US-B3-SCMATH-006-M | UE Obligatoire | MICHAUX Christian | S838 - Logique mathématique |
| Langue d’enseignement | Langue d’évaluation | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Crédits | Pondération | Période d’enseignement |
|---|---|---|---|---|---|---|---|---|---|
| Français | 0 | 0 | 0 | 0 | 0 | 4 | 4 | 2e quadrimestre |
| Code(s) d’AA | Activité(s) d’apprentissage (AA) | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Période d’enseignement | Pondération |
|---|---|---|---|---|---|---|---|---|
| S-MATH-821 | 100.00% |
| Unité d'enseignement |
|---|
Objectifs par rapport aux acquis d'apprentissage du programme
- Comprendre de manière profonde les mathématiques " élémentaires ".
- Pouvoir utiliser les espaces vectoriels, les applications linéaires et les techniques qui leur sont associées.
- Comprendre et pouvoir utiliser la théorie naïve des ensembles.
- Comprendre les structures algébriques de base.
- Manipuler les acquis antérieurs qui interviennent dans une question.
- Etre capable de donner des exemples et des contre-exemples (pour les définitions, les propriétés, les théorèmes,...)
- Comprendre et produire des raisonnements rigoureux en mathématiques.
- Etre capable de rédiger dans une expression claire et concise.
- Pouvoir utiliser le vocabulaire mathématique et le formalisme à bon escient.
- Etre capable de donner du sens à des expressions formelles.
- Etre capable de s'appuyer sur un dessin pour éclairer une notion, un raisonnement,...
- Collaborer sur des sujets mathématiques.
- Pouvoir structurer l'exposé oral de résultats mathématiques.
- Résoudre des problèmes nouveaux.
- Capacité à l'abstraction, à la manipulation de théories formelles et à l'utilisation de celles-ci pour résoudre des problèmes.
- Etre capable d'adapter un argument à une situation similaire.
- Utiliser les connaissances issues de différents domaines pour traiter des questions.
- Pourvoir aborder la littérature et dialoguer avec les autres sciences.
- Posséder une connaissance suffisante de la langue anglaise pour la lecture de textes scientifiques, en particulier dans le domaine des mathématiques.
Acquis d'apprentissage UE
A l'issue de cet enseignement, les étudiants seront capables de comprendre le rôle de la logique mathématique dans le développement des fondements des mathématiques et de l'informatique.
Contenu de l'UE
Il s'agit d'une suite de la partie A de logique mathématique. Eléments de la théorie de la calculabilité (théorie des fonctions récursives, décidabilité, 10ème problème d'Hilbert). Eléments de la théorie des ensembles, ordinaux et cardinaux.
Compétences préalables
Sans objet
Types d'évaluations Q2 pour l'UE
- Examen oral
Commentaire sur les évaluations Q2 de l'UE
Sans objet
Types d'évaluation Q3 pour l'UE
- Examen oral
Commentaire sur les évaluations Q3 de l'UE
Sans objet
Types d'activités
| AA | |
|---|---|
| S-MATH-821 |
Mode d'enseignement
| AA | |
|---|---|
| S-MATH-821 |
Supports principaux
| AA | |
|---|---|
| S-MATH-821 |
Supports principaux non reproductibles
| AA | |
|---|---|
| S-MATH-821 |
Supports complémentaires
| AA | |
|---|---|
| S-MATH-821 |
Supports complémentaires non reproductibles
| AA | |
|---|---|
| S-MATH-821 |
Autres références conseillées
| AA | |
|---|---|
| S-MATH-821 |
Reports des notes d'AA d'une année à l'autre
| AA | |
|---|---|
| S-MATH-821 |