Engelskt namn: Fundations of Logic and Model Theory
Denna kursplan gäller: 2020-08-24 och tillsvidare
Kurskod: 5DV102
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: TH teknisk betygsskala
Ansvarig institution: Institutionen för datavetenskap
Beslutad av: teknisk-naturvetenskapliga fakultetsnämnden, 2009-03-24
Reviderad av: Teknisk-naturvetenskapliga fakultetsnämnden, 2020-08-20
Ben-Ari M.
Mathematical logic for computer science
3rd ed. : London : Springer : c2012. : xv, 346 p. :
ISBN: 9781447141280
Obligatorisk
Se bibliotekskatalogen Album
Ben-Ari Mordechai
Mathematical logic for computer science
2. uppl. : London : Springer : 2001 : xiv, 304 s :
ISBN: 1-85233-319-7
Obligatorisk
Se bibliotekskatalogen Album