Maestro en lógica
University of Gothenburg, Faculty of Humanities
Información clave
Ubicación del campus
Gothenburg, Suecia
Idiomas
Inglés
Formato de estudio
Mezclado
Duración
2 años
Ritmo
Tiempo completo
Tasas de matrícula
Solicitar información
Plazo de solicitud
Solicitar información
Fecha de inicio más temprana
Sep 2024
* Matrícula: contacta al departamento
becas
Explore oportunidades de becas para ayudar a financiar sus estudios
Introducción
Lógica, Programa de Maestría
La lógica se define tradicionalmente como el estudio de los aspectos formales del razonamiento válido, pero hoy muchos lógicos ven la lógica como un estudio más general de los sistemas formales y sus aplicaciones. Los marcos conceptuales y las herramientas desarrolladas por la investigación pura en la lógica moderna han encontrado muchas aplicaciones en diversas disciplinas estudiando lenguajes y sistemas formales, por ejemplo, ingeniería de software y lingüística computacional.
Como asignatura académica, la lógica es genuinamente interdisciplinaria y se ubica en el límite entre Filosofía, Matemáticas, Informática y Lingüística. El intercambio es activo y mutuamente beneficioso. La lógica es hoy en día un área internacional activa de estudio e investigación también en matemáticas, informática y lingüística.
El primer año del programa de dos años consiste principalmente en cursos obligatorios en los fundamentos teóricos de la lógica. El segundo año consiste en un ensayo de 30 hp y cursos electivos, donde usted, como estudiante, trabaja hacia un perfil especializado dentro del campo general de la lógica y sus aplicaciones.
Una serie de seminarios, Coloquio en Lógica, sobre aplicaciones de lógica, metodología e historia de la lógica se desarrollará en ambos años. También tendrá la oportunidad de asistir al seminario de investigación en lógica en el departamento. Como estudiante del programa, trabajará en estrecha colaboración con un entorno de investigación internacional y vigoroso.
Contenido del curso
- Completitud y Decidability
- Establecer teoría y lógica modal
- Teoría del modelo y teoría de la prueba
- Categoría Teoría y teorías formales de la verdad
Carrera después de la graduación
Los graduados estarán bien preparados para aplicar a Ph.D. programas en Lógica, Filosofía Teórica, Lingüística e Informática y tendrán competencia en el análisis de argumentos, bases de datos deductivas y la web semántica. Las opciones de carrera no académica incluyen ingeniería de software, tecnologías basadas en la web y el sector de tecnología de la información y la comunicación.
Requisitos
Licenciatura, al menos tres años de estudio a tiempo completo, en lógica, filosofía teórica, matemáticas, informática o lingüística.
3 razones para estudiar este programa
- Un entorno interdisciplinario que combina las matemáticas, la filosofía y la informática
- Participe en un ambiente de investigación internacional
- Elija módulos de cursos adecuados a sus antecedentes y objetivos académicos y profesionales
Periodos de aplicación para programas a partir del otoño.
Estudiantes internacionales sin ciudadanía UE / EEE
El principal período de solicitud para estudiantes internacionales es desde mediados de octubre hasta el 15 de enero para todos los programas que comienzan en otoño. Aplicar en href = "universityadmissions.se
Estudiantes sin movilidad / no asociados de la UE / EEE y estudiantes suecos
Si no necesita un permiso de residencia, la solicitud de otoño estará abierta del 15 de marzo a mediados de abril. Aplicar en href = "universityadmissions.se o en href =" antagning.se .
Tasas de matrícula
A los estudiantes que son ciudadanos de países fuera de la UE / EEA generalmente se les exige que paguen las tasas de matrícula. Las tasas de matrícula no se aplican a los ciudadanos de la UE / EEE. Para obtener información sobre los aranceles, comuníquese con el Departamento de Filosofía, Lingüística y Teoría de la Ciencia.