Uppsala universitet
Institutionen för lingvistik
Språkteknologiprogrammet
Leif-Jöran Olsson
Logikprogrammering I, vt 2002
kurssida
Kursplan
Innehåll
-
Presentation
-
Upplägg
-
Föreläsningar och labbar
-
Examination
-
Kurslitteratur
1 Presentation
Kursen ges i år av Leif-Jöran Olsson (LJO),
ljo@stp.ling.uu.se, rum 9-3046,
samt labbassistenterna Axel Hjälm (AH), axelh@stp.ling.uu.se och Markus Saers (MS), markuss@stp.ling.uu.se.
Se i övrigt kursplanen.
2 Upplägg
Kursens mål är att ge grundläggande kunskaper i logikbaserade
programmeringsmetoder, problemanalys, och att uppöva färdighet
i högnivåbeskrivningar och resonemang med hjälp av deklarativ
programmering.
Undervisningen består av föreläsningar, laborationer, handledning,
samt presentationer och diskussioner av inlämningsuppgifter.
Grupp ett = efternamn på A-K
Grupp två = efternamn på L-Ö
| F1 | on 24 apr | 10-12 | 16-0041 | Introduktion; dataobjekt | kap 1--2.4 |
| L1a | to 25 apr | 10-12 | 9-3036 | Prolog och Emacs - grupp ett | |
| L1b | fr 26 apr | 10-12 | 9-3036 | Prolog och Emacs - grupp två | |
| F2 | to 2 maj | 10-12 | 16-0042 | Generell sökstrategi och unifiering,
Problemlösning, Deklarativt/procedurellt, Seminariegrupper | |
| L2b | to 2 maj | 13-15 | 9-3036 | Sökrymder och unifiering - grupp två | |
| L2a | fr 3 maj | 10-12 | 9-3036 | Sökrymder och unifiering - grupp ett | |
| F3 | må 6 maj | 10-12 | 16-0041 | Listor, operatorer och aritmetik
Presentation av kursprojektsuppgifter | kap 3 |
| L3a | må 6 maj | 13-15 | 9-3036 | Listor och aritmetik - grupp ett | |
| L3b | ti 7 maj | 10-12 | 9-3036 | Listor och aritmetik - grupp två | |
| H1 | ti 7 maj | 13-15 | 9-3036 | Handledning 1 | |
| S1 | on 8 maj | 13-16 | 16-1058 | Seminarium | |
| F4 | må 13 maj | 10-12 | 16-0041 | Inmatning och utmatning | kap 6, 7 |
| L4b | må 13 maj | 15-17 | 9-3036 | Inmatning och utmatning, mittkursvärdering - grupp två | |
| L4a | ti 14 maj | 10-12 | 9-3036 | Inmatning och utmatning, mittkursvärdering - grupp ett | |
| H2 | ti 14 maj | 13-15 | 9-3036 | Handledning 2 | |
| F5 | on 15 maj | 13-15 | 16-0041 | Programmeringsmetodik: Abstraktion, datastrukturer, problemanalys och förenkling/generalisering | kap 4, 8.1-8.3 |
| L5b | to 16 maj | 10-12 | 9-3036 | Programmeringsmetodik och repetition - grupp två | |
| L5a | to 16 maj | 13-15 | 9-3036 | Programmeringsmetodik och repetition - grupp ett | |
| F6 | fr 17 maj | 10-12 | 16-0043 | Avlusning | kap 8.4 |
| L6a | ti 21 maj | 10-12 | 9-3036 | Avlusning - grupp ett | |
| H3 | ti 21 maj | 13-15 | 9-3036 | Handledning 3 | |
| L6b | on 22 maj | 10-12 | 9-3036 | Avlusning - grupp två | |
| F7 | to 23 maj | 10-12 | 16-0041 | Datastrukturer II | |
| F8 | to 23 maj | 13-15 | 16-0042 | Definite Clause Grammar | kap 21.1 |
| H4 | må 27 maj | 10-12 | 9-3036 | Handledning 4 | |
| H5 | ti 28 maj | 10-12 | 9-3036 | Handledning 5 | |
| H6 | to 30 maj | 10-12 | 9-3036 | Handledning 6 | |
| H7 | må 3 jun | 13-15 | 9-3036 | Handledning 7 | |
| S2a | on 5 jun | 10-12 | 16-0041 | Genomgång av kursprojekt (seminarium) - grupp ett | |
| S2b | on 5 jun | 13-15 | 16-0041 | Genomgång av kursprojekt (seminarium) - grupp två | |
| L8b | to 6 jun | 10-12 | 9-3036 | Definite Clause Grammar, kursvärdering - grupp två | |
| L8a | to 6 jun | 13-15 | 9-3036 | Definite Clause Grammar, kursvärdering - grupp ett | |
4 Examination
Kunskapskontroll sker genom inlämningsuppgifter och seminarier.
5 Kurslitteratur
Bratko, I. 1990 (2: a uppl). Prolog programming for artificial intelligence. Addison-Wesley
6 Övrigt
Prologtips för säker körning!
URL: http://stp.ling.uu.se/educa/kurssidor/lpI02/
Senast ändrad av Leif-Jöran Olsson 2002-06-04 08:50