TDDD88 · 5 hp · Grundnivå (G1F) · Matematik, Datateknik, Datavetenskap
Logik
Ges · nästa start HT 2026
50 %
klarade senaste ordinarie tentan
TEN2 · 28 aug 2026 · 6 studenter
63 %
klarade ordinarie tentorna, alla tillfällen de senaste 5 åren
TEN2 · 63 studenter
75 %
Svårare än 75 % av kurserna på grundnivå
Jämfört med 874 kurser på samma nivå, ordinarie tentor de senaste tre läsåren. 63 studenter.
Ingår i 2 program
Tentamen
TEN2 Skriftlig salstentamen
- 5
- 4
- 3
- U
Ordinarie tentor
63 % godkända · 63 studenter
- 50 %6
- 65 %57
Omtentor
78 % godkända · 27 studenter
- 78 %27
- Klarar omtentan: 78 % (27 studenter), jämfört med 63 % (63 studenter) på ordinarie
- Får 4 eller 5: 26 % (90 studenter)
Visa små tillfällen (1)
Tillfällen med färre än 5 studenter, ofta tillgodoräknanden eller specialtillfällen. De ingår inte i någon siffra på sidan.
- 100 %2
Övriga moment
Deltentor, inlämningar och laborationer. De ingår inte i siffrorna överst.
Tentamen
DIT1 Digital salstentamen
- 5
- 4
- 3
- U
Ordinarie tentor
96 % godkända · 269 studenter
- 93 %67
- 99 %73
- 98 %65
- 92 %64
Omtentor
95 % godkända · 19 studenter
- 100 %8
- 83 %6
- 100 %5
- Klarar omtentan: 95 % (19 studenter), jämfört med 96 % (269 studenter) på ordinarie
- Får 4 eller 5: 83 % (288 studenter)
Visa små tillfällen (5)
Tillfällen med färre än 5 studenter, ofta tillgodoräknanden eller specialtillfällen. De ingår inte i någon siffra på sidan.
- 100 %2
- 100 %4
- 100 %2
- 75 %4
- 100 %1
Tentamen
TEN1 En skriftlig tentamen
- 4
- U
Inga tillfällen med minst 5 studenter.
Visa små tillfällen (2)
Tillfällen med färre än 5 studenter, ofta tillgodoräknanden eller specialtillfällen. De ingår inte i någon siffra på sidan.
- 100 %1
- 50 %2
Om kursen
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:
- 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
Innehå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.
- Examinator
- Johannes Klaus Fichte
- Schemalagd tid
- 40 h
- Huvudområde
- Matematik, Datateknik, Datavetenskap