- Dette her er en basis for forelesningene. Er en sykt rå webside med mye kule greier
Nettkurs for Logiske metoder
- Obliger HVER uke
- 12 obliger til sammen, 16 poeng i hver
- Det er delt i tre bolker, 4 obliger i hver
- Du burde få minst 32 poeng i hver bolken for å bestå til eksamen (en halvparten av alle poeng)
- Få tak i boka. Den er viktig!
- Også, boka har kommet ut på engelsk i februar 2021, so er kanskje lurt å kjøpe den her
- Detexifier for LaTeX (er også i (La)TeX tips filen):
- True Table Generator
- Obligfristene er 23:59:00 på fredager
- Oversikt over alle bokkapitlene (klikk på trekanten!)