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.