Accueil > Enseignement > Cycle polytechnicien > Année 2
Année 2
Des Bases Solides Pour Tous
(suite de l'année 1)
Le cours INF 431 introduit les notions fondamentales d'algorithmes sur les graphes, de grammaires formelles, de programmation par objets et de programmation concurrente.
Il traite également, mais dans une moindre mesure, du non-déterminisme, de la thèse de Church, de la logique de Hoare. À la fin du cours INF 431, les élèves sont donc armés pour maitriser l'utilisation de l'informatique dans toute discipline, ou pour approfondir les notions déjà vues et en découvrir de nouvelles dans les programmes d'approndissement d'année 3.
Le cours INF431 est accessible par les élèves ayant suivi le cours INF321 ou bien les deux cours INF311 d'année 1 et INF421 d'année 2. Il permet d'accéder aux programmes d'approfondissement d'année 3, en particulier les programmes pilotés par le département d'informatique. Les Modex d'informatique sont accessibles aux élèves ayant suivi au minimum INF321 ou INF311 + INF421.
Le cours INF 431 introduit les notions fondamentales d'algorithmes sur les graphes, de grammaires formelles, de programmation par objets et de programmation concurrente.
Il traite également, mais dans une moindre mesure, du non-déterminisme, de la thèse de Church, de la logique de Hoare. À la fin du cours INF 431, les élèves sont donc armés pour maitriser l'utilisation de l'informatique dans toute discipline, ou pour approfondir les notions déjà vues et en découvrir de nouvelles dans les programmes d'approndissement d'année 3.
| Catalogue | Support Pédagogique | Responsable |
| INF421 | Les bases de la programmation et de l'algorithmique | Olivier Bournez, Philippe Baptiste |
| INF422 | Composants d'un système informatique | Albert Cohen |
| INF431 | Algorithmes et Programmation: du séquentiel au distribué | Benjamin Werner, Thomas Clausen, François Pottier |
| INF441 | MODAL d'Informatique | Dominique Rossin, Thomas Heide Clausen, Christoph Durr, Renaud Keriven |
Le cours INF431 est accessible par les élèves ayant suivi le cours INF321 ou bien les deux cours INF311 d'année 1 et INF421 d'année 2. Il permet d'accéder aux programmes d'approfondissement d'année 3, en particulier les programmes pilotés par le département d'informatique. Les Modex d'informatique sont accessibles aux élèves ayant suivi au minimum INF321 ou INF311 + INF421.