Master in Logic

Logiikka, maisteriohjelma

Logiikka on perinteisesti määritelty pätevän päättelyn muodollisten näkökohtien tutkimiseksi, mutta nykyään monet logiikkalaiset pitävät logiikkaa yleisempiä muodollisten järjestelmien ja niiden sovellusten tutkimusta. Puhtaalla tutkimuksella kehitetyt käsitteelliset puitteet ja työkalut nykyaikaisessa logiikassa ovat löytäneet monia sovelluksia monilla eri aloilla, jotka opiskelevat virallisia kieliä ja järjestelmiä, esimerkiksi ohjelmistosuunnittelua ja laskennallista kielitietoa.

Koska akateeminen aihelogiikka on aidosti monitieteinen ja sijaitsee rajalla filosofian, matematiikan, tietojenkäsittelytieteen ja kielitieteen välillä. Vaihto on aktiivista ja molemminpuolista hyötyä. Logiikka on nykyään aktiivinen kansainvälinen tutkimus- ja tutkimusalue myös matematiikassa, tietojenkäsittelytieteessä ja kielitieteessä.

Kaksivuotisen ohjelman ensimmäinen vuosi koostuu lähinnä pakollisista kursseista logiikan teoreettisissa perusteissa. Toinen vuosi koostuu 30 hv: n esseistä ja valinnaisista opintojaksoista, joissa opiskelija työskentelee logiikan yleisen kentän ja sen sovellusten erikoisprofiilissa.

Logiikan logiikan, metodologian ja logiikan sovellusten seminaarisarja, Logic-keskustelu, käy läpi molempien vuosien. Sinulla on myös mahdollisuus osallistua tutkimuksen seminaari logiikka osastolla. Ohjelman opiskelijana työskentelet tiiviissä yhteistyössä kansainvälisen ja voimakkaan tutkimusympäristön kanssa.

Monica Havström

Kurssin sisältö

• Täydellisyys ja päättäväisyys
• Set Theory ja Modal Logic
• Model Theory and Proof Theory
• Luokka-teoria ja muodolliset totuudet

Ura valmistumisen jälkeen

Valmistuneet ovat hyvin valmistautuneita hakemaan Ph.D. logiikan, teoreettisen filosofian, kielitieteen ja tietojenkäsittelytieteen ohjelmat, ja niillä on kompetenssi argumentaalisessa analyysissä, deduktiivisissa tietokannoissa ja semanttisessa verkossa. Ei-akateemiset uravalinnat sisältävät ohjelmistosuunnittelun, web-pohjaisen teknologian sekä tieto- ja viestintätekniikan.

vaatimukset

Yliopistotutkinto, vähintään kolmivuotinen kokopäiväinen opiskelu, logiikka, teoreettinen filosofia, matematiikka, tietojenkäsittelytiede tai kielitiede.

3 syytä opiskella tätä ohjelmaa

1. Monitieteinen ympäristö yhdistää matematiikan, filosofian ja tietojenkäsittelyn
2. Osallistu kansainväliseen tutkimusympäristöön
3. Valitse kurssimoduulit, jotka sopivat taustaasi ja akateemisiin ja ammatillisiin tavoitteisiisi

Monica Havström

Syksyllä alkavien ohjelmien hakujaksoja

Kansainväliset opiskelijat ilman EU: n / ETA-kansalaisuutta
Kansainvälisten opiskelijoiden päähakemisaika on lokakuun puolivälissä 15. tammikuuta kaikille syksyllä alkaville ohjelmille. Käytä osoitteessa href = "universityadmissions.se

EU / ETA-vapaa liikkuvuus / ei-kumppanuusopiskelijat ja ruotsalaiset opiskelijat
Jos et tarvitse asuntolupaa, syksyn hakemus on avoinna 15. maaliskuuta - huhtikuun puolivälissä. Käytä osoitteessa href = "universityadmissions.se tai osoitteessa href =" antagning.se .

Lukukausimaksut

Opiskelijat, jotka ovat EU: n / ETA: n ulkopuolisten maiden kansalaisia, ovat yleensä velvollisia maksamaan lukukausimaksuja. Opintomaksuja ei sovelleta EU: n / ETA: n kansalaisiin. Lisätietoja lukukausimaksuista saa Filosofian, kielitieteen ja tieteen teorian yksiköstä.