Outils pour utilisateurs
if
Différences
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édenteProchaine révisionLes deux révisions suivantes | ||
| if [2020/11/24 15:33] – vpenelle | if [2021/07/15 13:01] – 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 15: | Ligne 17: | ||
| ===== Contenu disciplinaire de la formation ===== | ===== Contenu disciplinaire de la formation ===== | ||
| + | |||
| + | 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». | 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». | ||
| Ligne 40: | Ligne 44: | ||
| 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 64: | ||
| * **[[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 76: | ||
| * [[https:// | * [[https:// | ||
| - | * **[[IF-LADS | Lecture d’articles et documentation scientifique]]** | **VL** **AM** | (3ECTS) | + | |
| - | * Resp: [[https:// | + | |
| ===== UE du semestre 10 ===== | ===== UE du semestre 10 ===== | ||
| Ligne 77: | Ligne 84: | ||
| * **[[IF-Ang | Anglais]]** | (3ECTS) | * **[[IF-Ang | Anglais]]** | (3ECTS) | ||
| - | * Resp: Youssef Benzoubair | + | * Resp: [[youssef.benzoubair@u-bordeaux.fr|Youssef Benzoubair]] |
| ===== Stages ===== | ===== Stages ===== | ||
if.txt · Dernière modification : 2022/05/18 14:33 de vpenelle
Outils de la page
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Share Alike 4.0 International
