Logik för dataloger, logik13

DD1350 Logik för dataloger

Senaste Nytt

Resterande labbar kan redovisas under skolans labbvecka i juni. Följ länken för att anmäla sig.
Här är omtentan den 2:a juni 2014 samt Musards handskrivet lösningsförslag.
Här är omtentan den 12:e mars 2014 samt handskrivet lösningsförslag.
Här är ordinarietentan den 17:e januari 2014 samt handskrivet lösningsförslag.
Statistiken är: A:23, B:17, C:28, D:35, E:61, Fx:28, F:17, av totalt 209 tentander.
Här är mina lösningsförslag till kontrolskrivningen, variant A och variant B.
Här är ett paket för att skriva bevis i naturlig deduktion i LaTeX som Andreas Lundblad har skrivit, med exempel.
Kursen administreras med systemet Rapp. Klick här för att logga i systemet. OBS: Studievägledaren har ansvaret att lägga i studenter i LADOK, och då hamnar man automatiskt i Rapp. Studentexpeditionen har ansvaret att överföra redan inlagda studenter till senare kursomgång. Lärarens ansvar är att stoppa i kursresultat.
Vi har obligatorisk tentaanmälan: information om hur man anmäler finns här.
Kursen kräver programmeringskunskaper i Prolog motsvarande kursen DD1361 Programmeringsparadigm som (kan) läsas parallelt.

Om ni vill påverka kursen under kursens gång eller ge anonym feedback till lärarna är ni välkomna att kontakta KAS:arna: