Kapittel 9, 10, 11 og 12
Vi har n? begynt p? en spennende og viktig bolk med fire kapitler:
- Kapittel 9: Tillukninger og induktivt definerte mengder
- Definere mengder steg for steg
- Tillukninger av mengder
- Tillukninger av bin?re relasjoner
- Induktivt definerte mengder
- Tallmengder
- Utsagnslogiske formler
- Lister og bin?re tr?r
- Programmeringsspr?k
- Alfabeter, tegn, strenger og formelle spr?k
- Bitstrenger
- To interessante konstruksjoner
- Kapittel 10: Rekursive funksjoner
- Et kraftig verkt?y
- De triangul?re tallene
- Induksjon og rekursjon
- Form, innhold og plassholdere
- Bytte likt med likt
- Rekursive funksjoner
- Tallmengder
- Bitstrenger
- Utsagnslogiske formler
- Lister
- Bin?re tr?r
- Formelle spr?k
- Rekursjon og programmering
- Kapittel 11: Matematisk induksjon
- Et matematisk eksperiment
- Matematisk induksjon
- Tilbake til eksperimentet
- Et geometrisk bevis for den samme p?standen
- Hva er det egentlig som foreg?r i et induksjonsbevis?
- Trominoer
- Egenskaper ved rekursive funksjoner
- Hanois t?rn
- Mer summering av tall
- Begrunnelser og sterk induksjon
- Kapittel 12: Strukturell induksjon
- Strukturell induksjon
- Strukturell induksjon p? bitstrenger
- Strukturell induksjon p? utsagnslogiske formler
- Strukturell induksjon p? lister
- Strukturell induksjon p? bin?re tr?r
Det er akkurat n? kurset begynner ? bli noe mer intenst og interessant, og det er derfor viktig at du er med p? hva som skjer. Dersom du f?ler at du henger etter, ta en tur p? snublegruppen.
Noen tips
- Ikke fokuser kun p? innleveringsoppgavene. Meningen med disse oppgavene er at man skal f? individuell tilbakemelding p? det man gj?r og at man skal l?re av det.
- Selv om man gj?r alle innleveringsoppgavene som st?r oppf?rt, er ikke dette n?dvendigvis nok for ? mestre kurset. Dette er et minimum.
- Ikke gi opp. Dersom du syns en definisjon eller oppgave er vanskelig, ta en pause og les den p? nytt litt senere. Det er mye som faller p? plass etter hvert.
- Bruk Mattermost og diskuter faget! Snakk med andre om hva du l?rer. Svar andre studenter p? sp?rsm?lene de har. Det ? snakke og skrive om faget gj?r at du fort forst?r hva det er du ikke forst?r.
Planen videre
Vi fortsetter inntil videre med fellestimer p? mandag kl. 10.15 og torsdag kl. 12.15. Disse blir str?mmet via YouTube og informasjon vil ligge p? https://logiskemetoder.no/nettkurs/live. Dersom du har sp?rsm?l til torsdagens fellestime, si ifra via Mattermost eller send en e-post til rantonse@ifi.uio.no.
I tillegg har vi gruppeundervisning og f?lgende ekstratilbud:
- Grublegruppe: torsdager 10.15–14.00. Temaet for denne ukens snublegruppe er mer LaTeX med Vegard.
- Obligverksted: fredager 10.15–12.00. Her f?r du siste-liten hjelp med innleveringsoppgavene.
- Snublegruppe: fredager 12.15–14.00. Dersom du f?ler at du henger etter, er dette gruppen for deg.
- Zoom-café: fredager kl. 16.15. En h?yst uformell avslutning p? uken, hvor alle er velkomne.
Se /studier/emner/matnat/ifi/IN1150/v21/gruppeundervisning/ og timeplanen for detaljene. Husk at alle Zoom-rommene bruker det samme passordet (?konsekvens?).
Nettkurset
Nettkurset har ogs? f?tt noen oppdateringer (dark mode, bedre ordliste, bedre opplegg for fellestimer/str?mming, mm.), og feil kan forekomme. :) Tusen takk til alle som har kommet med feilmeldinger og forslag til forbedringer! Jeg fors?ker ? fikse og forbedre alt i tur og orden. Finner du feil, eller har kommentarer om ting som kan forbedres, ikke n?l med ? ta kontakt. (En liten kommentar: N?r man pauser videoer (og ved slutten av hver video), viser YouTube dessverre frem “relaterte videoer”. Jeg har ikke funnet noen enkel m?te ? skru av dette p?, men videoene er i alle fall begrenset til Logiske metoder-kanalen.)
Lykke til videre!