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.