TDDD88 · Linköpings universitet
Logik
Ny kurs
Inga tentor än
Ladda upp dina tidigare tentor och få hjälp med att strukturera ditt studiematerial
Få dina tentauppgifter kategoriseradeBli guidad genom ditt studiematerialFå hjälp direkt med teori och tipsHåll koll på dina framsteg
HP
5
Språk
Engelska
Nivå
Grundnivå
Fakultet
Tekniska fakulteten
Institution
Institutionen för datavetenskap
Lärandemå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:
- 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, och skapa formella definitioner
- visa olika relationer mellan formler och mängder av formler
- förstå och applicera tekniker och algoritmer som är vanliga inom logik
- skriva logiskt korrekta formella bevis och bedöma om ett bevisförsök utgör ett korrekt bevis
Kursinnehåll
Formell syntax och semantik för propositions- och första ordningens logik. Koncept som konsistens, konsekvens och ekvivalens, samt bevis och refutationer av dessa egenskaper. Resonemang med formella bevissystem, tex resolution. Sundhet och fullständighet.
Förutsättningar
- Grundläggande diskret matematik
Litteratur
Saknas
Liknande kurser vid andra universitet
Gör som 15 000+ studenter och ta kontroll över ditt tentaplugg.
Kom igång gratis