Beskjeder

Publisert 10. juni 2024 14:53

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.

Publisert 8. juni 2024 18:38

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?.

Publisert 7. juni 2024 14:28

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.

Publisert 31. mai 2024 13:26

Hi,
all three obligs are graded now.
If you are missing a grade for any oblig in devilry, notify me immediately.

Best,
Paul

Publisert 22. mai 2024 13:54

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.

Publisert 7. mai 2024 15:08

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.

Publisert 25. apr. 2024 13:47

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.

Publisert 23. apr. 2024 15:30

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

 

 

 

Publisert 18. apr. 2024 19:56

Rom-bytte; vi m?tes til emnets kanskje vanskeligste, men meget nyttige, forelesning i rom Python. ?nsker jeg visste hvor det er ...

Publisert 21. mars 2024 23:37

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.

Publisert 5. mars 2024 19:17

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}.

Publisert 27. feb. 2024 14:41

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.

Publisert 18. feb. 2024 23:23

Til 8.3.

Publisert 18. feb. 2024 14:50

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.  

Publisert 16. feb. 2024 02:06

Tipper det blir forelesning b?de 20 og 23. februar, og oppgavegjennomgang begge dagene uken etter.  Endelig beskjed snart.

Publisert 3. feb. 2024 15:20

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.

Publisert 19. jan. 2024 12:44

Det er b?de litt oppgavegjennomgang (oppgavesett 1) og mye forelesning n? tirsdag 23. januar.

Publisert 8. jan. 2024 15:28

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.