Y-sektionens studienämnd är ansvariga för att informationen på guiden är aktuell. Om du hittar någonting som inte stämmer kan du mejla SNY.

Budgetår

Institution

IDA

Examinator

Johannes Klaus Fichte

Schemablock

Halvtermin
HT2: block 2

Huvudområden

Matematik
Datavetenskap

Nivå

G1F

Tidsfördelning

6,0HP
Schemalagd tid: 40 timmar
Självstudietid: 120 timmar

Innehåll

Formell syntax och semantik för propositions- och predikatlogik. Koncept som konsistens, konsekvens och ekvivalens, samt bevis och refutationer av dessa egenskaper. Resonemang med formella bevissystem, särskilt tablåer och resolution. Sundhet och fullständighet.

Mål

Kursens syfte är att studenterna ska skaffa sig en förståelse för logikens grundläggande begrepp och tillämpningar inom datavetenskap. Efter avslutad kurs ska studenten kunna:

  • diskutera skillnaderna mellan deduktiva och induktiva resonemang
  • förklara grundläggande begrepp i propositionell och första ordningens logik, såsom syntax och semantik
  • formulera satser och argument i symboler med ett formellt logiskt ramverk
  • visa olika relationer mellan formler oc mängder av formler
  • förstå och applicera tekniker och algoritmer som är vanliga inom logik

 

Examinationsmoment

DIT1 - 6,0 HP
Digital salstentamen (U, 3, 4, 5)

Examination

Betyg på delmoment/modul beslutas i enlighet med de bedömningskriterier som presenteras vid kursstart.

Organisation

De teoretiska grunderna gås igenom på föreläsningar och övas på lektioner.

Litteratur

Ben-Ari, Mordechai (2001) Mathematical Logic for Computer Science. ISBN 1-85233-319-7.

Kommentarer

Logga in för att kunna läsa och skriva kommentarer.