Beskjeder
Det er ?nske om en frivillig oblig 4, for ? f? feedback. Oblig 4 er eksamen 2021. Man trenger IKKE ? l?se hele oppgavesettet; l?s de oppgavene du ?nsker feedback p?, men l?s dem s? godt som du kan. Du vil da f? feedback p? din l?sning av gruppel?rer Paul Kobialka. Kan ta noen dager ? f? feedback. Send din l?sning (n?r du ?nsker) p? email til gruppel?rer; mailheaderen m? inneholde "oblig4".
Vi ble enige p? gruppetimen idag at man ikke ?nsker en fjerde OBLIGATORISK oppgave, men at vi har en "frivillig ikke-obligatorisk oblig4" hvor man sender inn sin l?sning p? et eksamenssett (2019?) for ? f? tilbakemelding p? den. Details to follow.
Jeg ble veldig overrasket p? dagens forelesning, da tilh?rerne ?nsket en ekstra oblig (om sliding window) 3. Jeg har gjort den halvparten s? stor som noen ?r tidligere, slik at vi kan ha en oblig 4 senere som tar for seg tidligere eksamensoppgaver. Her er oblig 3. Innleveringsfrist 8. april.
Jeg har lagt til noen "format" attributter i CONFIGURATION-modulene i prelude.maude og full-maude31.maude for ? f? mye mer leselig output av store termer med objekter og meldinger.
Etter utallige ?nsker og foresp?rsler er obligatorisk oppgave 2 endelig publisert; innleveringsfrist 4.3.
Har sjekket undervisningsrommene. Plass til 24 (med corona-restriksjoner) i Prolog (gruppetimer), som er mer enn antall studenter som fulgte forelesning 3 p? zoom. Plass til enda fler i forelesningsrommet (Logo), s? da blir det fysisk undervisning fra uke 5, regner jeg med.
Emnet benytter spr?ket/systemet Maude. Maude kan lastes opp enkelt for Linux og MacOS fra http://maude.cs.illinois.edu. Maude for Windows har ikke v?rt problematisk tidligere, men instruksjoner er fjernet fra Maude's hjemmeside. Siden Maude for Windows fra Univ. Politecnica Valencia beskriver hvordan man kan kj?re Maude 2.7.1 (en helt fin versjon for emnet) p? Windows-maskiner. Merk at vi ikke skal bruke CVC-4 eller noen annen SMT solver i kurset, s? man trenger ikke ? laste opp CVC-4 (eller Yices). Carolyn Talcott skriver at "I believe Windows 10 can run Maude linux binaries...
Hvis alt funker som det pleier, s? skal zoom-informasjon til forelesning v?re
https://uio.zoom.us/j/63910028686?pwd=QzFrdG1ZNHFlU3dJM3JDRXFERVl4Zz09
Meeting ID: 639 1002 8686
Passcode: 237972
Velkommen til IN2100! Det blir dessverre zoom-undervisning i hvert fall de to f?rste ukene. Trist, men lite ? gj?re med det. Den f?rste uken har vi to forelesninger (ogs? fredagens gruppetime er en forelesning), for ? komme igang med kurset. Etter disse forelesningene kan vi l?se obligatorisk oppgave 1. Tenker at de to f?rste forelesningene blir "live" p? zoom (som ikke blir tatt opp bl a pga personvernhensyn). S? f?r vi se hva som skjer videre, og ikke minst hvilken undervisningsform dere ?nsker (hvis man ikke kan ha fysisk undervisning). Kurset f?lger selvsagt l?reboken veldig n?rt (siden boken ble skrevet for dette emnet).