Mestrado em Lógica

Geral

Descrição do programa

Lógica, Programa de Mestrado

A lógica é tradicionalmente definida como o estudo dos aspectos formais do raciocínio válido, mas hoje muitos lógicos vêem a lógica como um estudo mais geral dos sistemas formais e suas aplicações. As estruturas conceituais e as ferramentas desenvolvidas pela pesquisa pura na lógica moderna encontraram muitas aplicações em diversas disciplinas que estudam linguagens e sistemas formais, por exemplo, engenharia de software e linguística computacional.

Como uma lógica de disciplina acadêmica é genuinamente interdisciplinar e localizada na fronteira entre Filosofia, Matemática, Ciência da Computação e Lingüística. A troca é ativa e mutuamente benéfica. A lógica é hoje uma área internacional ativa de estudo e pesquisa também em matemática, ciência da computação e lingüística.

O primeiro ano do programa de dois anos consiste principalmente de cursos obrigatórios nos fundamentos teóricos da lógica. O segundo ano consiste em um curso de redação de 30 cavalos e disciplinas eletivas, onde você, como estudante, trabalha em direção a um perfil especializado dentro do campo geral da lógica e suas aplicações.

Uma série de seminários, Colloquium in Logic, sobre aplicações de lógica, metodologia e história da lógica será executada nos dois anos. Você também terá a oportunidade de participar do seminário de pesquisa em lógica no departamento. Como aluno do programa, você trabalhará em estreita colaboração com um ambiente de pesquisa internacional e vigoroso.

Conteúdo do curso

  • Completude e Decidabilidade
  • Definir Teoria e Lógica Modal
  • Teoria dos Modelos e Teoria da Prova
  • Teoria da Categoria e Teorias Formais da Verdade

Carreira após a formatura

Os graduados estarão bem preparados para se candidatarem ao Ph.D. programas em Lógica, Filosofia Teórica, Linguística e Ciência da Computação e terá competência em análise de argumentos, bancos de dados dedutivos e web semântica. Escolhas de carreira não acadêmicas incluem engenharia de software, tecnologias baseadas na web, bem como o setor de tecnologia da informação e comunicação.

Requisitos

Licenciatura, pelo menos, três anos de estudo em tempo integral, em lógica, filosofia teórica, matemática, ciência da computação ou linguística.

3 razões para estudar este programa

  1. Um ambiente interdisciplinar que combina matemática, filosofia e ciência da computação
  2. Participe de um ambiente de pesquisa internacional
  3. Escolha módulos de curso adequados ao seu histórico e metas acadêmicas e profissionais

Períodos de aplicação para programas a partir do outono

Estudantes internacionais sem cidadania EU / EEA
O principal período de inscrição para estudantes internacionais é de meados de outubro a 15 de janeiro para todos os programas que começam no outono. Inscreva-se em href = "universityadmissions.se

Movimento livre da UE / EEE / estudantes não-parceiros e estudantes suecos
Se você não precisar de uma autorização de residência, a inscrição para o outono estará aberta de 15 de março a meados de abril. Inscreva-se em href = "universityadmissions.se ou em href =" antagning.se .

Propinas

Alunos que são cidadãos de países fora da UE / EEA geralmente são obrigados a pagar propinas. As propinas não se aplicam aos cidadãos da UE / EEE. Para obter informações sobre as mensalidades, entre em contato com o Departamento de Filosofia, Lingüística e Teoria da Ciência.

Última atualização Outubro 2018

Sobre a escola

The arts provide insight and understanding – Faculty of Arts in Gothenburg. We devote ourselves to research and education with a focus on how we as humans relate to our own lives, to other people, to ... Ler Mais

The arts provide insight and understanding – Faculty of Arts in Gothenburg. We devote ourselves to research and education with a focus on how we as humans relate to our own lives, to other people, to the unfamiliar and to history. Ler Menos