Beskjeder

Det blir et regneverksted med Andreas på fredag 7. desember mellom 10.15 og 14.00 i Python (rom 2269) for alle som er interessert. Foreslåtte oppgaver vil gjennomgås i plenum. Ved forespørsel vil også konkrete ting fra pensum gjennomgås i plenum.

Siste forelesning har vært, avslutningsfesten er vel overstått, vinnerene av årets konkurranser er kåret og oppdatert kompendium ligger under undervisningsmateriale/. Gruppeundervisningen går som normalt ut november. Det blir ekstra repetisjon på mandag 3. desember kl. 18.15 i Logo, rom 2438 og tirsdag 4. desember kl. 10.15 i Pascal, rom 2452. Takk for nå, og lykke til på eksamen!

Det tilbys nå oblighjelp alle mandager kl. 18.15 i Perl, rom 2453, i Ole-Johan Dahls hus. Vel møtt!

Påminnelse! Det blir ingen forelesning fredag 28. september. På tirsdag 2. oktober blir det en repetisjonsforelesning av hele pensum med Andreas Nakkerud. På fredag 5. oktober fortsetter vi med ekvivalensklasser. (Det lønner seg å ta en titt på dette før forelesningen.)

Det blir dessverre ingen forelesning (eller logisk café) fredag 28. september! Forelesningen tirsdag 25. september går som vanlig, og temaet denne gangen er mer mengdelære og partisjoner. Det blir også en god del repetisjon. Vel møtt!

Denne uken går vi løs på relasjoner og funksjoner og egenskaper ved disse, et sentralt tema i kurset. Vel møtt!

Denne uken vil det handle om bevis, bevismetoder og problemløsning. Neste uke vil det handle det om relasjoner og funksjoner. Deretter graver vi oss dypere ned i flere av temaene som vi til nå bare har sett litt på. Det er nå også tilstrekkelig med klikkere på informatikkbiblioteket.

Denne uken begynner gruppeundervisningen, og forelesningsnotatene til andre forelesning er nå lagt ut. Det kan være lurt å lese gjennom disse før tirsdagsforelesningen. Siden vi ikke rakk å gjøre oss ferdige med mengdelæren, vil vi begynne tirsdagsforelesningen med å se på det.

Hei! Forelesningsnotatene til første ordinære forelesning, i morgen, er nå lagt ut på siden med undervisningsmateriale. Husk å låne en klikker fra biblioteket til forelesningen. Vel møtt!

Første forelesning er i dag, og vi tar fatt på semesteret med en del praktisk og nyttig informasjon kl. 12.15 i Simula. Vel møtt!

Velkommen til INF1080 - Logiske metoder for informatikk! Snart begynner forelesningene, og all relevant informasjon kommer til å bli lagt ut på disse nettsidene, så følg med.