Semesterside for IN1150 - V?r 2021

Kj?re IN1150-student,

F?rst og fremst, tusen takk for f?lget dette semesteret. Det var hyggelig ? se s? mange av dere p? avslutnings-Zoom-festen i g?r! ?

Digital hjemmeeksamen 21. mai kl. 15.00

Neste uke er det eksamen, og all relevant informasjon ligger p? semestersiden. V?r spesielt oppmerksom p? f?lgende side:

Eksamen i IN1150 v?ren 2021

Dette er en samleside om eksamen hvor det st?r det mye viktig, s? les alt som st?r der n?ye. Her finner du informasjon om den praktiske gjennomf?ringen av eksamen, hva du gj?r dersom du har sp?rsm?l underveis, hvordan den digitale tr?ste- og oppklaringsrun...

(Deler av denne ble ogs? sendt p? e-post til alle studenter i g?r.)

Onsdag 12. mai 2021 fra kl. 14.15 til ca. 16.00, arrangerer vi i god tradisjon en faglig-sosial avslutnings-Zoom-fest for ? feire at fellestimene er over og at eksamen n?rmer seg (bare ni dager unna).

P?melding: https://nettskjema.no/a/in1150-avslutning-2021

Siste frist for p?melding: 12. mai kl. 14.00.

En del av detaljene/konkurransene finner du i p?meldingsskjemaet. Alle som melder seg p? f?r Zoom-lenken tilsendt p? e-post. Det blir ikke gjort noe opptak av denne avslutningsfesten.

Detaljer: ...

Avslutningsfesten ?

I god tradisjon arrangerer vi en avslutningsfest i IN1150, og alle som tar IN1150 inviteres herved til en faglig-sosial avslutnings-Zoom-fest onsdag 12. mai kl. 14.15¨C16.00.

Dette markerer kurset er over og at eksamen er rett rundt hj?rnet, bare ni dager unna. Vi planlegger en ettermiddag med superrelevante eksamenstips, miniforedrag om en rekke temaer (sjonglering, visualiseringer, kryptografi, Minecraft, mm.), konkurranser og annen faglig moro. Vi deler ut Akademika-gavekort ¨¤ 300 / 500 / 1000 kr til mange heldige vinnere! Fagansvarlig, gruppel?rerne, rettere og andre knyttet til kurset vil v?re tilstede, og alle er hjertelig velkomne. ?

P?melding: https://nettskjema.no/a/in1150-avslutning-2021

Pr?veeksa...

Kj?re IN1150-student,

Kurset g?r mot slutten og til uken blir det hovedsakelig repetisjon. Vi har laget et superkort sp?rreskjema for ? f? noen innspill til hva vi b?r gj?re i de siste ukene og n?r vi b?r arrangere avslutningsfesten. Det hadde v?rt supert om du kunne fylle ut dette s? fort som mulig: https://nettskjema.no/a/200791 P? den m?ten kan vi gj?re kurset best mulig for deg.

NB! Vi tilbyr n? ogs? ¨¦n-til-¨¦n-hjelp via Zoom i en begrenset periode frem til eksamen. Dette er en ordning hvor du via et nettskjema kan bestille en 30-minutters undervisning-sesjon via Zoom med en gruppel?rer. G? til https://nettskjema.no/a/in1150-1-til-1 for bestilling. Vi tar kontakt med deg p? e-post s? fort som mulig etter at du har sendt inn skjemaet.

Lykke til videre!

Vi har n? dekket 24 kapitler, det vil si hele pensum, og tiden er inne for repetisjon!

Hva skjer denne uken?

• Fellestime: mandag kl. 10.15¨C12.00 og torsdag kl. 12.15¨C14.00

https://logiskemetoder.no/nettkurs/live
https://uio.zoom.us/j/66309625427

Vi bruker fellestimene til oppgaveregning, sp?rsm?l og svar. Som vanlig blir disse sendt via YouTube og alle kan stille sp?rsm?l via menti.com underveis. Det er ogs? mulig ? ha en dialog med fagl?rer og andre studenter via Zoom.

• Grublegruppe om kompleksitet: torsdag kl. 10.15¨C12.00, med Tobias O.

...

(Denne beskjeden ble ogs? sendt p? e-post tidligere i uken.)

Tiden er inne for jobbe med de siste fire kapitlene i boken. Temaet for denne uken er grafteori (kapittel 21 og 22) og neste uke blir det formelle spr?k (kapittel 23) og naturlig deduksjon (kapittel 24).

Her er en kjapp oppsummering av hva som denne uken:

• Grublegruppe om grafteori: torsdag kl. 10.15¨C12.00, med Tobias O.

Vi ?nsker alle velkomne til ? h?re litt mer om grafteori. Tobias O. vil snakke litt om anvendelser, s?king i grafer og mye annet spennende som g?r litt utover pensum. Alle er velkomne!

• Fellestime: torsdag kl. 12.15¨C14.00

https://logiskemetod...

Det er p? tide med en oppdatering! Forrige uke dekket vi kapittel 17 (abstraksjon med ekvivalenser og partisjoner) og 18 (kombinatorikk), og denne uken er det kapittel 19 (mer kombinatorikk) og 20 (litt abstrakt algebra) som er i fokus.

Hva skjer denne uken?

• Grublegruppe om kombinatorikk: torsdag kl. 10.15¨C12.00, med Tobias O.

Vi ?nsker alle velkomne til ? h?re litt om kombinatorikk som g?r utover pensum. Hvordan kan vi telle partisjoner? (Det blir gjort opptak av den f?rste delen, men ikke sp?rsm?l-og-svar-delen.)

• Fellestime: torsdag kl. 12.15¨C14.00

Som vanlig blir fellestimen sendte via YouTube og alle kan stille sp?rsm?l via menti.com underveis. Det er ogs? mulig ? ha en dialog med fagl?rer og andre studenter via Zoom.

• Obligver...

Vi er offisielt akkurat over halvveis i pensum, med tolv kapitler bak oss! Denne uken har det v?rt f?rsteordens spr?k og syntaks som har v?rt i fokus, med signaturer, termer, formler og hvordan vi kan representere kvantifiserte utsagn. Neste uke blir det semantikk og tolkning av f?rsteordens termer og formler. Disse fire kapitlene henger sv?rt n?ye sammen:

• 13: F?rsteordens spr?k
• 14: Representasjon av kvantifiserte utsagn
• 15: Tolkning i modeller
• 16: Resonnering om modeller

Tilbud om fysisk gruppetime

Vi vil forsiktig begynne med litt fysisk undervisning, og f?rst ut er gruppetimen mandag kl. 14.15 i seminarrom Java i Ole-Johan Dahls hus med Tobias O. Det er ?pent for alle til ? melde seg p?, og kapasiteten er satt til 20 studenter. Det er et krav om p?m?lding vi...

Denne uken er temaet bevis ved matematisk og strukturell induksjon. Bra saker. F?rst er det bevis ved matematisk induksjon i kapittel 11, og s? er det bevis ved strukturell induksjon i kapittel 12. Det er bare ¨¦n m?te ? l?re seg induksjonbevis ordentlig p?, og det er ved ? gj?re mange induksjonsbevis selv. Trening! Det er s?nn omtrent n? at kurset for mange begynner ? bli mer utfordrende, og det er derfor viktig ? passe p? at du henger med. Det er lurt ? legge inn litt ekstra innsats n? (i stedet for rett f?r eksamen).

Kollokvier

https://nettskjema.no/a/in1150kollokvie

Det er sv?rt nyttig ? ha noen ? diskutere faget med. For ? gj?re det enklere ? finne noen ? kollokviere med, har vi opprettet et nettskjema som du kan fylle ut ders...

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

Zoom-room og passord

Oppdatert informasjon om Zoom-rommene (og passord) er sendt til alle via e-post.

Viktig informasjon om eksamen

Vi har som planlagt en fire-timers avsluttende digital hjemmeeksamen i IN1150, men her kommer et viktig tillegg.

I etterkant av hjemmeeksamen vil 5¨C10 % av studentene tas ut til en justerende muntlig eksamen. De som blir tatt ut til dette m? best? den muntlige eksamen for ? best? emnet, og karakteren fra hjemmeeksamen vil kunne justeres med opptil ¨¦n bokstavkarakter opp eller ned. Den justerte karakteren blir den endelig karakteren i emnet. Den muntlige eksamen avholdes i perioden 14.¨C18. juni, og de som blir tatt ut vil f? beskjed 10. juni.

Dette burde v?re klart og tydelig, men dersom du har sp?rsm?l om dette, kan vi snakke litt om det i fellestimen p? torsdag kl. 12.15. Send i s? fall det du lur...

Vi er med dette inne i den fjerde uken av IN1150, og her er noen nyheter og oppdateringer!

Fellestimer p? YouTube

http://logiskemetoder.no/nettkurs/live

Det ? bruke Zoom til fellestimer har bydd p? visse utfordringer. Vi tester derfor ? bruke YouTube til fellestimer denne uken. Vi ?pner ogs? Zoom-rommet, slik at man kan stille sp?rsm?l og m?te hverandre der, men selve fellestimen sendes live via YouTube. G? til lenken over n?r det er tid for fellestime.

Zoom-room og passord

Fra n? av vil lenker med passord til Zoom-rom kun distribueres via e-post og Mattermost. Nedenfor er direktelenker til alle Zoom-rommene vi bruker (merk at du m? ha passordet i tillegg). Dette er ogs? en oversikt over undervisningstilbudet slik det ser ut n?, i tillegg til innleveringsoppgaver, nettkurs og Mattermost. Merk at fellestimer...

Den andre uken i IN1150 n?rmer seg slutten, og her er en oppdatering og noen kommentarer og p?minnelser.

Andre innleveringsoppgave

/studier/emner/matnat/ifi/IN1150/v21/innleveringer/

Husk at fristen for ? levere den andre innleveringsoppgaven er f?rstkommende fredag 29. januar kl. 23.59. (Den f?rste versjonen som ble lagt ut inneholdt en liten feil i oppgave 2, s? s?rg for at du har den korrekte versjonen. I den korrekte versjonen st?r det 24. januar 2021 nederst p? siden.)

Igjen: S?rg for at du leser alt som st?r p? siden med innleveringer n?ye og spesielt siden som heter ?Obligatoriske oppgaver og andre innleveringer ved Ifi?: /studie...

N? er vi midt i f?rste uke, og gruppeundervisningen er i full gang. Her kommer en liten oppdatering og noen p?minnelser. S?rg for at du leser hele beskjeden slik at du f?r med deg alt.

Tilgang til Devilry

https://devilry.ifi.uio.no

Alle innleveringene skal gj?res i innlevering- og tilbakemeldingssystemet Devilry. Det er ikke alle som har f?tt tilgang til IN1150 i Devilry enn?, og det gjelder spesielt de som ble oppmeldt i kurset etter 15. januar. Hvis dette gjelder deg og du ikke har tilgang enn?, m? du straks sende en e-post (fra din UiO-e-postadresse) til studieinfo@ifi.uio.no og si ifra.

F?rste innleveringsoppgave

/studier/emner/matnat/ifi/IN1150/v21/innlevering...

Denne uken begynner vi p? mengdel?re (kapittel 1) og utsagnslogikk (kapittel 2) og gruppeundervisningen begynner! Kurset er dermed i gang for fullt. Her kommer en liten oppdatering og noen p?minnelser.

Fellestimer mandager 10.15¨C12.00

Vi begynner i dag et opplegg hvor fellestimen p? mandager brukes til ? introdusere sparke i gang ukens tema. Her er tanken at kan du komme uten ? v?re spesielt forberedt. Det vil ikke bli sagt noe viktig her som du ikke finner i boken eller i nettkurset, s? dersom du ikke trenger en slik introduksjon, trenger du ikke ? komme. Selve forelesningene over bokens kapitler finner du i nettkurset som korte videoer etterfulgt av oppgaver.

Gruppeundervisningen begynner

/studier/emner/matnat/ifi/IN1150/v21/gruppeundervisning/

Resten av uk...

Et redigert og noe forkortet opptak av g?rsdagens fellestime ligger n? p? YouTube (og med lenke i timeplanen).

Vi m?tes igjen via Zoom mandag kl. 10.15. Da begynner vi p? kapittel 1 og 2, som handler om mengdel?re og utsagnslogikk. Zoom-lenken finner du i timeplanen.

Vi har bestemt at all ordin?r undervisning blir digital i uken 18.¨C22. januar. Detaljert informasjon om hva du kan forvente p? de ulike gruppene kommer innen mandag. Da f?r du ogs? informasjon om obligatorisk innleveringsoppgaver.

Med ?nske om en god helg!

Velkommen igjen til IN1150 ¨C Logiske metoder ved Institutt for informatikk, for v?ren 2021. Her kommer mer nyttig og praktisk informasjon. (Dette ble ogs? sendt p? e-post tidligere i dag.)

Semestersiden

/studier/emner/matnat/ifi/IN1150/v21

Alle viktige beskjeder blir lagt ut p? semestersiden, s? sjekk den regelmessig. Dette er den eneste siden du trenger ? sjekke for ? v?re oppdatert om hva som skjer i kurset. Mer informasjon, spesielt om innleveringsoppgaver og gruppeundervisning, kommer snart.

Timeplan, fellestimer og gruppeundervisning

/studier/emner/matnat/ifi/IN1150/v21/timeplan/

Det ? ta IN1150 krever mye...

Velkommen til IN1150!

F?rste fellestime blir torsdag 14. januar kl. 12:15 via Zoom. Da vil du f? informasjon om kursopplegget for denne v?ren, og vi begynner sakte men sikkert med kapittel 0 i Logiske metoder. Mer informasjon om Zoom og annet kommer innen onsdag.

Men, du kan og b?r allerede n? lese kapittel 0 og se p? forelesningene og gj?re oppgavene i nettkurset p? https://logiskemetoder.no/nettkurs/. Vi kommer til ? bruke nettkurset aktivt gjennom hele semesteret.

P? mandag 18. januar begynner vi med kapittel 1 og 2, og vi vil fra da av dekke to kapitler per uke.

Vel m?tt!

Velkommen til IN1150 - Logiske metoder ved Institutt for informatikk for v?ren 2021. Her kommer det snart mer informasjon. Dersom du er ut?lmodig og har lyst til begynne allerede n?, les videre!

Semestersiden

Alle viktige beskjeder og blir lagt ut p? denne siden, s? sjekk den regelmessig. Dette er strengt tatt den eneste siden du trenger ? sjekke for ? v?re oppdatert om hva som skjer i kurset. Informasjon om innleveringsoppgaver, aktiviteter og undervisning kommer her.

Pensum

Pensum i kurset er l?reboken ?Logiske metoder: kunsten ? tenke abstrakt og matematisk? (Universitetsforlaget, 2014). I tillegg anbefales ?Studiebok til Logiske metoder? (Universitetsforlaget, 2017). Se pensumsiden for mer informasjon.

Nettkurset

Vi har i l?pet av mang...