2005/2006 - Teknisk-naturvetenskapliga fakulteten - Uppsala ...

UPPSALA UNIVERSITET STUDIEHANDBOK 2005/2006Uppsala tekniska högskolaCivilingenjörsprogrammenKursplanerProgrammeringsteori, 5 poängProgramming Theory1DT648Kursplanen är fastställd 1994-05-18 av teknisk-naturvetenskapliga fakultetsnämnden och senastreviderad 2004-04-28 av teknisk- naturvetenskapliga fakultetsnämndenKursens placering i utbildningsprogramKursen ges inom Civilingenjörsprogrammet i informationsteknologiKursen ges inom Datavetenskapligt programKursen ges som Fristående kursStudieperiod : Kursen ges i period IT 41Mål för utbildningenKursen ska ge kunskap i teori och metodik för konstruktion och verifiering av program.Kursens innehållMetoder för att konstruera korrekta program. Specifikation och verifiering av program. Metoderför att avgöra och hitta invarianter. Svagaste förvillkor.Särskild behörighet20 poäng Datavetenskap och 20 poäng matematik inkl Semantik och principer förprogrammeringsspråk.UndervisningsformFöreläsningar, lektioner, laborationer.ExaminationsformKursen är uppdelad i en teoridel omfattande 3 poäng och en mer praktisk del omfattande 2poäng.Kursen examineras i enlighet med information given vid kursstart och innehåller muntlig ellerskriftlig tentamen och obligatoriska uppgifter.Betyg : Som betyg på kursen används något av uttrycken väl godkänd, godkänd ellerunderkänd.Övriga föreskrifterKursen passar in i Naturvetarprogrammet, 160 poäng.Kursen får ej tillgodoräknas i examen tillsammans med kursen 2AD094 Programteori.KurslitteraturGries, D.: The Science of Programming, Springer-Verlag, 1981.Kompendium.Nivå : Kursen ges på C-nivåÄmne : Kursen ges inom huvudämnet DatavetenskapKursansvarig institutionInstitutionen för informationsteknologi395