Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
30.08.2007 | Petter Kristiansen | Lille aud., Inf.bygget | Kapittel 20 | Vi starter med søking i strenger, kap 20 i læreboka. Underkap. 20.5 taes i forbindelse med neste tema (kap 9). Foiler |
06.09.2007 | Petter Kristiansen | Lille aud., inf.bygget | Kapittel 9 | Muligens noe avsluttende fra forrige uke, men hovesakelig om dynamisk programmering (kap. 9). I den forbindelse gjennomgås også underkap. 20.5. Foiler |
13.09.2007 | Stein Krogdahl | Lille aud., inf.bygget | Kap. 14 | Flyt i grafer. Matchinger i bipartite grafer. Foiler |
20.09.2007 | Petter Kristiansen | OBS OBS!! Alfa-Omega, NR, Inf.bygget, 4. etg. | Kap. 21 | Balanserte søketrær (Kap. 21). Noe stoff fra boka til Mark Allan Weiss (Boka brukt i INF 1020). Foiler |
27.09.2007 | Petter Kristiansen | Lille Aud., Inf. bygget | Noe stoff fra M.A. Weiss (Kap. 6 og 11) | Implementasjoner av prioritetskøer. Noe stoff fra boka til Mark Allan Weiss (Boka brukt i INF 1020). Foiler Notat om sortering. (For interesserte) |
04.10.2007 | Petter Kristiansen | Lille Aud., Inf. bygget | Kap. 10 og 23 | Søk: Dybde- og bredde-søk, priorites-søk og A*-søk. Foiler. A*-paperet skal finnes på bilioteket. (A Formal Basis for the Heuristic Determination of Minimum Cost Paths, Hart, Nisson, Raphael, 1968). D*-paperet. (Begge for interesserte) |
11.10.2007 | Underevisningfri uke | - | - | - |
18.10.2007 | Stein Krogdahl | Lille Aud., Inf.bygget | Slutten av kap 23: 23.4 og 23.5 | Avslutning av Branch and Bound, spilltrær, alfa-beta-avskjæring. Foiler |
25.10.2007 | Rune Djurhuus, Kathrine Hammervold og Øystein Haug Olsen | Store aud og Lille aud | Søking og sjakk | Siden det er "dagen@ifi" denne dagen anbefaler vi ett av foredragene der for første time, altså 14.10 - 15 (i Store aud): "Algoritmeperler i søk - teori og praksis" ved Kathrine Hammervold og Øystein Haug Olsen (FAST). Andre timen, fra 15.15 (i Lille aud) er det gjesteforelesning for vårt kurs ved Rune Djurhuus, om sjakkprogrammer. Foiler til Rune Djurhuus sitt sjakkforedrag |
01.11.2007 | Dino Karabeg | Lille aud, inf.bygget | Introduction. Uncomputability | Formal languages and Turing machines as models of 'problems' and 'solutions'. Proving that certain problems have no solutions. Turing's Theorem. Reductions. Foiler |
08.11.2007 | Dino Karabeg | Fyttes til rom 125 i "Veilabben" (Gaustadalleen 25, inngang fra "trikkebrua") | Intractability, NP-completeness | Classes P and NP-complete as models of 'properly solvable' and (very roughly) 'hard' or 'intractable'. Polynomial-time reductions. Cook's Theorem. Foiler |
15.11.2007 | Dino Karabeg | Lille aud., inf. bygget | Proving NP-completeness | Survey of basic NP-completeness proofs. Reducing diverse problems into each other in order to see their similarity. Foiler |
22.11.2007 | Dino Karabeg | Lille aud., inf. bygget | Coping with intractability | We cannot just give up on problems if they are difficult! We survey a number of techniques for dealing with complexity: approximation, probabilistic algorithms, parallel computing, heuristics...Foiler |
29.11.2007 | Alle | Gjennomgåelse av Prøve-eksamen (fjorårets eksamen). Svarforslag til prøveeksamen ligger her | ||
06.12.2007 | Gruppetimen er avlyst på grunn av sykdom | -- | -- | AVLYST: Gruppelærer vil være til stede og svare på spørsmål på tirsdag 4/12. NB: Han går igjen etter et kvarter om det ikke er flere spørsmål, så kom ved starten av gruppetiden! |
Undervisningsplan
Publisert 16. aug. 2007 17:15
- Sist endret 7. feb. 2020 16:01