• Imparte:
  • Modalidad:
    Presencial en Barcelona
  • Precio:
    Información no disponible
  • Comienzo:
    Septiembre 2017
  • Lugar:
    C/ Jordi Girona, 31
    Barcelona 08034
    España
  • Duración:
    90 ECTS
  • Idioma:
    El Curso se imparte en Inglés
  • Titulación:
    Título Oficial de Master´s degree in Pure and Applied Logic
  • Otras Convocatorias:

    Presentación

    Este máster proporciona una sólida base en el ámbito de la lógica avanzada, pura y aplicada. El programa del máster abarca áreas muy diversas que van desde la lógica y las aplicaciones matemáticas hasta la informática, la inteligencia artificial y la lingüística computacional. Además, ofrece dos asignaturas de fundamentos para quienes necesiten una introducción básica a la lógica o a las matemáticas.

    Requisitos

    Acceso a las enseñanzas oficiales de Máster

    1. Para acceder a las enseñanzas oficiales de Máster será necesario estar en posesión de un título universitario oficial español u otro expedido por una institución de educación superior del Espacio Europeo de Educación Superior que facultan en el país expedidor del título para el acceso a enseñanzas de máster.

    2. Así mismo, podrán acceder los titulados conforme a sistemas educativos ajenos al Espacio Europeo de Educación Superior sin necesidad de la homologación de sus títulos, previa comprobación por la Universidad de que aquellos acreditan un nivel de formación equivalente a los correspondientes títulos universitarios oficiales españoles y que facultan en el país expedidor del título para el acceso a enseñanzas de postgrado. El acceso por esta vía no implicará, en ningún caso, la homologación del título previo de que esté en posesión el interesado, ni su reconocimiento a otros efectos que el de cursar las enseñanzas de Máster.

    Dirigido

    A personas que estén interesadas en profundizar sus conocimientos en lógica pura y aplicada, y que cumplan los requisitos generales y específicos de acceso.

    Programa

    Obligatories
    First Semester
    Basic Set Theory
    Computability
    Non-Classical Logics
    Second Semester
    Basic Model Theory
    Mathematical Logic

    Optional
    First Semester
    Introduction to Mathematical Logic
    Order, Lattices and Boolean Algebras
    Universal Algebra

    Second Semester
    Algebraic Logic
    Combinatorial Set Theory
    Proof Theory, and Automated Theorem Proving
    The Development of Formal Logic

    Third Semester
    Many-Valued Logics
    Modal Logic
    Models of Set Theory
    Abstract Algebraic Logic
    Advanced Model Theory
    Complexity

    Salidas profesionales

    Este máster promueve la adquisición de las habilidades necesarias para el ámbito profesional o para seguir una carrera académica: creatividad, análisis de situaciones complejas, innovación, capacidades de aprendizaje, capacidades de investigación y toma de decisiones estratégicas. También promueve otras habilidades y valores como la comunicación eficaz, el trabajo en equipo y la ética profesional.

    Competencias

    Asumir tareas de investigación y transferencia de conocimiento en el mundo profesional.
    Iniciar una carrera académica en el mundo de la investigación, y concretamente iniciar un doctorado en Lógica de nivel internacional.

    Publicidad

    Ver otros masters de...