Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédente | Prochaine révisionLes deux révisions suivantes |
if [2021/07/15 13:01] – vpenelle | if [2021/12/13 13:19] – vpenelle |
---|
| |
Le parcours Informatique Fondamentale a pour but de former les étudiants aux aspects fondamentaux de l’algorithmique, de la modélisation abstraite de systèmes complexes et de la vérification automatiques de programme. Les cours sont orientés pour à la fois présenter des états de l’art des connaissances de ces domaines, mais également de familiariser les étudiants avec la manière d’acquérir de nouvelles connaissances en lisant la littérature scientifique et en apprenant à suivre et à donner des exposés. | Le parcours Informatique Fondamentale a pour but de former les étudiants aux aspects fondamentaux de l’algorithmique, de la modélisation abstraite de systèmes complexes et de la vérification automatiques de programme. Les cours sont orientés pour à la fois présenter des états de l’art des connaissances de ces domaines, mais également de familiariser les étudiants avec la manière d’acquérir de nouvelles connaissances en lisant la littérature scientifique et en apprenant à suivre et à donner des exposés. |
| [[https://www.labri.fr/perso/vpenelle/presentationIF.pdf|Slides de présentation]] |
| |
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 : |