• 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

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...