Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédenteDernière révisionLes deux révisions suivantes | ||
if [2020/11/24 15:47] – [UE du semestre 10] vpenelle | if [2022/01/21 13:20] – vpenelle | ||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
====== Informatique Fondamentale (Algorithmes et Modèles & Vérification des logiciels) ====== | ====== Informatique Fondamentale (Algorithmes et Modèles & Vérification des logiciels) ====== | ||
+ | |||
+ | Responsable : [[https:// | ||
Ligne 5: | Ligne 7: | ||
Le parcours Informatique Fondamentale a pour but de former les étudiants aux aspects fondamentaux de l’algorithmique, | Le parcours Informatique Fondamentale a pour but de former les étudiants aux aspects fondamentaux de l’algorithmique, | ||
+ | [[https:// | ||
Les principaux débouchés visés par ce parcours sont les suivants : | Les principaux débouchés visés par ce parcours sont les suivants : | ||
Ligne 16: | Ligne 19: | ||
===== Contenu disciplinaire de la formation ===== | ===== Contenu disciplinaire de la formation ===== | ||
- | Au semestre 8, tous les étudiants suivent 4 cours communs, dont un (projet de programmation) commun avec tout le master, et un (conception formelle) commun avec le parcours «Génie Logiciel». | + | Au semestre 7, le master consiste en un tronc commun avec tous les étudiants. Le choix de parcours se fait à l’issue de ce semestre via une sélection sur résultats. On pourra trouver plus d’information sur les cours du semestre 7 (ainsi que ceux du parcours et les autres parcours [[https:// |
+ | |||
+ | Au semestre 8, tous les étudiants suivent 4 cours communs, dont un (projet de programmation) commun avec tout le master, et un (conception formelle) commun avec le parcours «Génie Logiciel». À la fin de ce semestre, il est également possible de faire un stage court (environ 2 mois) dans le cadre d’une UE optionnelle. C’est [[lionel.clement@u-bordeaux.fr | Lionel Clément]] qui est responsable de cette UE. La [[https:// | ||
Au semestre 9, le parcours se divise en deux sous-parcours, | Au semestre 9, le parcours se divise en deux sous-parcours, | ||
Ligne 40: | Ligne 45: | ||
Dans cette liste, à coté des noms des modules, **VL** signifiera que le cours est obligatoire pour le parcours «Vérification des logiciels», | Dans cette liste, à coté des noms des modules, **VL** signifiera que le cours est obligatoire pour le parcours «Vérification des logiciels», | ||
- | * **[[IF-SV | Software Verification]]** | **VL** //AM// | (6ECTS) | ||
- | * Resp: [[https:// | ||
* **[[IF-Seminar | Seminar]]** | **VL AM** | (3ECTS) | * **[[IF-Seminar | Seminar]]** | **VL AM** | (3ECTS) | ||
* Resp: [[https:// | * Resp: [[https:// | ||
* [[https:// | * [[https:// | ||
+ | |||
+ | * **[[IF-LADS | Lecture d’articles et documentation scientifique]]** | **VL** **AM** | (3ECTS) | ||
+ | * Resp: [[https:// | ||
+ | |||
+ | * **[[IF-SV | Software Verification]]** | **VL** //AM// | (6ECTS) | ||
+ | * Resp: [[https:// | ||
* **[[IF-GSC | Game Synthesis & Control]]** | **VL** //AM// | (6ECTS) | * **[[IF-GSC | Game Synthesis & Control]]** | **VL** //AM// | (6ECTS) | ||
Ligne 56: | Ligne 65: | ||
* **[[IF-LL | Logic and Languages]]** | //VL// **AM** | (6ECTS) | * **[[IF-LL | Logic and Languages]]** | //VL// **AM** | (6ECTS) | ||
* Resp: [[https:// | * Resp: [[https:// | ||
+ | |||
+ | * **[[IF-AGT | Advanced Graph Theory]]** | //VL// **AM** | (3ECTS) | ||
+ | * Resp: [[https:// | ||
* **[[IF-AA | Applied Algorithmics]]** | //VL// //AM// | (6ECTS) | * **[[IF-AA | Applied Algorithmics]]** | //VL// //AM// | (6ECTS) | ||
* Resp: [[https:// | * Resp: [[https:// | ||
* [[https:// | * [[https:// | ||
- | |||
- | * **[[IF-AGT | Advanced Graph Theory]]** | //VL// **AM** | (3ECTS) | ||
- | * Resp: [[https:// | ||
* **[[IF-IQ | Informatique Quantique]]** | //VL// | (3ECTS) | * **[[IF-IQ | Informatique Quantique]]** | //VL// | (3ECTS) | ||
Ligne 68: | Ligne 77: | ||
* [[https:// | * [[https:// | ||
- | * **[[IF-LADS | Lecture d’articles et documentation scientifique]]** | **VL** **AM** | (3ECTS) | + | |
- | * Resp: [[https:// | + | |
===== UE du semestre 10 ===== | ===== UE du semestre 10 ===== |