Tillämpad logik
10 hp
Litteraturlista, Avancerad nivå, 1MA058
Huvudgrupp 1
- Huth, Michael; Ryan, Mark, Logic in computer science: modelling and reasoning about systems, 2. ed., Cambridge, Cambridge Univ. Press, 2004Obligatorisk
* Obligatorisk
Kursplan
- Kursplan giltig från och med vårterminen 2019
- Kursplan giltig från och med höstterminen 2013
- Kursplan giltig från och med höstterminen 2011
- Kursplan giltig från och med höstterminen 2008, version 2
- Kursplan giltig från och med höstterminen 2008, version 1
- Kursplan giltig från och med höstterminen 2007, version 2
- Kursplan giltig från och med höstterminen 2007, version 1