Beskjeder
Noen ønsket enda en repetisjonstime TIRSdag 13. juni.
Ønske: 1. Induktive teoremer i formler med flere variable. 2. Maude-modellering. Send gjerne email med andre ting jeg burde snakke om. Ellers er dette en også en god anledning til å spørre og snakke om alt mulig man ønsket å vite men aldri turte å spørre. Når det gjelder (1), tror jeg ikke det er eksamensoppgaver som dekker dette, med unntak av romertallene. Vi kan heller se på kommutativitet og assosiativitet av addisjon i NAT-ADD og oppgavene 91 og 95.2 i læreboken. Når det gjelder (2) var det ønske om å se på eksamen 2022, oppgavene 2 og 3, og for eksempel eksamen 2009, oppgave 2.
Fikk idag (tirsdag) ønske om å ta timer også MANdag 12. juni. Temaet som ønskes tatt opp er konfluens. Så da rocker vi konfluens, og ser (etter ønske) på oppgavene 82, 79 og 80 i læreboken; og eksamensoppgavene eksamen 2021, oppgave 2; midterm exam 2006, oppgave 1; exam 2017, oppgave 2; exam 2010, oppgave 1.4; exam 2016, oppgave 2d; og midterm exam 2008, oppgave 1. I en eller annen rekkefølge. Ser per idag ikke ut til at det var ønske om time neste tirsdag. Eventuelt gi beskjed om det er andre ting man ønsker å diskutere/gjennomgå mandag eller tirsdag. Oppgavene er på https://olveczky.se/IN2100-23/Exams/
Beklager, det snek seg inn en trykkfeil i hva som skal gjennomgås tirsdag 6. juni. "eksamen INF4232 2014, oppgave 2;" skal selvsagt være "eksamen INF4232 2014, oppgave 3"! Beklager dette. Håper dere rekker å løse oppgave 3 i tillegg til oppgave 2.
Jeg har blitt bedt om ta en time mandag 5.6 likevel for de som hadde eksamen sist tirsdag. Vi gjennomgår altså det samme vi gjorde sist tirsdag, dvs: "Studentønsker om likhetslogikk/induktive teoremer og likhetslogikk, så vi gjennomgår (i rekkefølge, tror jeg) eksamen 2021, oppgave 3 (likhetslogikk); midterm eksamen 2008, oppgave 4 (likhetslogikk); eksamen 2012, oppgave 1a, 1d og 1e (likhetslogikk); eksamen 2019, oppgave 1g-j (temporallogikk); "
1. Jeg har frigjort veldig mange løsningsforslag til tidligere eksamener.
2. Veldig mange av de faste ønsket/kunne ikke mandag 5.6, så det blir fridag, med mindre mange ønsker å treffes. Vi treffes tirsdag 6.6. Merk: det BLIR time på mandag, men kun for de som ikke kunne komme sist tirsdag; det samme gjennomgås. (Nå må jeg bare finne mine notater for den timen ...)
3. Basert på tidligere ønsker tenker jeg at vi ser på eksamen INF4232, 2018, oppgavene 1g,h,i (resten er oblig) og 2; eksamen INF4232 2014, oppgave 2; eksamen 2012, oppgave 1; eksamen 2022, oppgavene 2 og 3. Alle oppgavesettene er på http://olveczky.se/IN2100-23/Exams
4. Disse utplukkene er (delvis) basert på student-ønsker; send gjerne en melding om du ønsker at jeg gjennomgår/snakker om noe [annet].
Studentønsker om likhetslogikk/induktive teoremer og likhetslogikk, så vi gjennomgår (i rekkefølge, tror jeg) eksamen 2021, oppgave 3 (likhetslogikk); midterm eksamen 2008, oppgave 4 (likhetslogikk); eksamen 2012, oppgave 1a, 1d og 1e (likhetslogikk); eksamen 2019, oppgave 1g-j (temporallogikk); eksamen i INF4232 2018, oppgave 1g-i (temporallogikk); eksamen INF4232 2014, oppgave 3 (noe temporallogikk); eksamen 2022, oppgave 3 (eventuelt kun 3f og 3g som er likhetslogikk, men god trening å gjøre hele); eksamen 2017, oppgave 1 (likhetslogikk). Alle eksamensoppgaver er tilgjengelige på olveczky.se/IN2100-23/Exams
Mandag 22.5 ble ferdige med termineringsoppgavene til og med 2021 på listen i forrige beskjed. Tirsdag 23.5 gjennomgår vi gjenværende termineringsoppgavene. Send meg gjerne temaer dere ønsker å gjennomgå videre frem mot eksamen. Så langt har jeg fått ønske om induktive teoremer og temporallogikk.
Dere ønsket å gjennomgå terminerings-eksamensoppgaver sist. Jeg foreslår at dere gjør følgende oppgaver (omtrent i denne rekkefølgen): Midterm eksamen 2005, oppgave 2; midterm eksamen 2006, oppgave 2.1 og 2.2; eksamen 2009, oppgave 1; eksamen 2021, oppgave 1; eksamen 2010, oppgave 1; eksamen 2016, oppgave 3; eksamen 2019, oppgave 2; og eksamen 2022, oppgave 1. (Jeg har markert at de fra 2021 og 2022 er "bra".) Merk: Der hvor det står "Finnes det er forenklingsordning som kan vise terminering av ..." så skal dere svare på spørsmålet "Kan lpo eller mpo vise terminering av ...". Alle oppgavesettene er tilgjengelige på http://olveczky.se/IN2100-23/Exams
Vi gjennomgår gamle eksamensoppgaver og diskuterer andre ting man lurer på (send email om ønsker av ting som skal gjennomgås) i tiden frem til eksamen. Vi starter greit mandag 15.5 med en fin og ikke altfor vrient eksamenssett: eksamen 2016, og i tillegg skal man gjøre oppgave 2g i INF4232-versjonen av eksamen 2016. Merk at der hvor det står "finnes det en forenklingsordning som kan vise terminering av ..." så mener jeg "kan lpo eller mpo vise terminering av ...".
På forelesningen 9. mai skal Ralf Sasse fra ETH Zürich forelese om hvordan han brukte Maude til å knekke Internet Explorer under en sommerjobb på Microsoft, og hvordan han og venner har brukt multisett omskrivning til å knekke våre VISA- og MasterCard-betalingssystemer. Forelesningen holdes på zoom, ikke i seminarrommet, til vanlig tid på:
Join Zoom Meeting
https://uio.zoom.us/j/68581808300
Meeting ID: 685 8180 8300
Viktig: av høflighet vær vennlig å ha kameraene påslått under forelesningen. Forelesningen er i høyeste grad pensum (vil ikke bli tatt opp pga personvern etc.). Man kan varme opp til forelesningen ved å se på denne snutten fra VG som omhandler Ralf's arbeid.
Obligatorisk oppgave 3 er endelig ute. Frist 5.5, og pga at den må rettes, lister må leveres inn, osv., så blir det ikke lett å gi betydelige utsettelser, så det er bare å sette i gang med én gang. Bruk gjerne/helst Maude 3.3 i stedet for Full Maude (selv om bruk av Full Maude også er greit).
Det blir forelesning mandag 17.4 og oppgavegjennomgang tirsdag 18.4.
Obligatorisk oppgave 4 er ute. Veldig nyttig med litt Maude modellering. Merk at denne strengt tatt er "frivillig" (man kan gå opp til eksamen selv om man kun får godkjent de tre andre).
Her er min prelude.maude fil, med (bedre?) formattering av konfigurasjoner. Kun modulen CONFIGURATION (helt nederst i filen) er forandret; format attributter lagt til/forandret.
Maude 3.3 beta er nå (snart) installert på ifi's linux cluster som kommandoen "maude".
Utrolig timing! Maude 3.3 (beta) som støtter opp om objekt-orientert syntaks, ble tilgjengelig forrige uke. Blir veldig mye bedre uten Full Maude. Jeg modifiserer og sjekker mine tidligere modeller, med det ser bra ut. Last ned fra https://github.com/SRI-CSL/Maude/releases/tag/Maude3.3beta . Noen modeller med Maude 3.3 OO syntaks som gjennomgås på dagens (14.3) forelesning: phil-maude33-public.maude, full-blackjack-rules-maude33.maude og extended-population-maude33.maude.
Obligatorisk oppgave 2 er ute. De første to delene kan allerede løses nå, den siste lille oppgaven kan løses etter forelesningen tirsdag 21. februar. Innleveringsfrist 17.3, men bør gjøres lenge før det.
Velkommen til IN2100. Såvidt jeg skjønner har vi første forelesning tirsdag 24. januar. Vet ikke helt om mandag 30. januar blir oppgavegjennomgang eller forelesning, eller litt av begge. Uansett, oblig 1 kommer kjapt på oss, så det er fint hvis man laster opp Maude og begynner å lage noen enkle Maude-programmer så fort som mulig. NB! Vi trenger strengt tatt TO forelesninger for å komme godt i gang, og jeg sjekker med administrasjonen om "gruppetimen" mandag 23. januar kan/skal gjøres om til en ekstra forelesning. Hadde vært bra. Tar også veldig gjerne imot feedback fra studenter (på email peterol@ifi.uio.no) om det lar seg gjøre/er ønskelig.