Sök
Sök. Sökförslagen presenteras under sökrutan.
Sök
Sök kurser och program
English
Meny
Utbildning
Undersidor för Utbildning
Kurser och program
Välja utbildning
Bostad och ekonomi
Anmälan och antagning
Undersidor för Anmälan och antagning
Utbildning för yrkesverksamma
Undersidor för Utbildning för yrkesverksamma
Forskarutbildning
Kontakt
Forskning
Undersidor för Forskning
Starka forskningsmiljöer och områden
Forskningsprojekt
Avhandlingar och publikationer
Forskningsetik
Forskningsinfrastruktur
Forskarutbildning
Samverkan och innovation
Undersidor för Samverkan och innovation
Samverka kring forskning
Samverka kring utbildning
Innovation – så arbetar vi
Nätverk, partners och samarbeten
Remissvar
Undersidor för Remissvar
Om universitetet
Undersidor för Om universitetet
Vision mål strategier
Undersidor för Vision mål strategier
Organisation och styrning
Undersidor för Organisation och styrning
Forskningsfinansiering
Undersidor för Forskningsfinansiering
Universitetsområdet
Undersidor för Universitetsområdet
Akademiska traditioner
Undersidor för Akademiska traditioner
Historia
Undersidor för Historia
Kultur
Undersidor för Kultur
Jobba hos oss
Undersidor för Jobba hos oss
Kontakt och organisation
Undersidor för Kontakt och organisation
Kontakta universitetet
Undersidor för Kontakta universitetet
Registrator
För dig som är:
Student
Medarbetare
Alumn
Gå direkt till:
Bibliotek
Press
Nyheter
Kalendarium
Stöd Uppsala universitet
Stäng meny
Uppsala universitet
Utbildning
Kurs
Utbildning
Undersidor för Utbildning
Kurser och program
Välja utbildning
Bostad och ekonomi
Anmälan och antagning
Utbildning för yrkesverksamma
Forskarutbildning
Kontakt
Forskning
Undersidor för Forskning
Starka forskningsmiljöer och områden
Forskningsprojekt
Avhandlingar och publikationer
Forskningsetik
Forskningsinfrastruktur
Forskarutbildning
Samverkan och innovation
Undersidor för Samverkan och innovation
Samverka kring forskning
Samverka kring utbildning
Innovation – så arbetar vi
Nätverk, partners och samarbeten
Remissvar
Om universitetet
Undersidor för Om universitetet
Vision mål strategier
Organisation och styrning
Forskningsfinansiering
Universitetsområdet
Akademiska traditioner
Historia
Kultur
Jobba hos oss
Kontakt och organisation
Undersidor för Kontakt och organisation
Kontakta universitetet
Registrator
Automater och logik i modellering av IT-system
5 hp
Kurs, Grundnivå, 1DL500
Kursplan
Kursplan giltig från och med höstterminen 2019
Kursplan giltig från och med höstterminen 2014
Vad är en kursplan?
Litteraturlista
Litteraturlista giltig från och med höstterminen 2019
Litteraturlista giltig från och med vårterminen 2014
Till toppen
