Beskjeder
Det var faktisk noen som ?nsket ? jobbe med obligatorisk oppgave 3 denne uken, f?r studentenes p?skeferie starter p? torsdag. ?Oblig 3 inneholder deler av eksamen 2015 og 2018, og er fin trening. ?Innleveringsfrist 30. april. ?De kan l?ses allerede n? (selv om invarianter i prinsippet kun gjennomg?s 14/4 kan man gj?re det meste n?). ?
(Dette er ikke pensum, men har noen tanker om formelle metoder i AI-genererte programmers tidsalder.) ?Interessant fra Leonardo de Moura (tidligere Microsoft og n? p? AWS): When AI Writes the World’s Software, Who Verifies It?
Siden halvparten av f?rste forelesning g?r med til ? introdusere emnet, blir det ikke nok oppgaver til to dager etterp?. ?Derfor kj?rer vi ogs? forelesning p? torsdagen. ?Kanskje tar vi f?rst 15 minutters oppgavegjennomgang? ?Uansett, mest forelesning p? torsdag den f?rste undervisninguken.
Jeg har satt opp en tentativ timeplan, bl a basert p? fjor?ret. Denne planen er veldig tentativ/forel?pig, og det vil helt sikkert komme masse endringer, s? man b?r sjekke timeplanen ofte.
Hva er poenget med IN2100?
Poenget med emnet er ? modellere og analysere distribuerte datasystemer. Distribuerte systemer er systemer hvor flere noder/maskiner 篮球即时比分_nba比分直播-彩客网重点推荐er for ? f? til noe, typisk ved ? sende meldinger. Alle dagens st?rre datasystemer er distribuerte systemer. ? ?
Det viser seg at det er veldig mye vanskeligere ? forst? og designe distribuerte systemer enn vanlige "sekvensielle" systemer. Akkurat som en arkitekt lager modeller av st?rre bygninger f?r man begynner ? bygge dem, og analyserer modellene f?r bygging, p? samme m?te m? vi f?rst designe og modellere et komplekst datasystem, *f?r* designet implementeres. Det er design av slike systemer som er vanskelig; ikke ? implementere dem. Men for at et design skal kunne analyseres p? en seri?s m?te, m? det v?re en klar og éntydig modell, og det m? finnes analysemetoder som lar oss analysere et design (i stedet for ? bare ni-stirre p? et design...