TDDD72 · 6 hp · Grundnivå (G1F) · Matematik, Datavetenskap
Logik
Ges · nästa start HT 2026
100 %
klarade senaste ordinarie tentan
TEN2 · 28 aug 2026 · 5 studenter
62 %
klarade ordinarie tentorna, alla tillfällen de senaste 5 åren
TEN2 · 58 studenter
77 %
Svårare än 77 % av kurserna på grundnivå
Jämfört med 874 kurser på samma nivå, ordinarie tentor de senaste tre läsåren. 58 studenter.
Ingår i 2 program
Tentamen
TEN2 Skriftlig salstentamen
- 5
- 4
- 3
- U
Ordinarie tentor
62 % godkända · 58 studenter
- 100 %5
- 58 %53
Omtentor
50 % godkända · 22 studenter
- 50 %22
- Klarar omtentan: 50 % (22 studenter), jämfört med 62 % (58 studenter) på ordinarie
- Får 4 eller 5: 30 % (80 studenter)
Övriga moment
Deltentor, inlämningar och laborationer. De ingår inte i siffrorna överst.
Tentamen
DIT1 Digital salstentamen
- 5
- 4
- 3
- U
Ordinarie tentor
93 % godkända · 223 studenter
- 88 %49
- 89 %57
- 98 %64
- 94 %53
Omtentor
76 % godkända · 38 studenter
- 75 %8
- 67 %9
- 83 %6
- 75 %8
- 86 %7
- Klarar omtentan: 76 % (38 studenter), jämfört med 93 % (223 studenter) på ordinarie
- Får 4 eller 5: 75 % (261 studenter)
Visa små tillfällen (4)
Tillfällen med färre än 5 studenter, ofta tillgodoräknanden eller specialtillfällen. De ingår inte i någon siffra på sidan.
- 50 %2
- 100 %1
- 100 %1
- 100 %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, Datavetenskap