DD1351 · Kungliga Tekniska högskolan
Logik för dataloger
44 tentor15 ämnen223 uppgifter
Kursinnehåll
Bevissystem
7 uppgifter
CTL
22 uppgifter
Induktion
5 uppgifter
Modeller
22 uppgifter
PL - Naturlig deduktion
35 uppgifter
Vad ingår?
223 uppgifter
Sorterat efter ämne och svårighet, direkt från tentor.
44 tentor med lösningar
Alla tidigare tentor samlade, öva på riktiga examensfrågor.
AI-handledare (KAI)
Få steg-för-steg-hjälp dygnet runt, skräddarsydd för den här kursen.
0 studieplaner
Personliga studieplaner som anpassar sig till dina framsteg.
Generera tester
Skapa anpassade övningstester baserat på ämne och svårighet.
Framstegsanalys
Se vad du vet, vad du behöver granska och vad som finns kvar.
Liknande kurser vid andra universitet
Gör som 15 000+ studenter och ta kontroll över ditt tentaplugg.
Kom igång gratis