Beskjeder
Mange har vært usikre på nøyaktig hvilket format man bør følge når man skriver stakkautomater. Følgende notat om stakkautomater (pdf-versjon ) kan kanskje være til hjelp.
Pensumlisten er oppdatert, se lenken til venstre. Spesielt er dette ekstranotatet (pdf-versjon ) om simulering av endelige automater i predikatlogikk, lagt til.
På forelesningen fredag 3/12 rakk vi såvidt å kikke litt på avsluttende eksamen fra i fjor (pdf-versjon ) og dette løsningsforslaget (pdf-versjon ).
Evaluering: Gi gjerne kommentarer til kurset her. Skjemaet heter HUMIT 1750 Høsten 2004.
Avsluttende (6-timers) eksamener for kurset SLI110 (som var basert på samme lærebok) ligger på nettsiden for gruppeøvelser, men for 2001 og 2002 bare i rtf-versjon. Her følger pdf-versjoner: 2001
Torsdag 25. november kl. 14-15 flyttes undervisningen på gruppe 1 til sem.rom 210 Eilert Sundts hus blokk B.
Undervisningen på gruppe 2 torsdager kl. 10-11 er flyttet til Hypermedielaben (HW609) for resten av semesteret.
Undervisningen på gruppe 3 torsdager kl. 11-12 er flyttet til sem.rom 41 Niels Treschows hus følgende datoer: 18. november, 25. november og 2. desember.
Ingen forelesning i dette kurset fredag 5/11.
Femte obligatoriske oppgave er også på plass. Frist 19/11.
Resultater fra midtsemestereksamen er nå slått opp utenfor ILFs ekspedisjonskontor. Husk at endelig karakter beregnes fra resultatene fra de to eksamenene, der den første teller 40% og den andre teller 60%. I prakis betyr dette at karakteren på neste eksamen blir lik endelig karakter hvis forskjellen mellom de to eksamenene ikke er mer enn en karakter. Merk også at det ikke kreves stående karakter på begge eksamener. Igjen er det gjennomsnittet som teller.
Fjerde obligatoriske oppgave er lagt ut. Frist 5/11.
Merk at det ikke blir noen forelesning i dette emnet fredag 8/10. Ondag 6/10 (altså siste forelesning før midtveiseksamen) tar vi opp de viktigste begrepene om sekventkalkyle. Detaljer angående likhet i sekventkalkyle utgår. Bevisene for problem 45, 46 og kompletthetsteoremet er heller ikke eksamensrelevant -- se nærmere detaljer under lenken "Pensum/læringskrav".
Det blir ingen gruppeøvelser i uke 42. Under lenken "Oppgaver & løsninger etc." til venstre finner dere likevel, under uke 42, noen øvelsesoppgaver om analysetrær. Noen av disse er betydelig større enn de oppgavene dere kan forvente til eksamen.
Husk eksamen 13/10. Pensum for denne eksamenen er de to første kapitlene i læreboka, med de unntak som er angitt under lenken "Pensum/læringskrav". Se også lenken "Om eksamen i dette emnet".
Foreleser/gruppelærer kan ha behov for å kontakte studenter angående obligatoriske oppgaver. Disse bør derfor også merkes med studentens epostadresse.
Oppgaver til neste uke er lagt ut. Se gjerne litt ekstra godt på disse: Minus oppgave 2.2.1 er disse oppgavene nesten identiske med det som ble gitt som midttermineksamen i fjor. (Da ble det også gitt en oppgave om sekventkalkyle, som vi antakelig først kommer til i uke 41.)
Legg merke til at tredje obligatoriske oppgave allerede er lagt ut. Studenter som tar HUMIT1730 vil være opptatt med prosjektoppgave i uke 40, så begynn gjerne på denne obligatoriske oppgaven før. De relevante deler av pensum vil være ferdig forelest allerede i uke 38.
Ny obligatorisk oppgave er lagt ut. Innlevering senest 17/9.
Husk at første obligatoriske oppgave skal inn denne uken -- enten direkte til gruppelærer eller (merket med kurs, gruppenummer og gruppelærernavn) til ILFs ekspedisjonskontor. (Enda flere innleveringsmåter angis på nettsiden for gruppeøvelser.) Fristen er fredag klokken 15.00.
Se ny lenke til venstre om gruppeøvelser: Oppgaver til neste uke er lagt ut!
OBS/NB/MERK: Registrering til kurs/bekreftelse av mottatt plass MÅ gjøres innen 1. september, enten på Studentweb eller (hvis man får problemer med dette) til studiekonsulent ved ILF.
Legg merke til at første obligatoriske oppgave nå har dukket opp til venstre. Begynn gjerne på den med en gang! Innlevering i uke 36. Lykke til!
Læreboka (Formal Logic: A guided Tour.) er utsolgt i bokhandelen. Nye eksemplarer er under trykking. I mellomtiden kopierer vi opp første halvdel av kapittel 1. Dette blir delt ut på forelesningen fredag 20/8. Derfra plukker vi oppgavene 1.1.1 til og med 1.1.9 til diskusjon/gjennomgåelse på gruppeøvelsene i uke 35.
Grunnet større søkertall enn opprinnelig forventet, vil en del av undervisningen foregå i større rom enn opprinnelig annonsert. Oppdatert romoversikt vil ligge under linken "tid og sted" fra i morgen tirsdag 17. august. Forelesningene skal foregå i aud. 2 SB onsdag kl. 16.15-18, og i aud. 3 SB fredag kl. 9.15-10. Også på gruppene vil det være endringer, men disse spesifiseres ikke i denne beskjeden, da de ikke starter før neste uke.