- Mandag 23. mars til fredag 27. mars
- Mandag 30. mars til fredag 3. april
- Mandag 6. april til fredag 10. april
- Mandag 13. april til fredag 17. april
- Mandag 20. april til fredag 24. april
- Mandag 27. april til fredag 1. mai
- Mandag 4. mai til fredag 8. mai
- Mandag 11. mai til fredag 15. mai
- Mandag 18. mai til fredag 22. mai
Mandag 23. mars til fredag 27. mars
- Kapittel 15: Tolkning i modeller (nettkurset ⧉)
- Kapittel 16: Resonnering om modeller (nettkurset ⧉)
Videoundervisning
- Mandag 23. mars kl. 12.15–13.15 med Tobias O.
- Tema: Litt gjennomgang, så svare på spørsmål.
- https://uio.zoom.us/j/698360300 ⧉ (notater)
- Tirsdag 24. mars kl. 14.15–15.15 med Tania
- Tema: Kort oppsummering, så regne oppgaver.
- https://uio.zoom.us/j/299142608 ⧉ (notater_kap15, notater_kap16)
- Torsdag 26. mars kl. 10.15–11.15 med Sofie
- Tema: Gjennomgang av oppgave, litt om pensum, resten spørsmål og svar.
- https://uio.zoom.us/j/410265095 ⧉ (notater)
Innleveringsoppgaver
- Torsdag 26. mars kl. 23.59: Innleveringsfrist for innlevering 8.
Mattermost-vakter
Vi er tilgjengelig på Mattermost hele tiden, men på følgende tidspunkter er vi garantert tilstede for å svare på spørsmål og med tilbud om individuell veiledning.
- Mandag 23. mars kl. 14.15–16.00
- Torsdag 26. mars kl. 12.15–14.00
YouTube
Her følger en oversikt over tidligere års forelesninger og fellestimer for disse kapitlene. (Det er overlapp mellom dette og det som finnes i nettkurset.)
- Forelesninger
- Forelesning 15, høsten 2014 ⧉ med Roger
- Forelesning 16, høsten 2014 ⧉ med Roger
- Forelesning 17, høsten 2014 ⧉ med Roger
- Forelesning 15, høsten 2015 ⧉ med Andreas
- Forelesning 16, høsten 2015 ⧉ med Andreas
- Fellestimer (repetisjon, oppgaveregning, mm)
- Repetisjon 15 og 16, høsten 2016 ⧉ med Roger (kap. 15 starter 43:20)
- Oppgavetime 15 og 16, høsten 2016 ⧉ med gruppelærere Håkon og Bendik
- Repetisjon 15 og 16, høsten 2018 ⧉ med Lars
Mandag 30. mars til fredag 3. april
- Kapittel 17: Abstraksjon med ekvivalenser og partisjoner (nettkurset ⧉)
- Kapittel 18: Kombinatorikk (nettkurset ⧉)
Videoundervisning
- Mandag 30. mars kl. 12.15–14.00 med Tobias O.
- Tema: Litt gjennomgang, så svare på spørsmål.
- https://uio.zoom.us/j/558448996 ⧉ (notater)
- Tirsdag 31. mars kl. 14.15–16.00 med Tania
- Tema: Kort oppsummering, så regne oppgaver.
- https://uio.zoom.us/j/329954894 ⧉ (notater_kap17, notater_kap18)
- Onsdag 1. april kl. 12.15–14.00 med Sarek
- Tema: Folket bestemmer! Kort oppsummering, så det studentene lurer på.
- https://uio.zoom.us/j/556273572 ⧉ / https://www.menti.com ⧉: 70 08 65
- Torsdag 2. april kl. 10.15–11.15 med Sofie
- Tema: Gjennomgang av oppgave, litt om pensum, resten spørsmål og svar.
- https://uio.zoom.us/j/268696168 ⧉ (notater)
Innleveringsoppgaver
- Torsdag 2. april kl. 23.59: Innleveringsfrist for innlevering 9.
Mattermost-vakter
Vi er tilgjengelig på Mattermost hele tiden, men på følgende tidspunkter er vi garantert tilstede for å svare på spørsmål og med tilbud om individuell veiledning.
- Mandag 30. mars kl. 14.15–16.00
- Torsdag 2. april kl. 12.15–14.00
YouTube
Her følger en oversikt over tidligere års forelesninger og fellestimer for disse kapitlene. (Det er overlapp mellom dette og det som finnes i nettkurset.)
- Forelesninger
- Forelesning 17, høsten 2014 ⧉ med Roger (kap. 17 starter 15:42)
- Forelesning 18, høsten 2014 ⧉ med Roger
- Forelesning 17, høsten 2015 ⧉ med Roger
- Forelesning 18, høsten 2015 ⧉ med Roger
- Fellestimer (repetisjon, oppgaveregning, mm)
- Repetisjon 17 og 18, høsten 2016 ⧉ med gruppelærere Bjørn, Thor og Bendik
- Oppgavetime 17 og 18, høsten 2016 ⧉ med Lars
- Repetisjon 17 og 18, høsten 2018 ⧉ med Roger
Mandag 6. april til fredag 10. april
Denne uken er det påskeferie, men vi stiller opp med to Zoom-timer (helt frivillig) med repetisjon av tidligere kapitler.
Videoundervisning
- Mandag 6. april kl. 12.15–14.00 med Tobias O.
- Tema: Repetisjon av tidligere kapitler.
- https://uio.zoom.us/j/558448996 ⧉ (notater)
- Tirsdag 7. april kl. 14.15–16.00 med Sofie
- Tema: Repetisjon av tidligere kapitler, spesielt repetisjon av induktivt definerte mengder og induksjonsbevis. Eksempler og teori.
- https://uio.zoom.us/j/271073331 ⧉ (notater)
Mattermost
Vi er også tilgjengelig på Mattermost, en praktisk digital møteplass hvor du kan snakke med andre studenter og stille faglige spørsmål. Vi som underviser er også klare til å hjelpe, og vi skal forsøke å svare på alle faglige spørsmål rimelig raskt. Vi håper også at du som medstudent er med på å svare på spørsmål og delta i de faglige diskusjonene. Det lærer du mye av. Per i dag har vi blant annet følgene kanaler:
- Generelt: https://mattermost.uio.no/ifi-in1150/channels/generelt
- Oppgavehjelp: https://mattermost.uio.no/ifi-in1150/channels/oppgavehjelp
- En-til-en hjelp: https://mattermost.uio.no/ifi-in1150/channels/en-til-en-hjelp
- LaTeX og teknisk hjelp: https://mattermost.uio.no/ifi-in1150/channels/latex
- Off-topic: https://mattermost.uio.no/ifi-in1150/channels/off-topic
Mandag 13. april til fredag 17. april
- Kapittel 19: Litt mer kombinatorikk (nettkurset ⧉)
- Kapittel 20: Litt abstrakt algebra (nettkurset ⧉)
Videoundervisning
- Tirsdag 14. april kl. 10.15–12.00 med Tobias O.
- (Endret fra mandag 13. april, for da er det fridag.)
- Tema: Litt gjennomgang, så svare på spørsmål.
- https://uio.zoom.us/j/558448996 ⧉ (notater)
- Tirsdag 14. april kl. 14.15–16.00 med Tania
- Tema: Kort oppsummering, så regne oppgaver.
- https://uio.zoom.us/j/903864134 ⧉ (notater_kap19, notater_kap20)
- Siden det var interesse for det, har jeg tatt opp andre timen fra gruppetimen og dere finner opptaket her. Si ifra hvis det er nyttig!
- Onsdag 15. april kl. 12.15–14.00 med Sarek
- Tema: Kort oppsummering, så regne oppgaver og svare på det studentene lurer på!
- https://uio.zoom.us/j/62260453428
- Torsdag 16. april kl. 10.15–11.15 med Sofie
- Tema: Gjennomgang av oppgave, litt om pensum, resten spørsmål og svar.
- https://uio.zoom.us/j/68755619910 ⧉ (notater)
Innleveringsoppgaver
- Torsdag 16. april kl. 23.59: Innleveringsfrist for innlevering 10.
Mattermost
Vi er tilgjengelig på Mattermost, en praktisk digital møteplass hvor du kan snakke med andre studenter og stille faglige spørsmål. Vi som underviser er også klare til å hjelpe, og vi skal forsøke å svare på alle faglige spørsmål rimelig raskt. Vi håper også at du som medstudent er med på å svare på spørsmål og delta i de faglige diskusjonene. Det lærer du mye av. Per i dag har vi blant annet følgene kanaler:
- Generelt: https://mattermost.uio.no/ifi-in1150/channels/generelt
- Oppgavehjelp: https://mattermost.uio.no/ifi-in1150/channels/oppgavehjelp
- En-til-en hjelp: https://mattermost.uio.no/ifi-in1150/channels/en-til-en-hjelp
- LaTeX og teknisk hjelp: https://mattermost.uio.no/ifi-in1150/channels/latex
- Off-topic: https://mattermost.uio.no/ifi-in1150/channels/off-topic
YouTube
Her følger en oversikt over tidligere års forelesninger og fellestimer for disse kapitlene. (Det er overlapp mellom dette og det som finnes i nettkurset.)
- Forelesninger
- Forelesning 19, høsten 2014 ⧉ med Roger
- Forelesning 20, høsten 2014 ⧉ med Roger
- Forelesning 19, høsten 2015 ⧉ med Andreas
- Forelesning 20, høsten 2015 ⧉ med Roger
- Fellestimer (repetisjon, oppgaveregning, mm)
- Repetisjon 19 og 20, høsten 2016 ⧉ med Roger
- Perpektivtime 19 og 20, høsten 2016 ⧉ med Roger
Mandag 20. april til fredag 24. april
- Kapittel 21: Grafteori (nettkurset ⧉)
- Kapittel 22: Vandringer i grafer (nettkurset ⧉)
Videoundervisning
- Mandag 20. april kl. 12.15–14.00 med Tobias O.
- Tema: Litt gjennomgang, så svare på spørsmål.
- https://uio.zoom.us/j/558448996 ⧉ (notater)
- Tirsdag 21. april kl. 14.15–16.00 med Tania
- Tema: Kort oppsummering, så regne oppgaver.
- https://uio.zoom.us/j/68399321278 ⧉ (notater_kap21, notater_kap22)
- Onsdag 22. april kl. 12.15–14.00 med Sarek
- Tema: Endeli’ grafteori! Kommer til å snakke om grafer og så gjøre oppgaver og svare på spørsmål.
- https://uio.zoom.us/j/62260453428
- Torsdag 23. april kl. 10.15–12.00 med Sofie
- Tema: Gjennomgang av oppgave, litt om pensum, resten spørsmål og svar.
- https://uio.zoom.us/j/61234703208 ⧉ (notater)
Innleveringsoppgaver
- Torsdag 23. april kl. 23.59: Innleveringsfrist for innlevering 11.
Vi er tilgjengelig på Mattermost, en praktisk digital møteplass hvor du kan snakke med andre studenter og stille faglige spørsmål. Vi som underviser er også klare til å hjelpe, og vi skal forsøke å svare på alle faglige spørsmål rimelig raskt. Vi håper også at du som medstudent er med på å svare på spørsmål og delta i de faglige diskusjonene. Det lærer du mye av. Per i dag har vi blant annet følgene kanaler:
- Generelt: https://mattermost.uio.no/ifi-in1150/channels/generelt
- Oppgavehjelp: https://mattermost.uio.no/ifi-in1150/channels/oppgavehjelp
- En-til-en hjelp: https://mattermost.uio.no/ifi-in1150/channels/en-til-en-hjelp
- LaTeX og teknisk hjelp: https://mattermost.uio.no/ifi-in1150/channels/latex
- Off-topic: https://mattermost.uio.no/ifi-in1150/channels/off-topic
YouTube
Her følger en oversikt over tidligere års forelesninger og fellestimer for disse kapitlene. (Det er overlapp mellom dette og det som finnes i nettkurset.)
- Forelesninger
- Forelesning 21, høsten 2014 ⧉ med Roger
- Forelesning 22, høsten 2014 ⧉ med Roger
- Forelesning 23, høsten 2014 ⧉ med Roger
- Forelesning 21, høsten 2015 ⧉ med Roger
- Forelesning 22, høsten 2015 ⧉ med Roger
- Fellestimer (repetisjon, oppgaveregning, mm)
- Repetisjon 21 og 22, høsten 2016 ⧉ med Henrik
- Repetisjon og oppgaver 21 og 22, høsten 2016 ⧉ med Roger
Mandag 27. april til fredag 1. mai
- Kapittel 23: Formelle språk og grammatikker (nettkurset ⧉)
- Kapittel 24: Naturlig deduksjon (nettkurset ⧉)
Videoundervisning
- Mandag 27. april kl. 12.15–14.00 med Tobias O.
- Tema: Gjennomgang av pensum, litt oppgaver og svare på spørsmål.
- https://uio.zoom.us/j/558448996 ⧉ (notater)
- Tirsdag 28. april kl. 14.15–16.00 med Tania
- Tema: Kort oppsummering, så regne oppgaver.
- https://uio.zoom.us/j/67674717038 ⧉ (notater_kap23, notater_kap24)
- Siden det var interesse for det, har jeg tatt opp gruppetimen og dere finner opptaket her.
- Onsdag 29. april kl. 12.15–14.00 med Sarek
- Tema: Vi prøver oss på en litt annerledes gruppetime! Finn fram mikrofon og/eller kamera. Ideen er noe som minner litt mer om en gruppetime og litt mindre om en forelesning.
- https://uio.zoom.us/j/62260453428 ⧉
- Torsdag 30. april kl. 10.15–12.00 med Sofie
- Tema: Gjennomgang av oppgave, litt om pensum, resten spørsmål og svar.
- https://uio.zoom.us/j/61459070892 ⧉ (notater)
Innleveringsoppgaver
- Torsdag 30. april kl. 23.59: Innleveringsfrist for innlevering 12.
Mattermost
- Generelt: https://mattermost.uio.no/ifi-in1150/channels/generelt
- Oppgavehjelp: https://mattermost.uio.no/ifi-in1150/channels/oppgavehjelp
- En-til-en hjelp: https://mattermost.uio.no/ifi-in1150/channels/en-til-en-hjelp
- LaTeX og teknisk hjelp: https://mattermost.uio.no/ifi-in1150/channels/latex
- Off-topic: https://mattermost.uio.no/ifi-in1150/channels/off-topic
YouTube
Her følger en oversikt over tidligere års forelesninger og fellestimer for disse kapitlene. (Det er overlapp mellom dette og det som finnes i nettkurset.)
- Forelesninger
- Forelesning 23, høsten 2014 ⧉ med Roger (kap. 23 begynner på 10:00)
- Forelesning 24, høsten 2014 ⧉ med Roger
- Forelesning 25, høsten 2014 ⧉ med Roger
- Forelesning 23, høsten 2015 ⧉ med Andreas
- Forelesning 24, høsten 2015 ⧉ med Andreas
- Fellestimer (repetisjon, oppgaveregning, mm)
- Repetisjon 23 og 24, høsten 2016 ⧉ med Roger
- Repetisjon og oppgaver 23 og 24, høsten 2016 ⧉ med Roger
- Repetisjon og oppgaver 23 og 24, høsten 2018 ⧉ med Roger
Mandag 4. mai til fredag 8. mai
Dette er en repetisjonsuke.
Videoundervisning
- Mandag 4. mai kl. 12.15–14.00 med Tobias O.
- Tema: Gjennomgang av vanlige feil, særlig i innleveringsoppgaver.
- https://uio.zoom.us/j/558448996 ⧉ (notater)
- Tirsdag 5. mai kl. 14.15–16.00 med Tania
- Tema: Første-ordens logikk, modeller, utsagnslogikk.
- https://uio.zoom.us/j/67887906944 ⧉ (notater_oppsummering)
- Vi har begynt å se på et direkte bevis for oppgave 2d) fra prøveeksamen 2012. Dere kan se her forskjellige bevismetoder man kan bruke for å bevise samme ting: oppgave_2d
- Onsdag 6. mai kl. 12.15–14.00 med Tiril
- Tema: Tidligere eksamensoppgaver.
- https://uio.zoom.us/j/3218361158 ⧉
- Torsdag 7. mai kl. 10.15–12.00 med Sofie
- Tema: Induksjonsbevis.
- https://uio.zoom.us/j/68278474738 ⧉ (notater)
Mattermost
- Generelt: https://mattermost.uio.no/ifi-in1150/channels/generelt
- Oppgavehjelp: https://mattermost.uio.no/ifi-in1150/channels/oppgavehjelp
- En-til-en hjelp: https://mattermost.uio.no/ifi-in1150/channels/en-til-en-hjelp
- LaTeX og teknisk hjelp: https://mattermost.uio.no/ifi-in1150/channels/latex
- Off-topic: https://mattermost.uio.no/ifi-in1150/channels/off-topic
Mandag 11. mai til fredag 15. mai
Siden vi nå er gjennom pensum, handler det om repetisjon, finpussing, spørsmål/svar og eksamensforberedelser, inkludert prøveeksamen, denne uken. Her er planen:
- Mandag 11 mai. kl. 12.15–14.00: Repetisjon!
- Repetisjon, spørsmål og tidligere eksamensoppgaver med Tobias O.
- https://uio.zoom.us/j/558448996 ⧉ (notater)
- Tirsdag 12. mai kl. 14.15–16.00: Spørretime!
- Spørsmål og svar med Roger (og Tania og Tiril).
- https://uio.zoom.us/j/63087298685 ⧉ (notater)
- Send gjerne spørsmål på forhånd til rantonse@ifi.uio.no eller via Mattermost; dersom det ikke kommer noen spørsmål, enten på forhånd eller underveis, blir det veldig stille. Alle oppfordres til å ha på kamera. Det blir ikke gjort opptak.
- Onsdag 13. mai kl. 12.15–14.00: Prøveeksamen!
- Gjennomgang av prøveeksamen med Roger (og Sofie, eventuelt flere).
- https://uio.zoom.us/j/67743653034
- Alle oppfordres til å gjøre oppgavene på forhånd og stille spørsmål underveis; da får man best utbytte av gjennomgangen. Det blir ikke gjort opptak.
- I god tradisjon arrangerer vi en avslutningsfest i IN1150. Denne gangen blir det en avslutnings-Zoom-fest på nett. Tidspunktet er ikke endelig bestemt, men det blir en gang i løpet av slutten av uken (muligens onsdag 14–16 eller torsdag 14–16). Detaljene er under utarbeidelse men det ligger an til eksamenstips, miniforedrag, konkurranser, premier 🎉 og faglig moro. Noen av miniforedragene under planlegging handler om Scheme, Enigma-maskinens kombinatorikk, Coq, Minecraft, sjonglering, programmering av utsagnslogikk, og visualiseringer. Mer informasjon kommer!
Mandag 18. mai til fredag 22. mai
Leseuke.
Eksamen er 22. mai.