Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universidad de Barcelona MÁSTER EN LÓGICA PURA Y APLICADA      2006 – 2008 Imatge de diagramaci
Català  Castellano  English Imatge de diagramaci Máster interuniversitario  UB UPC Imatge de diagramaci
Imatge de diagramació
imatge de diagramació Imatge de diagramació
Imatge de diagramaci Imatge de diagramaci Imatge de diagramaci Imatge de diagramaci
Imatge de diagramaci
Índice
Presentación
Estructura académica
Profesorado
Asignaturas
Admisión y matrícula
Calendario y horarios
Otras actividades
Doctorado
Novedades
Enlaces de interés
Edición 2008–2010
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 PLE (UB) Lógica algebraica, lógicas no clásicas
Pere Garcia IIIA (CSIC) Lógicas borrosas e inteligencia artificial
Joan Gispert PLE (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 PLE (UB) Teoría de conjuntos
Glyn Morrill LSI (UPC) Lingüística computacional
Antoni Torrens PLE (UB) Lógica algebraica, lógicas no clásicas
Ventura Verdú PLE (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
  ICREA    Institució Catalana de Recerca i Estudis Avançats
  IIIA    Instituto de Investigación en Inteligencia Artificial
  LHFC    Departamento de Lógica, Historia y Filosofía de la Ciencia
  LSI    Departamento de Lenguajes y Sistemas Informáticos
  MA    Departamento de Matemática Aplicada II
  PLE    Departamento de Probabilidades, Lógica y Estadística
  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: 22/5/07