Dette emnet er erstattet av IN1150 - Logiske metoder.

Semesterside for INF1080 - Høst 2016

Hei, i dag var det eksamen, og jeg håper at det gikk bra for alle. Her ligger både eksamen og et løsningsforslag som PDF:

Tusen takk til dere alle for følget! Det har vært en ære og en glede å få guide dere gjennom INF1080 – Logiske metoder for informatikk denne høsten.

Hilsen Roger

7. des. 2016 21:51

Screencast fra informasjonsmøte 8.november om digital eksamen er tilgjengelig her

10. nov. 2016 07:57

Det er bare å gå på flere gruppetimer i løpet av uka! Da blir du kjent med flerre gruppelærere og medstudenter, og du får jobbet effektivt med faget. Her har vi laget en enkel oversikt over gruppetimene gjennom uka med tid og sted. (Lenken finnes også under «Gruppelærere» til høyre).

24. okt. 2016 11:08

Vi har lagt ut noen tips til oppgave 9.11 og 10.7 i kanalen #beskjeder på Slack. Sjekk innom Slack regelmessig for å få med deg svar på spørsmål, tips til innleveringsoppgaver, Open edX-oppdateringer og andre beskjeder. For å lettere følge med kan man laste ned Slack som eget program på dekstop og som app til mobil, se https://slack.com/downloads.

Viktige beskjeder legges også ut her og/eller sendes på e-post.

Mange stiller spørsmål på Slack, fortsett med det! Hvis du ønsker å stille spørsmål anonymt, eller bruke et mer strukturert spørsmål-og-svar-forum der spørsmålet ditt ikke risikerer å «bli borte» i mengden av andre meldinger og spørsmål, så vil diskusjonsforumet på Open edX dekke dine behov!

29. sep. 2016 15:21

Hei, alle INF1080-studenter! Her kommer en kort oppdatering.

INF1080-café

Alle er hjertelig velkommen til INF1080-café i studentkjelleren Escape i dag (og hver fredag) fra kl. 12.15 til 14.00.

Innleveringsoppgaver

Husk å levere innleveringsoppgave 3 i Devilry innen kl. 17.59 i dag. Nå ligger også alle innleveringsoppgavene for resten av semesteret ute.

Neste uke

På tirsdag (kjernetime og dialogtime) og onsdag (oppgavetime og perspektivtime) neste uke snakker vi om kapittel 7 (funksjoner) og 8 (litt mer mengdelære). Kom forberedt (gjør Open edX-opplegget og se på videoer av Andreas) til din gruppetime og fellestimene, og send gjerne inn oppgaver, spørsmål og kommentarer...

16. sep. 2016 09:43

Hei, kjære INF1080-studenter!

Her kommer siste nytt og en liten oppdatering.

(Denne beskjeden er også sendt på e-post til alle som er registrert i kurset.)

  • Det blir INF1080-café i studentkjelleren Escape hver fredag fra 12.15 til 14.00 fra nå av. Her blir det uformell oppgaveregning, noen ganger nøtter å bryne seg på, og muligens også brettspill og andre spill løst knyttet til temaene i kurset. Gruppelærere og rettere (og innimellom kursansvarlig) vil være til stede.
  • Husk å levere innleveringsoppgave 2 i Devilry innen kl. 17.59 i morgen, fredag! Er du ferdig? Begynn gjerne også på innleveringsoppgave 3 som ligger ute nå. Snart vil alle innleveringsoppgavene for resten av semesteret også bli tilgjengelig.
  • Innen utgangen av denne uken vil alle kapitlene til og med kapittel 6 være klare i vår Open edX-versjon av ku...
8. sep. 2016 20:29

Vi ser at det er mange som ikke har registrert seg på INF1080x på edX og Slack. Mye av innholdet og kommunikasjonen i dette emnet vil foregå på disse to plattformene, så det er viktig at dere registrer dere på disse. På INF1080x får dere mye hjelp til å studere kapitlene, med video og oppgaver. Både kapittel 1 og 2 er klare med oppgaver der. Vi har akkurat sendt ut invitasjoner til INF1080x og Slack på e-post, men dere kan også registrere dere med lenkene til høyre.

Det ble også sendt ut en e-post på fredag som vi håper dere har lest (eller leser snart). Det er viktig at dere følger med på student-e-posten-adressen; sett eventuelt opp videresending på brukerinfo.uio.no eller bruk et e-postprogram til å gjøre det.

Bare si ifra til oss på Slack eller INF1080-ansvarlige@ifi.uio.no hvis det er noe dere lurer på eller trenger hjelp til!

28. aug. 2016 17:50

Hei og velkommen, kjære INF1080-studenter! På tirsdag kl. 10.15 begynner vi for fullt, og før første forelesning bør du skaffe boken og begynne å lese. På tirsdag vil du få informasjon om hvordan semesteret vil bli, og deretter tar vi fatt på selve faget. Til forskjell fra tidligere år, vil vi nå i større grad bruke forelesningene som allerede ligger fritt tilgjengelig på nett, så det vil lønne seg å allerede nå se på de første forelesningene fra i fjor. Her er YouTube-spillelisten for forelesningene fra i fjor: https://www.youtube.com/playlist?list=PLRvFTl5j7suIW7DNvG9u--JakVUMT5VZ2

Vel møtt til første forelesning!

19. aug. 2016 13:13

Det er litt over to måneder igjen til studiestart, og forberedelsene til høstens INF1080 har startet. Hvis du har lyst til å begynne å se på innholdet i kurset allerede nå, har du mange muligheter:

Læreboken Logiske metoder er tilgjengelig på Akademika. Du kan lese om boken på Rogers hjemmesider.

Forelesningene fra 2014 og 2015 ligger også fritt tilgjengelig på YouTube. Her er spillelisten for 2015-forelesningene:

10. juni 2016 14:33