Options d'inscription
L'objectif principal portera sur la mise en oeuvre d'abstractions de programmes permettant de raisonner sur ces derniers.
L'étudiant devra mettre en oeuvre des compétences d'abstraction, de calcul et de raisonnement.
Divers notions d'abstractions de programmes tels que les systèmes de transitions, les automates finis et éventuellement les automates à pile seront abordées. Des formalismes permettant de raisonner sur les dits programmes et d'en prouver la correction seront également présentés et utilisés.
- Enseignant: Giuliana Bianchi
- Enseignant: Adrien Boussicault
- Enseignant: Mohamed Lamine Lamali
- Enseignant: Anca Muscholl
- Enseignant: Nicolae Tanasa
- Enseignant: Pierre-Andre Wacrenier
Les visiteurs anonymes ne peuvent pas accéder à ce cours. Veuillez vous connecter.