TDDD72 · 6 hp · Grundnivå (G1F) · Matematik, Datavetenskap
Logik
Ges · nästa start HT 2026
62 %
klarar ordinarie tentan
TEN2 · ordinarie tillfällen sedan 2026 · 58 studenter
De flesta klarar tentan första gången.
- Senaste ordinarie
- 100 %28 aug 2026 · 5 studenter
- Omtentor
- 50 %22 skrivningar
- Får 4 eller 5
- 30 %
- Svårare än
- 77 %av kurserna på grundnivå
TEN2 per kursomgång
Ordinarie tentan och omtentorna efter den.
- 5
- 4
- 3
- Omtentor
Stapelns höjd är andelen godkända. Peka på en stapel för exakta antal per betyg.
Ingår i 2 program
Moment och alla tillfällen
Kursen har 2 moment. Siffrorna överst gäller TEN2, det moment flest skriver.
Tentamen · huvudtentan
TEN2 Skriftlig salstentamen
- 5
- 4
- 3
- U
62 %klarar ordinarie · 58 studenter
50 %klarar omtentan · 22 studenter
30 %får 4 eller 5
| Datum | Typ | Betyg | Godkända | Studenter |
|---|---|---|---|---|
| Kursomgång aug 2026 | ||||
| Ordinarie | Ordinarie få skrivande | 100 % | 5 | |
| Kursomgång jan 2026 · ordinarie och 1 omtenta | ||||
| Ordinarie | Ordinarie | 58 % | 53 | |
| Omtenta | Omtenta | 50 % | 22 | |
Omtentor räknas till kursomgången vars ordinarie tenta de följer.
Tentamen
DIT1 Digital salstentamen
93 %klarar ordinarie · 223 studenter
76 %klarar omtentan · 38 studenter
75 %får 4 eller 5
DIT1 per kursomgång
Ordinarie tentan och omtentorna efter den.
- 5
- 4
- 3
- Omtentor
Stapelns höjd är andelen godkända. Peka på en stapel för exakta antal per betyg.
| Datum | Typ | Betyg | Godkända | Studenter |
|---|---|---|---|---|
| Kursomgång jan 2025 · ordinarie och 2 omtentor | ||||
| Ordinarie | Ordinarie | 88 % | 49 | |
| Omtenta | Omtenta få skrivande | 67 % | 9 | |
| Omtenta | Omtenta få skrivande | 75 % | 8 | |
| Kursomgång jan 2024 · ordinarie och 1 omtenta | ||||
| Ordinarie | Ordinarie | 89 % | 57 | |
| Omtenta | Omtenta få skrivande | 83 % | 6 | |
| Kursomgång jan 2023 · ordinarie och 1 omtenta | ||||
| Ordinarie | Ordinarie | 98 % | 64 | |
| Omtenta | Omtenta få skrivande | 75 % | 8 | |
| Kursomgång jan 2022 · ordinarie och 1 omtenta | ||||
| Ordinarie | Ordinarie | 94 % | 53 | |
| Omtenta | Omtenta få skrivande | 86 % | 7 | |
Omtentor räknas till kursomgången vars ordinarie tenta de följer.
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.
- 2
- 1
- 1
- 2
Om kursen
TDDD72 Logik är en kurs vid Linköpings universitet (6 hp, grundnivå). Sedan 2026 har 62 % av 58 studenter klarat den ordinarie tentan, vilket gör den svårare än 77 % av kurserna på grundnivå. På den senaste ordinarie tentan (28 aug 2026) klarade 100 % av 5 studenter. Uppdaterad 20 okt 2026
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