• Imparte:
  • Modalidad:
    Presencial en Barcelona
  • Precio:
    Información no disponible
  • Comienzo:
    Información no disponible
  • Lugar:
    Gran Via de Les Corts Catalanes, 585
    Barcelona 08007
    España
  • Duración:
    90 ECTS
  • Idioma:
    El Curso se imparte en Inglés
  • Titulación:
    Título Oficial de Máster en Lógica Pura y Aplicada
  • Otras Convocatorias:

    Presentación

    El propósito de este máster es ofrecer formación avanzada en lógica, de tipo general, tanto en su vertiente pura como en la aplicada. Permitirá a los estudiantes que lo superen iniciarse en la investigación de los diversos temas centrales de la lógica, proseguir estudios superiores o ingresar en el mercado de trabajo.

    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.

    Programa

    Asignaturas Fundamentales (Obligatorias)
    Calculabilidad
    Lógica matemática
    Lógicas no clásicas
    Teoría básica de conjuntos
    Teoría básica de modelos

    Asignaturas Optativas
    Álgebra universal
    Complejidad
    El desarrollo de la lógica formal
    Introducción a la lógica matemática
    Lógica algebraica
    Lógica algebraica abstracta
    Lógica modal
    Lógicas multivaloradas
    Modelos de la teoría de conjuntos
    Orden, retículos i álgebras de Boole
    Teoría avanzada de modelos
    Teoría de conjuntos combinatoria
    Teoría de la demostración y demostración automática

    Publicidad

    Ver otros masters de...