eduproj/notes.txt

48 lines
1.2 KiB
Text
Raw Normal View History

2021-08-28 05:53:25 +00:00
concepts:
- learning targets
- can relate to other concepts in the following ways:
2021-08-28 10:52:47 +00:00
- concept A "depends" on concept B; explaining concept A requires some
information from concept B
2021-08-28 05:53:25 +00:00
- concept A "optdepends" on concept B
2021-08-28 10:52:47 +00:00
- concept A "satisfies" concept B; mastery of concept A implies mastery of
concept B
2021-08-28 05:53:25 +00:00
topics:
- groups of concepts
- can nest infinitely
"reviews" are randomly constructed sets of activities
each user has a mastery level for each concept
references:
- super memo algorithm used by anki: https://en.wikipedia.org/wiki/SuperMemo#Description_of_SM-2_algorithm
2021-08-28 10:52:47 +00:00
---
ocaml should have a runner studentModule, which just puts the student code into
a file called student.ml
the material file defines a student.mli, as well as a driver.ml, then they all
get called using:
```
ocamlc -c student.mli # produces student.cmi
ocamlc -c student.ml # produces student.cmo
ocaml student.cmo driver.ml
```
probably should have like $OCAMLCFLAGS in there to be able to customize each
step as well
2021-08-28 20:08:35 +00:00
---
what are some good classes to start out with?
- functional programming
- ctfs?
- possibly a logic class for math
- proof class
- ML???? look into running it
- can we do reading????????????