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  
 

ASIGNATURAS OFRECIDAS

Denominación Profesor(es) Semestre
Imatge de diagramaci
ASIGNATURAS FUNDAMENTALES (OBLIGATORIAS)
Calculabilidad   1  
Lógica matemática   2
Lógicas no clásicas   1
Teoría básica de conjuntos   1
Teoría básica de modelos   2
Imatge de diagramaci
Imatge de diagramaci
ASIGNATURAS OPTATIVAS
Álgebra universal   1
Complejidad   2   4
El desarrollo de la lógica formal   2  
Introducción a la lógica matemática   1
Lógica algebraica   2
Lógica algebraica abstracta   3  
Lógica modal   2  
Lógicas multivaloradas   3  
Modelos de la teoría de conjuntos   3
Orden, retículos i álgebras de Boole   1
Teoría avanzada de modelos   3
Teoría de conjuntos combinatoria   2
Teoría de la demostración y demostración automática     3    
Imatge de diagramaci

(*) La lista de asignaturas así como su distribución entre semestres, pueden sufrir alguna variación.

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