Engelskt namn: CS4: Logic for computer science
Denna kursplan gäller: 2015-05-11 och tillsvidare
Kurskod: 5DV163
Högskolepoäng: 7,5
Utbildningsnivå: Grundnivå
Huvudområden och successiv fördjupning:
Datavetenskap: Grundnivå, har mindre än 60 hp kurs/er på grundnivå som förkunskapskrav
Betygsskala: För denna kurs ges betygen VG Väl godkänd, G Godkänd, U Underkänd
Ansvarig institution: Institutionen för datavetenskap
Beslutad av: Teknisk-naturvetenskapliga fakultetsnämnden, 2014-08-19
Logic in computer science : modelling and reasoning about systems
Huth Michael, Ryan Mark
2. ed. : Cambridge : Cambridge Univ. Press : 2004 : xiv, 427 s. :
ISBN: 0-521-54310-X
Se bibliotekskatalogen Album
Läsanvisning: Kan även ha ISBN 9780521543101
Material som tillhandahålls av institutionen/Material provided by the department
Inst för datavetenskap/Dept. of Computing Science :