Kapittel 23 og 24

Vi er fremme ved den siste uken med nytt stoff, og temaet for denne uken, fra mandag 27. april til fredag 1. mai er formelle spr?k og naturlig deduksjon. I tillegg til boken har vi et tilbud med nettkurs, Zoom-undervisning, YouTube-forelesninger, og Mattermost.

Nettkurset

• Kapittel 23: Formelle spr?k og grammatikker
  • https://logiskemetoder.no/nettkurs/innhold?kap=23&sek=0&side=G
• Kapittel 24: Naturlig deduksjon
  • https://logiskemetoder.no/nettkurs/innhold?kap=24&sek=0&side=1

Videoundervisning

Vi kommer denne uken til ? ha f?lgende videoundervisning via Zoom:

• Mandag 27. april kl. 12.15¨C14.00 med Tobias O.
  • Tema: Gjennomgang av pensum, litt oppgaver og svare p? sp?rsm?l.
  • https://uio.zoom.us/j/558448996
• Tirsdag 28. april kl. 14.15¨C16.00 med Tania
  • Tema: Kort oppsummering, s? regne oppgaver.
  • https://uio.zoom.us/j/67674717038
• Onsdag 29. april kl. 12.15¨C14.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¨C12.00 med Sofie
  • Tema: Gjennomgang av oppgave, litt om pensum, resten sp?rsm?l og svar.
  • https://uio.zoom.us/j/61459070892

Oppdatert informasjon og lenker til timene finner du her: /studier/emner/matnat/ifi/IN1150/v20/undervisning/index.html#12

Mattermost

Vi er ogs? tilgjengelig¡ªnesten n?r som helst¡ªp? Mattermost. 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. Vi har 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

For ? se, og komme inn i, kanalene m? du klikke p? ?More¡­?-knappen rett under listen over kanaler.

Merk at vi har en egen kanal med tilbud om en-til-en veiledning. Her kan du kan ?bestille? en-til-en hjelp og veiledning via Mattermost eller Zoom. Det fungerer p? den m?ten at du g?r inn i kanalen og skriver noe, hva som helst, for eksempel bare et ?hei?, og da vil en av oss som underviser ta kontakt med deg via en direktemelding.

Neste innlevering

Neste innleveringsfrist, for den siste innlevering, nummer 12, er torsdag 30. april kl. 23.59: /studier/emner/matnat/ifi/IN1150/v20/innleveringer/#12

Undervisning p? nett

Her f?lger en oversikt over tidligere ?rs forelesninger og fellestimer p? YouTube for disse to kapitlene. (Merk at 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): https://www.youtube.com/watch?v=tpxSSESTMao&list=PLRvFTl5j7suJEl7OIQGXIR1gLz8nwkgAJ
  • Forelesning 24, h?sten 2014 med Roger: https://www.youtube.com/watch?v=I3fc4LgqBlk&list=PLRvFTl5j7suJEl7OIQGXIR1gLz8nwkgAJ
  • Forelesning 25, h?sten 2014 med Roger: https://www.youtube.com/watch?v=z610z9il_Lw&list=PLRvFTl5j7suJEl7OIQGXIR1gLz8nwkgAJ
  • Forelesning 23, h?sten 2015 med Andreas: https://www.youtube.com/watch?v=2CGWp6DFPg8&list=PLRvFTl5j7suJEl7OIQGXIR1gLz8nwkgAJ
  • Forelesning 24, h?sten 2015 med Andreas: https://www.youtube.com/watch?v=pUB4-ktOr7s&list=PLRvFTl5j7suJEl7OIQGXIR1gLz8nwkgAJ
• Fellestimer (repetisjon, oppgaveregning, mm)
  • Repetisjon 23 og 24, h?sten 2016 med Roger: https://www.youtube.com/watch?v=bXBbrNn2__c&list=PLRvFTl5j7suJEl7OIQGXIR1gLz8nwkgAJ
  • Repetisjon og oppgaver 23 og 24, h?sten 2016 med Roger: https://www.youtube.com/watch?v=K8kaOQto6Mo&list=PLRvFTl5j7suJEl7OIQGXIR1gLz8nwkgAJ
  • Repetisjon og oppgaver 23 og 24, h?sten 2018 med Roger: https://www.youtube.com/watch?v=brOGrGCGFmA&list=PLRvFTl5j7suJEl7OIQGXIR1gLz8nwkgAJ

Annet

P? f?lgende side finner du alle detaljer, inkludert lenker til Zoom-undervisningen:
/studier/emner/matnat/ifi/IN1150/v20/undervisning/

For generell informasjon om koronaviruset og hvilke konsekvenser det har for Universitetet i Oslo, se her: /om/hms/koronavirus/

For alle ikke-faglige sp?rsm?l, ta kontakt med administrasjonen p? studieinfo@ifi.uio.no.

Lykke til videre!

--
Med vennlig hilsen vi som underviser IN1150