Added second teaching material
This commit is contained in:
parent
e675f7593d
commit
09566e53da
@ -14,6 +14,12 @@ _Academic first semester 2024-2025_
|
|||||||
- :hammer: Lab 1: Thursday 12/09/2024, 10h15-12h15. Room E001 (Samuel
|
- :hammer: Lab 1: Thursday 12/09/2024, 10h15-12h15. Room E001 (Samuel
|
||||||
Humeau & Emma Nardino)
|
Humeau & Emma Nardino)
|
||||||
|
|
||||||
|
# Week 2:
|
||||||
|
|
||||||
|
- :book: Course: Monday 16/09/2024, 13h30-15h30. Amphi SVT (Bio) (Yannick Zakowski)
|
||||||
|
|
||||||
|
* Semantics: [transparents](course/capmif_cours_03_semantics.pdf).
|
||||||
|
|
||||||
- :rocket: Additional ressources (mainly in english)
|
- :rocket: Additional ressources (mainly in english)
|
||||||
|
|
||||||
* A nice YT video on [structural induction](https://www.youtube.com/watch?v=2o3EzvfgTiQ) by F. Pereira.
|
* A nice YT video on [structural induction](https://www.youtube.com/watch?v=2o3EzvfgTiQ) by F. Pereira.
|
||||||
|
BIN
course/capmif_cours_03_semantics.pdf
Normal file
BIN
course/capmif_cours_03_semantics.pdf
Normal file
Binary file not shown.
Loading…
Reference in New Issue
Block a user