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.