IN2100 - Logikk for systemanalyse

Semesterside for IN2100 - V?r 2020

Fagl?rere

Peter Csaba ?lveczky Universitetet i Oslo

Beskjeder

L?sningsforslag eksamen 2020

L?sningsforslag eksamen 2020.

Takk for deltagelsen! Hvis man likte dette kan man gjerne ta oppf?lgningsemnet IN 5100 n? i h?st.

God sommer!

17. juni 2020 14:55

Zoom-tr?sterunde mandag 10.00

Vi kj?rer en ny zoom-tr?sterunde mandag kl 10.00 (merk tid) p? https://uio.zoom.us/j/61507893123 i tilfelle noen lurer p? noe i forbindelse med eksamen.

14. juni 2020 19:51

(Liten) trykkfeil i oppgaveteksten

En flink student har oppdaget en liten feil i oppgaveteksten som "har sneket seg inn under produksjon av eksamensettet": ?verst p? side 4 st?r det "empty + > s". Det skal selvsagt st? "empty > + > s". Dette er/var korrekt i Maude-koden p? denne siden. Beklager denne lille feilen.

11. juni 2020 10:18

Mer om eksamen (updated 18:25 onsdag)

Jeg tenker jeg tar en "tr?sterunde" p? zoom torsdag kl 10.00.Zoom-adresse https://uio.zoom.us/j/65987411350. Her en en eksekverbar Maude-fil a la den i oppgavesettet som man bare kan fylle ut for oppgave 1. Husk: det skal ikke v?re diskusjon/澳门葡京手机版app下载 mellom studenter p? emnet! Lykke til!

10. juni 2020 15:57

Se flere beskjeder