Mistrz w logice

Logika, program magisterski

Logika tradycyjnie definiowana jest jako badanie formalnych aspektów prawidłowego rozumowania, ale dziś wielu logików postrzega logikę jako bardziej ogólne badanie systemów formalnych i ich zastosowań. Ramy koncepcyjne i narzędzia opracowane przez czyste badania w nowoczesnej logice znalazły wiele zastosowań w różnych dziedzinach nauki w zakresie języków i systemów formalnych, np. Inżynierii oprogramowania i lingwistyki komputerowej.

Logika przedmiotu akademickiego jest prawdziwie interdyscyplinarna i znajduje się na pograniczu filozofii, matematyki, informatyki i lingwistyki. Wymiana jest aktywna i wzajemnie korzystna. Logika jest obecnie aktywnym międzynarodowym obszarem badań i badań również w dziedzinie matematyki, informatyki i lingwistyki.

Pierwszy rok dwuletniego programu składa się głównie z obowiązkowych kursów z teoretycznych podstaw logiki. Drugi rok składa się z 30 esejów i zajęć fakultatywnych, w których jako student pracujesz w kierunku specjalistycznego profilu w ramach ogólnej dziedziny logiki i jej zastosowań.

Seria seminariów, Colloquium in Logic, na temat zastosowań logiki, metodologii i historii logiki będzie przebiegać przez oba lata. Będziesz mieć również możliwość uczestniczenia w seminarium badawczym w logice na wydziale. Jako student programu będziesz pracował w ścisłej współpracy z międzynarodowym i energicznym środowiskiem badawczym.

Monica Havström

Zawartość kursu

• Kompletność i rozstrzygalność
• Ustaw teorię i logikę modalną
• Teoria modelu i teoria dowodów
• Teoria kategorii i formalne teorie prawdy

Kariera po ukończeniu studiów

Absolwenci będą dobrze przygotowani do ubiegania się o przyjęcie do Ph.D. programy w logice, filozofii teoretycznej, językoznawstwie i informatyce i będą posiadać kompetencje w zakresie analizy argumentów, dedukcyjnych baz danych i sieci semantycznej. Do nieakademickich wyborów kariery należą inżynieria oprogramowania, technologie internetowe oraz sektor technologii informacyjno-komunikacyjnych.

Wymagania

Licencjat, co najmniej trzy lata studiów dziennych, w zakresie logiki, filozofii teoretycznej, matematyki, informatyki lub lingwistyki.

3 powody do studiowania tego Programu

1. Interdyscyplinarne środowisko łączące matematykę, filozofię i informatykę
2. Weź udział w międzynarodowym środowisku badawczym
3. Wybierz moduły kursu dopasowane do Twojego tła i celów akademickich i zawodowych

Monica Havström

Okresy aplikacji dla programów rozpoczynających się jesienią

Studenci zagraniczni nieposiadający obywatelstwa UE / EOG
Główny okres aplikacyjny dla studentów zagranicznych to od połowy października do 15 stycznia dla wszystkich programów rozpoczynających się jesienią. Złóż podanie na href = "universityadmissions.se

Wolni wnioskodawcy / studenci spoza UE i EOG oraz szwedzcy studenci
Jeśli nie potrzebujesz zezwolenia na pobyt, wniosek na jesień będzie otwarty od 15 marca do połowy kwietnia. Zastosuj na href = "universityadmissions.se lub at href =" antagning.se .

Czesne

Studenci, którzy są obywatelami krajów spoza UE / EOG, są na ogół zobowiązani do płacenia czesnego. Czesne nie mają zastosowania do obywateli UE / EOG. Aby uzyskać informacje na temat opłat za studia, prosimy o kontakt z Wydziałem Filozofii, Językoznawstwa i Teorii Nauki.