DD1350 Logik för dataloger

Senaste Nytt

Redovisning av resterande labbuppgifter kan göras under labbveckan i juni 2013: i sal Gul den 10/6 kl 15-17 för Dilian och Karl, och den 12/6 kl 15-17 för Musard och Karl. Glöm inte att ställa sig i sima-kön!
Muntliga kompletteringen var den 5/6-2013 kl 9:00 i D33, medan Fx-kompletteringen var den 5/6-2013 kl 11:00 i D33.
Här är facit till omtentan den 30/5-2013. Tentorna är rättade och finns för avhämtning vid studentexpeditionen.
Här är rättningsmallen till tentan den 10/12. Tentorna finns för avhämtning vid studentexpeditionen.
Kontrollskrivningen är rättad och deponerad i CSC-studentexpeditionen. Här kommer mina handskrivna lösningsförslag till 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.
Här är kursens schema.
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: