Beskjeder

Kurset er over for denne gang. Takk for nå, og lykke til på eksamen!

Dette kurset gir en veldig bra bakgrunn for å være gruppelærer i kursene INF1080 og INF1800. Se Ledige gruppelærerstillinger høsten 2010 for mer informasjon.

Forelesningen tirsdag 27. april er flyttet til Visningrommet i Veilaben. Veilaben er Gaustadaléen 23, på andre siden av trikken fra Ifi.

Obligatorisk oppgave 1 er lagt ut. Innleveringsfristen er 4. mai 2010.

Løsningsforslaget er lagt ut, feilen i 5X er rettet opp.

Ettersom jeg ikke ble ferdig med løsningen til Oppgave 18 på tavla i dag (og det dessuten ble rotete med så mye notasjon på tavla) vil jeg legge ut et (grundig) løsningsforslag for den før obligen.

Definisjonene fra de siste to forelesningene er lagt ut under Øvingsoppgaver. Sammen med definisjonene står en rekke enkle oppgaver som er ment som hjelpemidler for å drille definisjonene. Tirsdag 23. mars blir det tavleregning. Regn nå for all del oppgaver på egen hånd (eller i grupper) først, det er det man lærer av!

Forelesningen tirsdag 09.03.2010 vil i stor grad antageligvis ikke bli lagt ut på nett, da det vil dreie seg om tavleregning av eksempler. Det som ikke legges ut på nett er strengt tatt ikke pensum, men det betyr ikke at det ikke vil være en stor fordel på eksamen å ha sett det. Så kom og følg med.

Som nevnt anbefales det å jobbe litt med Øvingsoppgavesett 5 og 5X før forelesningen. Hvis ønskelig kan noen av oppgavene gjennomgås under forelesningen.

Nye øvingsoppgaver lagt ut. Det er laget et ekstra oppgavesett (5X) som gjelder modeller for førsteordens språk. Det anbefales at man prøver å løse (noe av) dette før neste forelesning.

Første sett med øvingsoppgaver er lagt ut.

Velkommen til første forelesning tirsdag kl. 1215! Husk at det er obligatorisk oppmøte på første forelesning.