Onsdag 29. mai har vi en ny "oppgavegjennomgang" hvor man kan sp?rre om ting og tang. Forel?pige temaer man ?nsker er "konfluens/kritiske par/lokal konfluens", "vektfunksjoner" og "programmring i Maude". Jeg skal pr?ve ? finne passende oppgaver p? dette torsdag kveld. Eksamen 2013 kan kanskje gjennomg?s. Send meg gjerne innspill om det er konkrete ting/oppgaver jeg b?r snakke om. Vanlig tid og sted: kl 12.15 i Java.
--------
Det var ?nske om vektfunksjoner, konfluens, og "programmering i
Maude".
Jeg vil snakke om utvalgte oppgaver:
- Final exam 2008, oppgave 1 har b?de programmering og enkel terminering og konfluens
* Vektfunksjoner:
- midterm exam 2005, Oppgavene 2.1 og 2.3: finn "vanlige vektfunksjoner", helst monotone, som viser terminering
- midterm exam 2006, oppg 2.1 og 2.2
- final exam 2007, 1g.2
- midterm 2007, finnes det "vanlige" (hels...