Beskjeder
Takk for deltagelsen! Hvis man likte dette kan man gjerne ta oppf?lgningsemnet IN 5100 n? i h?st.
God sommer!
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.
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.
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/亚博娱乐官网_亚博pt手机客户端登录 mellom studenter p? emnet! Lykke til!
Vi fortsetter med eksamensoppgavegjennomgang p? zoom, fredag 5.6 kl 10.15. zoom: https://uio.zoom.us/j/68287631878 Vi ser p? eksamen 2008, b?de midterm eksamen 2008 (oppgave (2 og) 4) og final exam 2008. Hvis det er noe annet dere vil at vi diskuterer p? m?tet, gi meg beskjed.
Vi fortsetter med eksamensoppgavegjennomgang p? zoom, mandag 1.6 kl 12.15. zoom: https://uio.zoom.us/j/63872817837 Vi ser f?rst p? eksamen 2012, oppgavene 2a, 2c, 2e og 2f. Deretter ser vi p? eksamen 2008, b?de midterm eksamen 2008 (oppgave 1,2 og 4) og final exam 2008. Etter ?nske skal vi ogs? se p? bokens oppgaver 79 og 82.2-3.
Vi fortsetter med eksamensoppgavegjennomgang p? zoom, fredag 29.5 kl 10.15. zoom: https://uio.zoom.us/j/62903650758 Vi ser f?rst p? eksamen 2012, oppgavene 1 og 2a, 2c, 2e og 2f. Deretter ser vi p? eksamen 2008, b?de midterm eksamen 2008 (oppgave 1,2 og 4) og final exam 2008.
Vi fortsetter gjennomgangen av tidligere eksamensoppgaver, og "favoritter i reprise" mandag 25.5 kl 12.15 p? zoom: https://uio.zoom.us/j/63909532217 Vi starter, by request, med oppgave 60 fra l?reboken. Deretter ser vi p? Eksamen 2017, oppgave 1, og s? eksamen 2012, oppgavene 1 og 2a, 2c, 2e og 2f.
Etter ?nske om ? se mer p? vektfunksjoner, har jeg f?tt tips om at ogs? vektfunksjoner og oppgave 60 i bokrn b?r diskuteres, enten fredag 22.5 eller s? snart som mulig etter det.
Eksamensoppgavegjennomgang fredag 22.5 kl 10.15:
https://uio.zoom.us/j/64262608052
Vi fortsetter gjennomgangen av eksamen INF4232 2014 (vi har bare blitt ferdig med Oppgave 1.1). Her skal "finnes det en forenklingsordning som ..." erstattes med "Kan lpo eller mpo vise terminering av ...". Deretter ser vi p? Eksamen 2017, oppgave 1, og s? eksamen 2012, oppgavene 1 og 2a, 2c, 2e og 2f.
Her er zoom-invitasjonen til mandagens zoom-eksamensoppgavegjennomgang.
Join Zoom Meeting
https://uio.zoom.us/j/65857294768
Meeting ID: 658 5729 4768
Det var interesse for ? fortsette med ? gjennomg? eksamensoppgaver (og dermed ogs? pensum) ogs? mandag 18.5 kl 12.15. Da kj?rer vi p? med oppgave 2 fra eksamen 2019, og s? oppgave 2 fra eksamen 2003, og s? eksamen i INF4231 i 2014 (merk: dere skal erstatte "Finnes det en forenklingsordning som kan vise terminering av ..." med "Kan mpo eller lpo vise terminering av ...").
Join Zoom Meeting
https://uio.zoom.us/j/69353688542
Meeting ID: 693 5368 8542
Her er fakultetets krav til best?tt eksamen. Med andre ord m? man beherske stoffet godt/meget godt for ? f? best?tt.
Det var tydeligvis interesse for ? gjennomg? flere tidligere eksamensoppgaver i fellesskap, og da ogs? noen mer teoretiske oppgaver. Jeg foresl?r f?lgende oppgaver til fredag 15.5 (kl 10.15) og mandag 18.5 (kl 12.15): Eksamen 2019, f?rst oppgave 1, s? oppgave 2. Deretter oppgave 2 i eksamen 2003, og s? eksamen i INF4231 i 2014 (merk: dere skal erstatte "Finnes det en forenklingsordning som kan vise terminering av ..." med "Kan mpo eller lpo vise terminering av ...").
Det var tydeligvis viss interesse for ? gjennomg? eksamensoppgaver i fellesskap via zoom. Med andre ord: fint hvis man forbereder seg litt p? forh?nd, og s? kan vi diskutere ulike forslag til ? l?se oppgaver p?. Kl 10.15-12.00. La oss se p? oppgavene 1 og 2 i eksamen 2016.
Ser ut til at m?tet ligger p? https://uio.zoom.us/j/8135462006
Gi beskjed hvis det ikke funker.
-------------------
Peter Csaba ?lveczky is inviting you to a scheduled Zoom meeting.
Topic: Peter Csaba ?lveczky's Personal Meeting Room
Join Zoom Meeting
https://uio.zoom.us/j/8135462006
Meeting ID: 813 546 2006
Documentation on how to use Zoom can be found here:
/english/services/it/phone-chat-videoconf/zoom/
One tap mobile
+4723960588,,8135462006# Norway
+4773494877,,8135462006# Norway
Dial by your location
+47 2396 0588 Norway
+47 7349 4877 Norway
Meeting ID: 813 546 2006
Find your local number: https://uio.zoom.us/u/cVU7v0Bbq
Join by SIP
8135462006@109.105.112.236
8135462006@109.105.112.235
Join...
Blir som sagt ingen forelesning mandag 27.4. Satser p? ? ta siste forelesningen i kurset (oppsummering; Maude i cloud computing; bruk av formelle metoder hos Amazon) neste mandag. Siden jeg ikke har opptak, frister det ? kj?re den som live zoom-forelesning. H?per det er interesse for det! Forel?pig feedback er 2-1 for zoom vs opptak. Please gi feedback p? hva du ?nsker. Denne uken b?r man gj?re eksamensoppgaven 2019. Tenker vi gjennomg?r den p? fredag. Er litt fristet til ? ta den p? zoom, hvor folk selv presenterer sine l?sninger. Derfor er det viktig at man pr?ver ? l?se eksamenssettet p? forh?nd. ?nsker tilbakemelding om folk er interessert i "live" gjennomgang av eksamensoppgaven hvor vi diskutere deres fors?k p? ? l?se eksamensoppgaven. Update: Det var ingen in...
Jeg har tenkt litt p? den siste, oppsummerende, forelesningen. Finner ikke opptak av den, og har tenkt ? kj?re zoom, og h?per det er interesse for det. Men tenker vi utsetter det en uke, til mandag 4.5. Viktig ? studere temporallogikk i mellomtiden! Kanskje vi kan begynne ? gjennomg? eksamensoppgaver p? fredag, via zoom?
Dagens gruppetime om kapittel 16 og LTL-formler! Veldig kult tema, s? da har man noe ? kose seg med:)
Video gruppetime
Gjennomgang av kapittel 15 og ukesoppgaver 13 er n? lagt ut:)
Som vanlig, bare send mail med tilbakemelding eller forslag til oppgaver p? eirikhsa@student.matnat.uio.no
Mandagens/tirsdagens forelesning (dvs opptak av tilsvarende forelesning i 2019) er her (screencast, pdf). Etter ? ha spesialstudert dette fine opptaket og lest kapittel 15 av l?reboken kan man l?se oppgavesett 13.
Vi fikk beskjed at det ikke er undervisning i p?skeuken. Uken etter p?ske legger jeg ut en forelesning om temporale egenskaper. Siden jeg ikke har f?tt feedback om zoom-forelesninger, s? fortsetter jeg ? legge ut tilsvarende forelesning fra 2019. Som alltid, send ?nsker etc til peterol@ifi.uio.no Husk ogs? innleveringsfrist for oblig3 fredag 17. april!