 | Programme d’études 2022-2023 | English | |
 | Bases de données II | ||
Unité d’enseignement du programme de Bachelier en sciences mathématiques (MONS) (Horaire jour) à la Faculté des Sciences |
| Code | Type | Responsable | Coordonnées du service | Enseignant(s) |
|---|---|---|---|---|
| US-B3-SCMATH-010-M | UE optionnelle | WIJSEN Jef | S832 - Systèmes d'information |
|
| Langue d’enseignement | Langue d’évaluation | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Crédits | Pondération | Période d’enseignement |
|---|---|---|---|---|---|---|---|---|---|
| Français | 30 | 30 | 0 | 0 | 0 | 6 | 6.00 | 2e quadrimestre |
| Code(s) d’AA | Activité(s) d’apprentissage (AA) | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Période d’enseignement | Pondération |
|---|---|---|---|---|---|---|---|---|
| S-INFO-011 | Bases de données II | 30 | 30 | 0 | 0 | 0 | Q2 | 100.00% |
| Unité d'enseignement |
|---|
Objectifs par rapport aux acquis d'apprentissage du programme
- Comprendre de manière profonde les mathématiques " élémentaires ".
- Comprendre et pouvoir utiliser la théorie naïve des ensembles.
- 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.
- Pouvoir utiliser le vocabulaire mathématique et le formalisme à bon escient.
- Etre capable de donner du sens à des expressions formelles.
- 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.
- 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 de l'UE
Voir la seule AA dans cette UE.
Contenu de l'UE : descriptif et cohérence pédagogique
Voir la seule AA dans cette UE.
Compétences préalables
Sans objet
Types d'activités
| AA | Types d'activités |
|---|---|
| S-INFO-011 |
|
Mode d'enseignement
| AA | Mode d'enseignement |
|---|---|
| S-INFO-011 |
|
Supports principaux non reproductibles
| AA | Supports principaux non reproductibles |
|---|---|
| S-INFO-011 | Site web avec des notes de cours, slides et anciens examens. Plusieurs logiciels (par exemple, DLV). |
Supports complémentaires non reproductibles
| AA | Support complémentaires non reproductibles |
|---|---|
| S-INFO-011 | Sans objet |
Autres références conseillées
| AA | Autres références conseillées |
|---|---|
| S-INFO-011 | Todd J. Green, Shan Shan Huang, Boon Thau Loo, Wenchao Zhou: Datalog and Recursive Query Processing. Foundations and Trends in Databases 5(2): 105-195 (2013) |
Reports des notes d'AA d'une année à l'autre
| AA | Reports des notes d'AA d'une année à l'autre |
|---|---|
| S-INFO-011 | Autorisé |
Evaluation du quadrimestre 2 (Q2) - type
| AA | Type(s) et mode(s) d'évaluation Q2 |
|---|---|
| S-INFO-011 |
|
Evaluation du quadrimestre 2 (Q2) - commentaire
| AA | Commentaire sur l'évaluation Q2 |
|---|---|
| S-INFO-011 | Sans objet |
Evaluation du quadrimestre 3 (Q3) - type
| AA | Type(s) et mode(s) d'évaluation du Q3 |
|---|---|
| S-INFO-011 |
|
Evaluation du quadrimestre 3 (Q3) - commentaire
| AA | Commentaire sur l'évaluation Q3 |
|---|---|
| S-INFO-011 | Sans objet |
(*) 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