Beskjeder
Repetisjon
Har rettet opp noen småfeil i repetisjonsfila.
Fra gruppelærerne
I uke 48 vil vi ta for oss fjorårets eksamen. Gruppetimene i uke 49 blir på orakelform.
For begge ukene vil gruppe 1s tirsdagstime utgå mens torsdagstimen blir 11:15-14:00.
FORELESNINGER - SISTE GANG
Siste forelesning er tirsdag 24 november 1415-1600. Da tar jeg en repetisjon av alle forelesningene.
Øvelsene fortsetter ut uka etter.
Fra Torgeir Lebesbye
Jeg har fått tilbakemelding om at oblig4 var vanskelig for mange. Siden det er svært viktig at dere forstår turingmaskiner og førsteordens logikk før eksamen vil Tobias og jeg holde felles orakeltime 09-12 imorgen på seminarrom C317 (Vilhelm Bjerknes hus).
PENSUM
Som understreket en rekke ganger er pensum forelesningene slik de er referert på denne siden. Dette står også nå under pensum. Der står det også at ved eksamen blir det ikke tillatt med hjelpemidler.
Til hjelp under forberedelsen har jeg lagt ut en repetisjon av de viktigste punktene. Det blir ganske sikkert stilt spørsmål om å lage automater, maskiner, utledninger, falsifikasjoner. Da er det viktig at dere har løst oppgaver fra boka og fulgt øvelsestimene. Dere vil få ganske stor frihet til hvilken notasjon som dere ønsker å bruke - fra boka eller JFLAP - så lenge dere redegjør for hva dere bruker.
OBLIG 4 - oppgave 1
Det ble litt vel mye repetisjon i denne oppgaven. La meg endre den til
- bruk sekventkalkyle (slik jeg har gitt beskjed om før)
- det er tilstrekkelig å løse 6 av de 11 deloppgavene - du kan selv velge hvilke
OBLIG 4
Oppgave 1 - første ordens logikk - skal løses i sekventkalkyle.
Turingmaskiner
Siden det er noen turingmaskiner i oblig 4, har jeg begynt forelesningene om det alt i denne uka. Jeg bytter om forelesningene fra uke 44 og 45. Som oppgavestoff se på oppgaver fra i fjor og ellers fra boka. Prøv å lær hva de tre maskinene - maskin 1, maskin 2 og maskin 3 gjør.
LOGISKE SMULER
Her har jeg lagt inn litt videre stoff. Det er ikke pensum slik forelesningene er - men stoff som jeg synes burde være av interesse.
Pumpelemmaet
Lagt inn et notat av Lars Erik Bruce om pumpelemmaet
OPPGAVER - UKE 44 OG 45 Ta for dere oppgavene fra høsten 2008. Sidetallene for utgave 3 er sidene 472-476, 490-492, 510-514
OBLIG 3 - oppgave 3
Ta først og oversett de 4 utsagnene 1, 2, 3, 4 - og bruk deretter oversettelsene av disse til å lage utsagnene a, b, c, d, e . Hver av disse blir altså ganske store utsagn. Med min oversettelse får jeg f eks a til å bli et utsagn med 5 kondisjonaler. Så skal en undersøke for hver av a, b, c, d, e om det blir en falsifikasjon eller er gyldig.
OPPGAVER - UKE 42
Bruk oppgavene fra uke 42 høst 2008
PENSUM
Hver uke legger jeg ut et par sider med oppsummering av forelesningene. Dette er pensum - eksamensoppgavene vil ta for seg ting som står der. Men for å lese, forstå og bruke disse sidene er det meningen at dere skal følge forelesninger, lese stoff i boka, lese stoff fra Roger Antonsens forelesninger, regne oppgaver i øvelsestimene og ellers jobbe med stoffet. Legg spesielt merke til at jeg bruker sekventkalkyle i logikk - i likhet med kurset i fjor. Mer stoff om det finnes i Roger Antonsens forelesninger - og ikke i boka. Fra kurset i fjor ligger det ute gamle eksamensoppgaver - noen har også løsningsforslag.
Til Oblig 2 - tar vekk det siste spørsmålet i oppgave 2 - det vil si 2d.
OPPGAVER - UKE 37
Bruk oppgavene for uke 37 fra høsten 2008.
Til OBLIG 1
Mangler linja "Vis at" i oppgave 3
Lagt ut forelesningsnotater for uke 34 og uke 35
Her er lista over oppgaver for de to første ukene - fra utgave 3 i boka
Oppgaver til gruppetimene (UTGAVE 3) Her er utvalgte oppgaver fra læreboken. Oppgavene i parentes er ekstraoppgaver som kan gjennomgås hvis tiden tillater det. Det er den samme lista som for høsten 2008 – men nummerering og sidetall er rettet opp i følge 3. utgave
Uke 35
• Oppgaver fra 1.2 (side 32--36): 1, 2, 3, 5, 24, 25, 26 • Oppgaver fra 1.3 (side 53--56): 1, 2, 12 (16, 19)
Uke 36
• Oppgaver fra 1.2 (side 32--36): 6, 9, ”Is power(A union B)=power(A)union power(B)”, 29 • Oppgaver fra 2.4 (side 130--131): 1, 2ab • Oppgaver fra 4.1 (side 215--219): 1c-j, 3, 4 (2, 20) • Oppgaver fra 1.1 (side 12--13): 1, 2 • Oppgaver fra 6.2 (side 417--420): 3 (1, 2)
Flere oppgaver følger senere
OK, da har jeg ordnet opp i tidene for gruppe 2. Timen som tidligere var tirsdag 12.15 - 13.00 er nå flyttet til 09.15 - 10.00 samme dag. Jeg bruker inntil videre rom C317 til denne timen også, da vi vel ikke har behov for datamaskiner enn så lenge.
Det vil si at tiden for gruppe 2 nå er sammenhengende tre timer i samme rom, slik:
* Tirsdag kl. 09:15 - 12:00, Seminarrom C317 Vilhelm Bjerknes' hus ( i perioden 25. august til 8. desember)
Vær oppmerksom på at det er forskjell i nummereringen av oppgavene i utgave 2 og utgave 3. Forelesninger og oppgaver i fjor ble holdt etter utgave 2. Nå kan dere bruke både utgave 2 og utgave 3. Utgave 3 inneholder mer stoff og flere oppgaver - men nummereringen blir da forskjellig.
Gruppe 103 skal møte i rom 203, Vilhelm Bjerknes' hus, tirsdag 25. august.
Opplegget høsten 2009 blir veldig likt det fra høsten 2008. Jeg kommer til å følge ukeplanen fra sist. Bruk Rogers websider så godt dere kan.
Oppgaver til uke 35 - som høsten 2008.
Det er OK å bruke 2. utgave av boka.
På websidene er det feil ukedag på innlevering av oblig'er. Datoene er riktige - ukedagene skal være mandag'er