Logik för dataloger, logik11

Senaste Nytt

• Omtentan blir den 8/6-2012 kl 9:00-11:00 i E52 och E53.
  
• Ett extra labbtillfälle blir erbjudet i juni under labbveckan, men  det går bra att kontakta kursassistenterna om de har tid att ställa upp innan dess.
• Extratentan är rättad. Tyvärr kom vi inte upp i dom nittiofem procent godkända som vi alla hoppats på. Men nittiofyra procent är inte så dåligt heller! Resultaten finns i Rapp och kommer snart in i Ladok.
• Här är kursvärderingssvaren.
• Och här är tentamenstexten.
• Här är tentan från 20 december 2011 samt lösningsmallen. Tentorna kan hämtas ut från CSC skolans studentexpedition.
• Andra labbuppgiften är nu publicerat (se Labbar). Den ska redovisas den 7+8/12.
• Kontrollskrivningen den 14/10 är nu rättat och inrapporterat i RAPP, och kan hämtas av från skolans studentexpedition. Lösningsförslag till både varianter finns vid studentexpeditionen (här är en handskriven lösningsförslag till variant A).
  
• Här är ett paket för att skriva bevis i naturlig deduktion i LaTeX som Andreas Lundblad har skrivit, med exempel från första labbupgiften, Figur 2.
• Här är kursens schema.
  
• Kursen administreras med systemet Rapp. Klick här för att logga i systemet.
  
• Kursen kräver programmeringskunskaper i Prolog motsvarande kursen DD1361 Programmeringsparadigm som (kan) läsas parallelt.

Kursenkät