Make your own MSc(BSc) curriculum, and exercises
a custom mathematics curriculum #
Make your own MSc(BSc) curriculum, and exercises:
M := Ξ£ B β π°, (β S β Spec, Ex_S β¦ OK)
with exercises and proofs:
ππ := π_topic Γ π£_task Γ π_level Γ π’_structure Γ π_aux
ππ―π£ := π£_theorem Γ π_goal Γ π’_style Γ π_level Γ π_inference Γ π_aux
a generative seed of curriculum:
fdnπ± β (βΆ, Ξ©, {})
β mscπ± := (ππ, ππ―π£, OK)
with functors:
--M--> --β--> --π-->
from mathematics, to physics, to music
M βΆ β βΆ π
M : Mathematics
β : Physics
π : Music
- Previous: recollection
- Next: approximation 4