 |
| Kursinformation |
|
| Fullständigt namn: |
|
Logik med tillämpningar |
|
| Engelskt namn: |
|
Logic with Applications |
|
| Ansvarig institution: |
|
Institutionen för datavetenskap |
|
| Ämne: |
|
Datavetenskap |
|
| Utbildningsområde: |
|
Teknik |
|
| Nivå: |
|
B |
|
| Omfattning: |
|
5 poäng |
|
| Litteratur: |
|
John J Kelly, The Essence of Logic, Printice-Hall, 1997 |
|
| Förkunskapskrav: |
|
För tillträde till kursen krävs, förutom allmän behörighet, kurserna Diskret matematik, 6 p (MATA58), Programmeringsmetodik, 8 p (TDBA28) och Datastrukturer och algoritmer, 5 p (TDBA36) eller motsvarande kunskaper. |
|
| Mål och innehåll: |
|
Kursens mål är att:
· ge grundläggande kunskaper om och förståelse för formella logiska system
· ge grundläggande kunskaper i dess tillämpningar, exemplifierat med teorembevisning, tillämpningar inom AI samt logikprogrammering (i språket Prolog).
Moment 1, teoridel, 3 poäng
Predikatlogik med begrepp som syntax, semantik, bevis, sundhet och fullständighet, likhet, Horn-formler, unifiering och resolution.
Exempel på tillämpningar, bland annat teorembevisning, svarsextraktion och logikprogrammering där kursen tar upp Prolog med databasprogrammering, rekursiv programmering, icke-deterministisk programmering, semantik för logikprogram, partiella datastrukturer och programmeringsstil.
Moment 2, laborationsdel, 2 poäng
Delmomentet utgörs av en laborationskurs med ett antal obligatoriska inlämningsuppgifter |
|
