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