Steg for steg, og et lite pust i bakken
Kjære IN1150-student,
Denne uken har vi hatt om funksjoner og litt mer om mengdelære og uendelighet. I dag introduserte vi tillukninger og induktivt definerte mengder, som lar oss definere de fleste strukturene som brukes i alle mulige programmeringsspråk på en svært presis og kontrollert måte. Det lar oss definere funksjoner rekursivt, som er blant de vanligste og kraftigste metodene for å uttrykke beregninger. Vi skal følge disse strukturene videre, der vi skal lære oss at de er spesielt enkle å vise egenskaper ved; med andre ord, de er enkle å tenke på!
Dette temaet skal få summe helt bakerst i hodet og la seg vente på en uke til refleksjon og repetisjon. I den kommende uken er det ikke noe nytt pensum, og heller ingen innleveringsoppgave. Bruk tiden godt.
Repetisjonstimer på gruppene
I stedet for ordinære gruppetimer arrangerer vi repetisjonstimer satt opp etter temaer: Mengdelære (kapittel 1 og 8), utsagnslogikk (kapittel 2–4), bevis (kapittel 5) og relasjoner og funksjoner (kapittel 6–7).
Her er en oversikt over repetisjonstimene:
| Tema | Dato | Tid | Hvor | Hvem |
|---|---|---|---|---|
| Utsagnslogikk | Tirsdag 20. februar | 10:15 – 12:00 | Pascal | Iver |
| Relasjoner og funksjoner | Tirsdag 20. februar | 12:15 – 14:00 | Prolog | Luna |
| Mengdelære | Tirsdag 20. februar | 12:15 – 14:00 | Pascal | Silje |
| Bevis | Onsdag 21. februar | 10:15 – 12:00 | Pascal | Edvard |
| Bevis | Onsdag 21. februar | 12:15 – 14:00 | Pascal | Falk |
| Mengdelære | Onsdag 21. februar | 12:15 – 14:00 | Prolog | Oscar |
| Relasjoner og funksjoner | Onsdag 21. februar | 14:15 – 16:00 | Pascal | Oscar |
| Bevis | Torsdag 22. februar | 12:15 – 14:00 | Prolog | Falk |
| Utsagnslogikk | Torsdag 22. februar | 12:15 – 14:00 | Pascal | Helene |
Programmering av logiske metoder på mandag
Førstkommende mandag blir det en bonus-fellestime! Der skal vi programmere oss gjennom deler av pensum som er gått gjennom så langt i Python. Vi håper at det kan hjelpe deg rette intuisjonen din om programmering inn mot logiske metoder, og (som en bonus) kanskje lære deg et par ting om Python også.
På fredag er det ikke planlagt noen undervisning. Det betyr at du har to timer som du kan sette av til å tenke på mengder, formler, funksjoner og uendelighet, helt uforstyrret. Så heldig er det svært få som er.
Ukens nøtt
I Bongard problemer får man to mengder med seks bilder i hver mengde, der det er slik at alle bildene i den ene mengden oppfyller en egenskap som ingen av bildene på den andre siden oppfyller. Her er ett eksempel, og tre nøtter:
- https://www.foundalis.com/res/bps/bongard/p002.htm (De til venstre er store)
- https://www.foundalis.com/res/bps/bongard/p047.htm (Enkel)
- https://www.foundalis.com/res/bps/bongard/p004.htm (Middels)
- https://www.foundalis.com/res/bps/doughof/p112.htm (Vanskelig)
God helg, og bruk selvstudiumsuken godt!
--Med vennlig hilsen oss som underviser IN1150