Imperial College London, Separation Logic
Superrigardaj laboroj por M1 lernantoj. Kursreferenco: CO404.
Instruaro
Enseignement
Teaching
Ligilo
Malafiŝi
Afiŝi
Malafiŝi ĉion
Afiŝi ĉion
Lien
Cacher
Montrer
Cacher tout
Montrer tout
Link
Hide
Show
Hide All
Show All
Ĉ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).
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).
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).
Superrigardaj laboroj por M1 lernantoj. Kursreferenco: CO404.
TD pour des étudiants de M1. Référence du cours : CO404.
Tutorials for M1 students. Course reference: CO404.
Superrigardaj laboroj por L2 lernantoj. Kursreferenco: CO240.
TD pour des étudiants de L2. Référence du cours : CO240.
Tutorials for L2 students. Course reference: CO240.
Kursoj kaj superrigardataj laboroj por M2 lernantoj. Kursreferenco: CC7125/MA7125.
Cours/TD et TP pour des étudiants de M2. Référence du cours : CC7125/MA7125.
Courses and tutorials for M2 students. Course reference: CC7125/MA7125.
Superrigardaj laboroj por M1 lernantoj.
TD pour des normaliens de deuxième année (M1).
Tutorials for M1 students.
Superrigardaj laboroj por L3 lernantoj.
TD pour des normaliens de première année (L3).
Tutorials for L3 students.
Kursoj kaj superrigardataj laboroj por L1 lernantoj.
Cours/TD et TP pour des étudiants de L1.
Courses and tutorials for L1 students.
Kursoj kaj superrigardataj laboroj por L1 lernantoj.
Cours/TD et TP pour des étudiants de L1.
Courses and tutorials for L1 students.