Rapport fra 17. januar
Jeg snakket først litt om logikk (implikasjon, negasjon). Deretter forklarte jeg Exercise 1.5.5 og beviste Theorem 1.5.6. Vi rakk også å begynne på Prosjekt 1.
Publisert 17. jan. 2024 13:53
- Sist endret 17. jan. 2024 13:57