LÓGICA PURA Y APLICADA (convocatoria bienal de plazas)

Competencias
Competencias básicas y generales
- Ser original en contextos de investigación y aplicar los conocimientos y habilidades adquiridos a situaciones multidisciplinarias nuevas relacionadas con las áreas de estudio del máster.
- Presentar de manera clara, concisa y coherente las soluciones a los ejercicios y problemas de acuerdo con los estándares comunes actuales en la investigación.
- Argumentar de manera correcta y justificar las afirmaciones con pruebas de acuerdo con los criterios estándar en la investigación actual.
- Elaborar un proyecto de trabajo de máster y trabajos de características similares.
- Planificar adecuada y eficientemente el trabajo para la presentación de soluciones a los problemas propuestos en las diferentes asignaturas del máster.
- Planificar adecuadamente, en relación con el tiempo y el espacio disponibles, la exposición pública de un tema relacionado con la investigación.
- Utilizar de manera eficiente las tecnologías informáticas y audiovisuales actuales 'como el paquete Beamer en LaTeX' para exponer un tema de investigación en matemáticas.

Competencias específicas
- Realizar el tipo de demostraciones habituales en lógica, y exponerlas de manera comprensible y elegante.
- Demostrar dominio de los conceptos fundamentales de la lógica matemática.
- Resolver los tipos de problemas tratados en las materias del máster.
- Aplicar los conceptos de la lógica contemporánea al estudio de la historia de la lógica.
- Entender los conceptos técnicos necesarios para estudiar los argumentos que se emplean en filosofía de la matemática y de la lógica.
- Diseñar algoritmos del tipo que se trata en el máster.
- Comprender los artículos de la bibliografía científica relevante.
- Formular preguntas pertinentes para orientar la investigación en lógica.
- Desarrollar una investigación original en algunas materias similares a las tratadas en el máster.
- Dominar las herramientas matemáticas que se aplican a varias ramas especializadas de la lógica matemática.
- Mostrar conocimiento de un número amplio de lógicas no clásicas.
- Interconectar herramientas semánticas, sintácticas y algebraicas para estudiar todo tipo de lógicas.
- Relacionar los temas de lógica que se estudian con sus herramientas matemáticas y con sus implicaciones filosóficas correspondientes.
- Exponer de manera comprensible algunas tendencias actuales en la investigación en lógica matemática.
Imprimir la ficha del máster universitario