Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universidad de Barcelona MÁSTER EN LÓGICA PURA Y APLICADA      2022 – 2024 Imatge de diagramaci
Català  Castellano  English Imatge de diagramaci Máster interuniversitario  UB UPC Imatge de diagramaci
Imatge de diagramació
Imatge de diagramacio
Imatge de diagramaci Imatge de diagramaci Imatge de diagramaci Imatge de diagramaci
Imatge de diagramaci
Índice
Presentación
Requisitos y estructura académica
Profesorado
Asignaturas
Calendario y horarios
Doctorado
Enlaces de interés
Edición 2006–2008
Edición 2008–2010
Edición 2010–2012
Edición 2012–2014
Edición 2014–2016
Edición 2016–2018
Edición 2018–2020
Edición 2020–2022
 
 
Icona d'informaci Para más
información
escriba a

jjoostenIcona de correuub.edu
 

Imatge de diagramaci Imatge de diagramaci  
 

PROFESORADO

Nombre Institución Especialidad
Imatge de diagramaci
Albert Atserias DCS (UPC) Complejidad computacional
Joan Bagaria ICREA - DMiI (UB) Teoría de conjuntos
Jose Luis Balcázar DCS (UPC Lógica en extracción de datos
Enrique Casanovas DMiI (UB) Teoría de modelos
Rafel Farré DMA (UPC) Teoría de modelos
Joan Gispert DMiI (UB) Lógicas multivaloradas
Ramon Jansana DF (UB) Lógica algebraica, lógicas no clásicas
Joost J. Joosten DF (UB) Teoría de la demostración y demostración automática
Juan Carlos Martínez DMiI (UB) Teoría de la demostración y demostración automática
Tommaso Moraschini DF (UB) Lógica algebraica abstracta
Imatge de diagramaci
Imatge de diagramaci

     
  Instituciones
Imatge de diagramaci
  ICREA    Institució Catalana de Recerca i Estudis Avançats
  DF    Departamento de Filosofía (UB)
  LSI    Departamento de Ciencias de la Computación (UPC)
  DMA    Departamento de Matemáticas (UPC)
  DMiI    Departamento de Matemáticas e Informática (UB)
  UB    Universidad de Barcelona
  UPC    Universidad Politécnica de Cataluña
     
   

 

Grupos de investigación

Todos los profesores del Máster son investigadores en activo. Muchos de ellos están integrados en grupos de investigación institucionalizados:

 
Imatge de diagramaci
Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
  © Universidad de Barcelona Webmaster: Francisco Murcia
Última actualización: 12/01/22