Beskjeder
Eksamen og løsningsforslag . God jul og godt nyttår ønskes fra foreleser. Sensur faller visstnok 3. januar.
Regler om innelvering av obligatoriske oppgaver er nå oppdatert i tråd med det som ble sagt på første forelesning. (Se lenken til venstre til siden om obliger.) Dette innebærer at det kun innvilges EN ny levering hvis en oppgave ikke godkjennes ved første forsøk.
Ved slutten av uke 39 ledet lenken tid/sted for undervisning til venstre igjen til en side med feil info, men dette er nå rettet. Det riktige skal være at gruppe 2 møtes tirsdag 9.15-10 og fredag 10.15-12.
Obligatorisk oppgave 2 er nå lagt ut. Tema er bevis i utsagnslogikk og tolkning av utsagn i predikatlogikk. Se gjerne over oppgaveteksten som en oppvarming til neste ukes forelesninger. Da begynner vi med kapittel 7. Det anbefales sterkt at man har lest avsnitt 7.1 i læreboken før forelesningen tirsdag 26/9.
Til dere som har tatt kurset før, og fått godkjent en eller flere av de fire obligene: Dere trenger ikke levere tilsvarende oblig på nytt. OBS: Det er deres eget ansvar å holde rede på hvilke av obligene dere har fått godkjent fra tidligere år. Jeg skrev tidligere at slik informasjon er tilgjengelig på wwws, men dette var en misforståelse. For å kontrollere, bør dere derfor ta kontakt med studieadministrasjonen, enten ved å gå i luken eller ved å sende epost til studieinfo at ifi dot uio dot no.
Oppgaver til neste uke er nå lagt ut, se til venstre.
Til dere som er nye på IFI: Dere kan finne status for obligene ved å logge inn på wwws.ifi.uio.no .
Husk fristen for levering av første obligatoriske oppgave fredag 15. september. Detaljer om innlevering er beskrevet i lenken Fire obligatoriske oppgaver til venstre.
Tid og sted lenken til venstre inneholdt en periode gal informasjon, men er nå rettet.
Rutebeskrivelse for å komme til Veilaboratoriet finner man her.
Angående PC-stue i Forskningsparken: Forskningsparken er bygg nr GA11 på dette kartet. Fra Blindernområdet kan man komme hit ved å ta gangbroen over trikken (den begynner som en sti mellom Meteorologisk og parkeringsplassen ovenfor Blindern Studenthjem) og umiddelbart etter gangbroen svinge til venstre inn på en stor plass. Her vil man (etter å ha svingt) ha en bygning til høyre og en annen bygning rett frem. Den siste har ulike fargepaneler i front, og det er her dere skal. PC-stuen ligger i tredje etasje, hvor dere kommer inn: Gå gjennom kantinen forbi betalingen og inn til venstre. Deretter til høyre. Følg gangen (den svinger) til du skimter PC-stuen gjennom tynne gardiner.
Relevant info fra den "gamle" semestersiden (for HUMIT1750) er nå overført hit (altså til HUMIT1750MN), med unntak av tid/sted-info, som dere fremdeles må lete opp på den gamle siden.
Denne siden kommer til aa bli brukt flittig i loepet av hoesten. Den tilsvarende siden for det "gamle" kurset vil bli liggende ubrukt, eller helst tatt ned. Akkurat naa ligger det imidlertid informasjon paa denne "gamle" siden som ikke ligger her, bl.a. info om pensum (i et av lysarkene under undervisningsplan) og info om neste ukes PC-oevelser. Slik info vil bli flyttet over senest i loepet av helgen.