Beskjeder
Timen tirsdag 11/6 blir b?de 10:15 i SHELL, og 15:15 i PASCAL.
Det snek seg inn en trykkfeil tidligere; i ex2021, ser p? 1.1 og 1.2; IKKE 2.1 og 2.2.
10:15 er det i rom SHELL, 15:15 er det i rom PASCAL.
Jeg har tentativt satt opp noen oppgaver, etter ?nske, man kan se p?, og som vi kan diskutere. Men kom med alt dere lurer p?; dette er for ? diskutere ting dere lurer p?.
Jeg har f?tt sp?rsm?l om hvorvidt det er mulig ? ha siste time ogs? tirsdag kl 15, for dem som har eksamen tidligere p? dagen. Det kan jeg gj?re, hvis interesse. I utgangspunktet kan jeg holde b?de 10:15 og 15:00, men det hadde v?rt hyggeligere om det kom endel folk (og det eventuelt kunne sl?s sammen). Kan dere melde fra til meg om: (a) det er interesse for en ekstra sammenkomst tirsdag 15:00?, og (b) om det er noen som bare kan komme kl 10:00 og ikke kan/?nsker ? komme kl 15 ISTEDET for kl 10:15? Se mulige oppgaver p? timeplansiden.
Hi,
all three obligs are graded now.
If you are missing a grade for any oblig in devilry, notify me immediately.
Best,
Paul
Jeg har oppdatert oppgaver som skal gjennomg?s etter ?nske om: mer vektfunksjoner og likhetslogikk. Paul Kobialka tar for seg likhetslogikk neste tirsdag 28/5. F?rstkommende fredag fortsetter vi med termineringsoppgavene fra tirsdag, og i tillegg ser p? (etter ?nske) p? noen vektfunksjoner fra boken. Fredag 4/5 er det eksamen 2016 (oppg 1 og 2, og 2g i INF4232-varianten), og tirsdagen deretter blir det eksamen 2022.
L?sningsforslag til f?lgende eksamener er n? frigitt: 2005 (m og f), 2006f, 2007 (m og f), 2010, 2012, 2017 og 2020. Jeg lager en plan p? hva som skal gjennomg?s de neste ukene, basert p? ?nsker.
Her er VG's lille videosnutt som beskriver noe av forskningen til fredagens gjesteforeleser (i h?yeste grad pensum) Ralf Sasse.
Zoom-info (vi m?tes IKKE fysisk) til forelesning:
Join Zoom Meeting
https://uio.zoom.us/j/68050751829?pwd=TkhhdTBNQ2l0RFF5YmdqdEpzdjVrQT09
Meeting ID: 680 5075 1829
Passcode: 933286
Hvis noe mot formodning skulle g? ?t skogen med denne zoom, f?lg med p? "beskjeder"-siden til emnet i morgen.
Pensum-forelesning av Ralf Sasse fra ETH Zürich den 26. april. Zoom-detaljer:
https://uio.zoom.us/j/68050751829?pwd=TkhhdTBNQ2l0RFF5YmdqdEpzdjVrQT09
Meeting ID: 680 5075 1829
Passcode: 933286
Rom-bytte; vi m?tes til emnets kanskje vanskeligste, men meget nyttige, forelesning i rom Python. ?nsker jeg visste hvor det er ...
Alt unntatt veldig f? deloppgaver obligatorisk oppgave 3 kan l?ses n?. Noen sm? deloppgaver etter forelesningen 12. april. Blir nok ikke mye rom for utsettelser, s? gj?r den ASAP.
Her f?lger vel E' |- f(a,c) = f(b,c) med én gang, ved Substitutivitet mht ligning f(a,x) = f(b,x) og substitusjon {x |-> c}.
Man skal selvsagt ikke levere noe som er helt eller delvis generert av diverse AI-verkt?y. Det vil bli sett p? juks og vil bli rapportert oppover i systemet. Koden blir bare v?s uansett, og det er ikke v?r oppgave ? rette ChatGPT.
Det blir forelesning b?de tirsdag 20. februar (likhetslogikk) og fredag 23. februar (dynamiske systemer). Uken etter (27.2 - 1.3) blir det oppgavegjennomgang b?de tirsdag (terminering og litt konfluens) og fredag (konfluens og litt likhetslogikk). Uken etter det er det oppgaver p? tirsdag (konfluens og dynamiske systemer) og forelesning p? fredag (objekt-orientert modellering av dynamiske systemer) som vanlig.
Tipper det blir forelesning b?de 20 og 23. februar, og oppgavegjennomgang begge dagene uken etter. Endelig beskjed snart.
Obligatorisk oppgave 2 er ute. Frist 1. mars. For at dette ikke skal bli stressende rundt fristen, b?r/kan man l?se de fleste oppgavene allerede n?. Oppgavene om terminering kan/b?r l?ses etter forelesningen 9. februar, og oppgaven om konfluens kan/b?r l?ses etter forelesningen 16. februar.
Det er b?de litt oppgavegjennomgang (oppgavesett 1) og mye forelesning n? tirsdag 23. januar.
Velkommen til IN2100. F?rste forelesning fredag 19. januar. Satser p? at det blir litt oppgavegjennomgang, men mest forelesning tirsdag 23. januar. 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.