- 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.