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.

Programa ministrado em:
  • Inglês

Ver mais 4 programa(s) oferecido(s) por University of Gothenburg, Faculty of Arts »

Última atualização Outubro 20, 2018
Este curso é No câmpus
Data de início
Duration
2 anos
Período integral
Preço
- Matrícula: contate o departamento
Deadline
Solicitar Informações
for international students
Por local
Por data
Data de início
Data de término
Prazo para inscrição
Solicitar Informações
for international students
Location
Prazo para inscrição
Solicitar Informações
for international students
Data de término

Why study logic in Gothenburg, Sweden? Ali Enayat, Professor of Logic, gives you the answer.

We like Humanities – Just like you