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