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