 | Programme d’études 2023-2024 | English | |
 | Compilation | ||
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-018-M | UE optionnelle | BRUYERE Véronique | S829 - Informatique théorique |
|
| Langue d’enseignement | Langue d’évaluation | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Crédits | Pondération | Période d’enseignement |
|---|---|---|---|---|---|---|---|---|---|
| Français | 30 | 0 | 30 | 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-012 | Compilation | 30 | 0 | 30 | 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 ".
- 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.
- Faire preuve d'autonomie et être capable de travailler en équipe.
- 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 efficacement l'outil informatique.
- Connaissance d'au moins un langage de programmation.
Acquis d'apprentissage de l'UE
A l'issue de cet enseignement, les étudiants auront compris les principes généraux de la théorie de la compilation. Ils devront pouvoir les appliquer lors de la conception d'un programme informatique nécessitant une 'traduction'.
Contenu de l'UE : descriptif et cohérence pédagogique
Introduction à la compilation :
- analyse lexicale,
- analyse syntaxique descendante et ascendante,
- analyse sémantique.
Projet de compilation par groupe de deux ou trois étudiants
Compétences préalables
Un cours d'algorithmique et la connaissance d'un langage de programmation
Types d'activités
| AA | Types d'activités |
|---|---|
| S-INFO-012 |
|
Mode d'enseignement
| AA | Mode d'enseignement |
|---|---|
| S-INFO-012 |
|
Supports principaux non reproductibles
| AA | Supports principaux non reproductibles |
|---|---|
| S-INFO-012 | Sans objet |
Supports complémentaires non reproductibles
| AA | Support complémentaires non reproductibles |
|---|---|
| S-INFO-012 | Sans objet |
Autres références conseillées
| AA | Autres références conseillées |
|---|---|
| S-INFO-012 | Compilers : Principles, Techniques and Tools, Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman, Addison-Wesley, 2nd edition 2006. |
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-012 | Autorisé |
Evaluation du quadrimestre 2 (Q2) - type
| AA | Type(s) et mode(s) d'évaluation Q2 |
|---|---|
| S-INFO-012 |
|
Evaluation du quadrimestre 2 (Q2) - commentaire
| AA | Commentaire sur l'évaluation Q2 |
|---|---|
| S-INFO-012 | Examen oral 90% (ou 95%) Epreuves pratiques 10% (ou 5%) L'échec dans l'une des parties entraine l'échec global pour l'AA |
Evaluation du quadrimestre 3 (Q3) - type
| AA | Type(s) et mode(s) d'évaluation du Q3 |
|---|---|
| S-INFO-012 |
|
Evaluation du quadrimestre 3 (Q3) - commentaire
| AA | Commentaire sur l'évaluation Q3 |
|---|---|
| S-INFO-012 | Examen oral 90% (ou 95%) Epreuves pratiques 10% (ou 5%) L'échec dans l'une des parties entraine l'échec global pour l'AA |