729G06 Programmering och logik: Examination

Logik

• Logikdelen examineras genom en skriftlig salstentamen den 3 juni 2013.
• Omtentamen ges den 16 augusti 2013 kl. 8-12
• Tentamen genomförs utan hjälpmedel, men ni kommer att ha tillgång till följande översikt över de grundläggande naturliga deduktionsreglerna.

Programmering

• Programmeringsdelen examineras genom laborationer som görs i par och ett projekt som görs individuellt.

Deadlines för programmeringen

• Kompletteringsdeadline för labbar och projekt: 2013-05-31
• Uppsamlingstillfälle för labbar och projekt: 2013-08-05

Labbar och projekt som lämnas in efter uppsamlingstillfället rättas under kursomgången VT 2014.

Betyg på kursen

Delmoment

• På tentamen för Logik ges betygen Underkänd, Godkänd och Väl godkänd.
• På laborationerna ges endast betygen Underkänd och Godkänd.
• På programmeringsprojektet ges betygen Underkänd, Godkänd och Väl godkänd.

Kursbetyg

• För kursbetyget Godkänd krävs att alla tre delmomenten har betyget Godkänd.
• För kursbetyget Väl godkänd krävs betyget Väl godkänd på antingen logiktentamen eller programmeringsprojektet, samt att övriga momenten har minst betyget Godkänd.

Sidansvarig: Jody Foo
Senast uppdaterad: 2013-01-18