Imperial College London, Separation Logic
TD pour des étudiants de M1. Référence du cours : CO404.
Enseignement
Instruaro
Teaching
Lien
Cacher
Montrer
Cacher tout
Montrer tout
Ligilo
Malafiŝi
Afiŝi
Malafiŝi ĉion
Afiŝi ĉion
Link
Hide
Show
Hide All
Show All
Cette page recense les travaux d’enseignement auxquels j’ai participé, ainsi qu’une partie du matériel pédagogique que j’ai créé. La langue des documents varie en fonction des cours et des étudiants (principalement français et anglais).
Ĉi tiu paĝo listas mian instruistaron, kune kun kelkaj de ties materialo kiun mi helpis krei. La lingvo de tiuj dokumentoj dependas de la kurso kaj de ties studentoj (ĉefe france kaj angle).
This page lists my teaching activities, as well as some of the associated material that I helped created. The language of these documents depends of the course and its students (mainly English and French).
TD pour des étudiants de M1. Référence du cours : CO404.
Superrigardaj laboroj por M1 lernantoj. Kursreferenco: CO404.
Tutorials for M1 students. Course reference: CO404.
TD pour des étudiants de L2. Référence du cours : CO240.
Superrigardaj laboroj por L2 lernantoj. Kursreferenco: CO240.
Tutorials for L2 students. Course reference: CO240.
Cours/TD et TP pour des étudiants de M2. Référence du cours : CC7125/MA7125.
Kursoj kaj superrigardataj laboroj por M2 lernantoj. Kursreferenco: CC7125/MA7125.
Courses and tutorials for M2 students. Course reference: CC7125/MA7125.
TD pour des normaliens de deuxième année (M1).
Superrigardaj laboroj por M1 lernantoj.
Tutorials for M1 students.
TD pour des normaliens de première année (L3).
Superrigardaj laboroj por L3 lernantoj.
Tutorials for L3 students.
Cours/TD et TP pour des étudiants de L1.
Kursoj kaj superrigardataj laboroj por L1 lernantoj.
Courses and tutorials for L1 students.
Cours/TD et TP pour des étudiants de L1.
Kursoj kaj superrigardataj laboroj por L1 lernantoj.
Courses and tutorials for L1 students.