bild
Skolan för
datavetenskap
och kommunikation
KTH / CSC / Kurser / DD1350 / logik12

Logik för dataloger, logik12

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.

Lärarteamet

  • Dilian Gurov (dilian snabela csc.kth.se) rum 4417, E-huset plan 4
  • Karl Palmskog (palmskog snabela kth.se)
  • Musard Balliu (musard snabela kth.se)
  • Benjamin Greschbach (bgre snabela csc.kth.se)
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:
  • Lars Larsson (lala snabela kth.se)
  • August Bonds (bonds snabela kth.se)

Kursenkät



Copyright © Sidansvarig: Dilian Gurov <dilian@csc.kth.se>
Uppdaterad 2012-08-16