 |
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 |
|