Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universitat de Barcelona MÀSTER EN LÒGICA PURA I APLICADA      2010 – 2012 Imatge de diagramaci
Català  Castellano English Imatge de diagramaci Màster interuniversitari  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
Index
Presentació
Requeriments i estructura acadèmica
Professorat
Assignatures
Admissió i matrícula
Calendari i horaris
Altres activitats
Doctorat
Novetats
Enllaços d'interès
Edició 2006–2008
Edició 2008–2010
 
 
Icona d'informaci Per a més
informació
escriviu a

jansanaIcona de correuub.edu
 

Imatge de diagramaci Imatge de diagramaci  
 

PROFESSORAT

Nom Institució Especialitat
Imatge de diagramaci
Albert Atserias LSI (UPC) Complexitat computacional, Teoria de models finits
Calixto Badesa LHFC (UB) Història de la lògica
Joan Bagaria ICREA - LHFC (UB) Teoria de conjunts
José Luis Balcázar LSI (UPC) Complexitat computacional
Maria Lluïsa Bonet LSI (UPC) Complexitat computacional, Teoria de la demostració
Félix Bou PLiE (UB) Lògica modal
Enrique Casanovas LHFC (UB) Teoria de models
Pilar Dellunde FIL (UAB) Teoria de models
Raimon Elgueta MA (UPC) Lògica algebraica i categorial
Francesc Esteva IIIA (CSIC) Lògiques borroses i intel·ligència artificial
Rafel Farré MA (UPC) Teoria de models
Josep Maria Font PLiE (UB) Lògica algebraica, lògiques no clàssiques
Pere Garcia IIIA (CSIC) Lògiques borroses i intel·ligència artificial
Joan Gispert PLiE (UB) Lògica algebraica, lògiques no clàssiques
Ignasi Jané LHFC (UB) Filosofia de la matemàtica
Ramon Jansana LHFC (UB) Lògica algebraica, lògiques no clàssiques
Joost J. Joosten LHFC (UB) Lògica modal, teoria de la prova
Juan Carlos Martínez PLiE (UB) Teoria de conjunts
Glyn Morrill LSI (UPC) Lingüística computacional
Antoni Torrens PLiE (UB) Lògica algebraica, lògiques no clàssiques
Ventura Verdú PLiE (UB) Lògica algebraica, lògiques no clàssiques
Imatge de diagramaci
Imatge de diagramaci

     
  Institucions
Imatge de diagramaci
  CSIC    Consell Superior d'investigacions Científiques
  FIL    Departament de Filosofia (UAB)
  ICREA    Institució Catalana de Recerca i Estudis Avançats
  IIIA    Institut d'investigació en Intel·ligència Artificial (CSIC)
  LHFC    Departament de Lògica, Història i Filosofia de la Ciència (UAB)
  LSI    Departament de Llenguatges i Sistemes Informàtics (UPC)
  MA    Departament de Matemàtica Aplicada II (UPC)
  PLiE    Departament de Probablilitat, Lògica i Estadística (UB)
  UAB    Universitat Autònoma de Barcelona
  UB    Universitat de Barcelona
  UPC    Universitat Politècnica de Catalunya

 

Grups de recerca

Tots els professors del Màster són investigadors en actiu. Molts d'ells estan integrats en grups de recerca institucionalitzats:

 
Imatge de diagramaci
Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
  © Universitat de Barcelona Webmaster: Josep Maria Font
Última actualització: 16/11/11