Kurser i logik
Längre kurser på grundnivå
- LC1100: Grundkurs [ kursinfo ] 30 hp
- LC1200: Fortsättningskurs [ kursinfo ]30 hp
- LC1300: Fördjupningskurs [ kursinfo ] 30 hp
- LC1600: Matematikfilosofi, grundkurs [ kursinfo ] 30 hp
Kortare kurser på grundnivå
- LC1510: Formella språk [ kursinfo ] 7,5 hp
- LC1520: Fullständighet och avgörbarhet [ kursinfo ] 7,5 hp
- LC1530: Modallogik [ kursinfo ] 7,5 hp
- LC1540: Mängdteori [ kursinfo ] 7,5 hp
- LC1550: Modellteorins grunder [ kursinfo ] 7,5 hp
- LC1560: Modeller till mängdteorin [ kursinfo ] 7,5 hp
- LC1570: Rekursionsteori med tillämpningar [ kursinfo ] 7,5 hp
- LC1580: Modellteoretiska metoder [ kursinfo ] 7,5 hp
- LC1610: Matematikfilosofi 1 [ kursinfo ] 7,5 hp
- LC1620: Matematikfilosofi 2 [ kursinfo ] 7,5 hp
Kurser på avancerad nivå
- LC2000: Matematikfilosofi, avancerad nivå [ kursinfo ] 15 hp
- LC2100: Mängdteori, avancerad nivå [ kursinfo ] 15 hp
- LC2200: Modellteori, avancerad nivå [ kursinfo ] 15 hp
- LC2300: Metalogik och bevisteori, avancerad nivå [ kursinfo ] 15 hp
- LC2400: Rekursionsteori, avancerad nivå [ kursinfo ] 15 hp
- LC2500: Ickeklassiska logiker, avancerad nivå [ kursinfo ] 15 hp
- LC2600: Magisteruppsats [ kursinfo ] 30 hp
Nätbaserade kurser
(Se portalen för distanskurs för mer info.)- LC1710: Formella språk (nätbaserad) [ kursinfo ] 7,5 hp
Senast uppdaterad 20 aug 2009.