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