Master in de logica

Logica, masterprogramma

Logica wordt traditioneel gedefinieerd als de studie van formele aspecten van geldig redeneren, maar tegenwoordig zien veel logici logica als een meer algemene studie van formele systemen en hun toepassingen. De conceptuele kaders en hulpmiddelen ontwikkeld door puur onderzoek in moderne logica hebben veel toepassingen gevonden in verschillende disciplines die formele talen en systemen bestuderen, bijv. Software-engineering en computerlinguïstiek.

Omdat een academische vaklogica echt interdisciplinair is en zich op de grens tussen filosofie, wiskunde, informatica en linguïstiek bevindt. De uitwisseling is actief en wederzijds voordelig. Logica is tegenwoordig een actief internationaal gebied van studie en onderzoek, ook in wiskunde, informatica en taalkunde.

Het eerste jaar van het tweejarige programma bestaat voornamelijk uit verplichte vakken in de theoretische beginselen van de logica. Het tweede jaar bestaat uit een essay en keuzevakken van 30 pk, waarin je als student werkt aan een gespecialiseerd profiel binnen het algemene veld van de logica en de toepassingen ervan.

Een seminarreeks, Colloquium in Logic, over toepassingen van logica, methodologie en geschiedenis van logica zal beide jaren doorlopen. Je hebt ook de mogelijkheid om het onderzoeksseminarie in de logica bij te wonen op de afdeling. Als student van het programma werk je in nauwe samenwerking met een internationale en krachtige onderzoeksomgeving.

Monica Havström

Cursusinhoud

• Volledigheid en beslissingsvermogen
• Theorie en Modale Logica instellen
• Modelentheorie en bewijstheorie
• Categorietheorie en formele theorieën over waarheid

Carrière na het afstuderen

Afgestudeerden zullen goed voorbereid zijn om te solliciteren op Ph.D. programma's in de logica, theoretische filosofie, taalwetenschappen en computerwetenschappen en zal een competentie hebben in argumentanalyse, deductieve databases en het semantische web. Niet-academische loopbaankeuzes omvatten software-engineering, webgebaseerde technologieën en de sector informatie- en communicatietechnologie.

Vereisten

Undergraduate degree, ten minste drie jaar full-time studie, in de logica, theoretische filosofie, wiskunde, informatica of taalkunde.

3 redenen om dit programma te bestuderen

1. Een interdisciplinaire omgeving die wiskunde, filosofie en informatica combineert
2. Neem deel aan een internationale onderzoeksomgeving
3. Kies cursusmodules die geschikt zijn voor uw achtergrond en academische en professionele doelen

Monica Havström

Toepassingsperioden voor programma's die in de herfst beginnen

Internationale studenten zonder EU / EER-nationaliteit
De belangrijkste aanvraagperiode voor internationale studenten is van midden oktober tot 15 januari voor alle programma's die in het najaar starten. Solliciteer op href = "universityadmissions.se

EU / EER-studenten voor vrije verhuizer / niet-partner en Zweedse studenten
Als u geen verblijfsvergunning nodig heeft, is de aanvraag voor de herfst geopend van 15 maart tot medio april. Solliciteer op href = "universityadmissions.se of op href =" antagning.se .

Collegegeld

Studenten die onderdaan zijn van landen buiten de EU / EER zijn over het algemeen verplicht collegegeld te betalen. Collegegeld is niet van toepassing op EU / EER-burgers. Neem voor informatie over het collegegeld contact op met de afdeling Wijsbegeerte, Linguïstiek en Theorie van de wetenschappen.