Velkommen til IN5100_澳门皇冠体育,皇冠足球比分

peterol
2021-07-16T20:10:04.776Z
type:structured-message
www.uio.no

Hei,

dette emnet g?r for f?rste gangen i 2021, og vi h?per og regner med at det blir et interessant emne. Konkret innhold i emnet kommer senere, men en forel?pig plan er noe a la:

1. Repetisjon av omskrivningslogikk og Maude.

2. Se p? en internett- (transport-)protokoll publisert av en anerkjent forsker innen nettverk; modellere og analysere den i Maude, og se om vi kan knekke den. (Oblig 1)

3. Meta-programmering, ogs? oblig 2.

4. Sanntidssystemer

5. Probabilistiske systemer og statistisk modellsjekking (trenger ikke ? kunne statistikk)

6. (Muligens) Semantikk og analyse av programmeringsspr?k i Maude. Et veldig enkelt spr?k som skal ligne et spr?k som Java.

7. (Muligens) Internett-programmering med eksterne objekter som f eks sockets.

8. (For IN9100-studenter) Symbolske analysemetoder som narrowing og Maude-med-SMT.

Vi f?r neppe dek...