Master in Logic

Logika, magistro programa

Logika tradiciškai apibrėžiama kaip formalių pagrįstų samprotavimų aspektų tyrimas, tačiau šiandien daugelis logikų supranta logiką kaip bendresnį formalių sistemų ir jų taikymo tyrimą. Šiuolaikinės logikos tyrimais sukurtos koncepcinės struktūros ir priemonės atrado daugybę įvairių disciplinų, mokančių formalias kalbas ir sistemas, pvz., Programinės įrangos inžinerija ir skaičiavimo lingvistika.

Kadangi akademinio dalyko logika yra tikrai tarpdisciplininė ir yra tarp filosofijos, matematikos, informatikos ir lingvistikos sienos. Keitimasis yra aktyvus ir abipusiškai naudingas. Logika šiuo metu yra aktyvi tarptautinė mokymosi ir tyrimų sritis, taip pat matematikos, informatikos ir kalbotyros srityse.

Pirmieji dvejų metų programos metai iš esmės yra privalomi teorinių loginio pagrindo kursai. Antrus metus sudaro 30 literatūros esė ir pasirenkamuosius kursus, kuriuose jūs, kaip studentas, dirbsite specializuotame profilyje bendrame logikos ir jo taikymo srityse.

Seminaro ciklas, "Colloquium in Logic", apie logikos, metodikos ir logikos istoriją, prasidės per visus metus. Jūs taip pat turėsite galimybę dalyvauti tyrimo seminare logika departamentas. Būdama programos studentė, dirbate glaudžiai bendradarbiaudami su tarptautine ir energinga mokslinių tyrimų aplinka.

Monica Havström

Kurso turinys

• Išsamumas ir sprendžiamumas
• Nustatykite teoriją ir modalinę logiką
• Modelio teorija ir įrodymo teorija
• Kategorija teorija ir formalios teorijos tiesos

Karjera baigus studijas

Absolventai bus gerai pasiruošę kreiptis į Ph.D. programas "Logic", "Teorinė filosofija", "Lingvistika" ir "Informatika", ir turės kompetenciją argumentų analizėje, deduktyviosiose duomenų bazėse ir semantiniame tinkle. Ne akademinės karjeros pasirinkimas apima programinės įrangos inžineriją, internetines technologijas, taip pat informacinių ir ryšių technologijų sektorių.

Reikalavimai

Bakalauro laipsnis, bent trejų metų dieninės studijos, logika, teorinė filosofija, matematika, informatika arba kalbotyra.

3 priežastys studijuoti šią programą

1. Tarpdisciplininė aplinka, apimanti matematiką, filosofiją ir informatiką
2. Dalyvauti tarptautinėje mokslinių tyrimų aplinkoje
3. Pasirinkite kursų modulius, tinkančius jūsų fone, akademiniams ir profesiniams tikslams

Monica Havström

Paraiškų teikimo laikotarpiai programoms, prasidedančioms rudenį

Tarptautiniai studentai be ES / EEE pilietybės
Pagrindinis programos laikotarpis tarptautiniams studentams yra spalio viduryje iki sausio 15 d. Visoms programoms, prasidedančioms rudenį. Pateikite paraišką adresu href = "universityadmissions.se

ES, EEE, laisvas studentų ir partnerių studentai bei studentai iš Švedijos
Jei jums nereikia leidimo gyventi, prašymas rudenį bus atidarytas kovo 15 d. - balandžio viduryje. Pateikite paraišką adresu href = "universityadmissions.se arba href =" antagning.se .

Mokestis už mokslą

Studentai, kurie yra ES / EEE nepriklausančių šalių piliečiai, paprastai privalo mokėti mokesčius už mokslą. Studijų mokesčiai netaikomi ES / EEE piliečiams. Norėdami gauti informacijos apie mokesčius už mokslą, prašome kreiptis į Filosofijos, kalbotyros ir teorijos katedrą.