Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universidad de Barcelona MÁSTER EN LÓGICA PURA Y APLICADA      2008 – 2010 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
Admisión y matrícula
Calendario y horarios
Otras actividades
Doctorado
Novedades
Enlaces de interés
Edición 2006–2008
Edición 2010–2012
 
 
Icona d'informaci Para más
información
escriba a

jansanaIcona de correuub.edu
 

Imatge de diagramaci Imatge de diagramaci  
 

PROFESORADO

Nombre Institución Especialidad
Imatge de diagramaci
Albert Atserias LSI (UPC) Complejidad computacional, Teoría de modelos finitos
Calixto Badesa LHFC (UB) Historia de la lógica
Joan Bagaria ICREA - LHFC (UB) Teoría de conjuntos
José Luis Balcázar LSI (UPC) Complejidad computacional
Maria Lluïsa Bonet LSI (UPC) Complejidad computacional, Teoría de la demostración
Enrique Casanovas LHFC (UB) Teoría de modelos
Pilar Dellunde FIL (UAB) Teoría de modelos
Raimon Elgueta MA (UPC) Lógica algebraica y categorial
Francesc Esteva IIIA (CSIC) Lógicas borrosas e inteligencia artificial
Rafel Farré MA (UPC) Teoría de modelos
Josep Maria Font PLiE (UB) Lógica algebraica, lógicas no clásicas
Pere Garcia IIIA (CSIC) Lógicas borrosas e inteligencia artificial
Joan Gispert PLiE (UB) Lógica algebraica, lógicas no clásicas
Ignasi Jané LHFC (UB) Filosofía de la matemática
Ramon Jansana LHFC (UB) Lógica algebraica, lógicas no clásicas
Juan Carlos Martínez PLiE (UB) Teoría de conjuntos
Glyn Morrill LSI (UPC) Lingüística computacional
Antoni Torrens PLiE (UB) Lógica algebraica, lógicas no clásicas
Ventura Verdú PLiE (UB) Lógica algebraica, lógicas no clásicas
Imatge de diagramaci
Imatge de diagramaci

     
  Instituciones
Imatge de diagramaci
  CSIC    Consejo Superior de Investigaciones Científicas
  FIL    Departamento de Filosofía (UAB)
  ICREA    Institució Catalana de Recerca i Estudis Avançats
  IIIA    Instituto de Investigación en Inteligencia Artificial (CSIC)
  LHFC    Departamento de Lógica, Historia y Filosofía de la Ciencia (UB)
  LSI    Departamento de Lenguajes y Sistemas Informáticos (UPC)
  MA    Departamento de Matemática Aplicada II (UPC)
  PLiE    Departamento de Probabilidades, Lógica y Estadística (UB)
  UAB    Universidad Autónoma de Barcelona
  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: Josep Maria Font
Última actualización: 01/07/08