Información para el estudiante – Máster en Lógica Pura y Aplicada (bienal)

La finalidad del máster es ofrecer una formación avanzada en lógica, desde las vertientes tanto puras como aplicadas. Los graduados pueden lograr una posición perfecta para iniciar una carrera investigadora en lógica y áreas relacionadas. El curso también sirve como una preparación excelente para las oportunidades laborales que requieren un alto nivel de análisis y resolución de problemas.

Competencias generales

• Capacidad para llevar a cabo una investigación original en lógica y aplicar los conocimientos y habilidades adquiridos a nuevos entornos multidisciplinarios.


• Capacidad para presentar de manera clara, concisa y coherente las soluciones de los ejercicios y problemas.


• Capacidad para argumentar de manera correcta y justificar las afirmaciones con pruebas, de acuerdo con los criterios estándares de la investigación actual.


• Capacidad para hacer el trabajo final de máster.


• Capacidad para llevar a cabo las tareas de manera adecuada y eficiente para dar respuesta a los problemas propuestos en las diferentes asignaturas del máster.


• Capacidad para 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.


• Capacidad para hacer un uso eficiente de las tecnologías informáticas y audiovisuales para comunicar los resultados de un proyecto de investigación.
  

   

  
  
  

  Competencias específicas

  
  


• 
  

  Capacidad para resolver problemas de lógica de una manera entendedora y elegante.

  
  


• Dominio de los conceptos fundamentales de la lógica matemática.


• Capacidad para resolver los problemas relacionados con las materias del máster.


• Capacidad para aplicar los conceptos de la lógica contemporánea en el estudio de la historia de la lógica.


• Capacidad para 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.


• Capacidad para diseñar los tipos de algoritmos relacionados con el máster.


• Capacidad para comprender los artículos de la bibliografía científica relevante.


• Capacidad para formular conjeturas originales y significativas en varias áreas de la lógica.


• Capacidad para desarrollar una investigación original en alguna de las materias incluidas al máster.


• Dominio de las herramientas matemáticas que se aplican a las ramas especializadas de la lógica matemática.


• Conocimiento de un número amplio de lógicas no clásicas.


• Capacidad para interconectar herramientas semánticas, sintácticas y algebraicas para estudiar cualquier tipo de lógica.


• Capacidad para relacionar los temas de lógica tratados por los cursos con sus implicaciones filosóficas correspondientes.


• Capacidad para exponer de manera comprensible algunas de las tendencias actuales de la investigación en lógica matemática.