El objetivo del programa de doctorado es formar investigadores en Lógica, proporcionando primero la formación básica que cualquier especialista en Lógica debe tener y desarrollando después las habilidades investigadoras de los doctorandos centrando la formación en las especialidades que cultivan los grupos de investigación que participan en el programa: Filosofía de la Matemática, Lógica Algebraica, Lógicas multivaloradas y Lógicas no Clásicas en general, Teoría de Conjuntos, y Teoría de Modelos. Las tesis doctorales se realizarán en alguno de estos campos.

Este Programa está coordinado por el Departamento de Lógica, Historia y Filosofía de la Ciencia de la Universitat de Barcelona (UB), y se realiza con la colaboración del Departamento de Matemática Aplicada II de la Universitat Politècnica de Catalunya (UPC), del Instituto de Investigación en Inteligencia Artificial del Consejo Superior de Investigaciones Científicas (IIIA-CSIC) y de la Institució Catalana de Recerca i Estudis Avançats (ICREA).

Este Programa ha recibido la Mención de Calidad por parte del Ministerio de Educación y Ciencia del Gobierno español (BOE 5/7/04).

El primer período es el de formación. Consta de un primer curso en el que deben cursarse un mínimo de 20 créditos eligiendo, con la aprobación del tutor, entre las asignaturas que figuran en la lista más adelante, y de un segundo curso en el que deben realizarse dos trabajos de iniciación a la investigación, de 6 créditos cada uno, bajo la dirección de dos de los profesores del programa. Los temas de los trabajos pertenecerán a las áreas de investigación de los grupos participantes en el programa. Todas las asignaturas tienen carácter optativo, pero los estudiantes que necesiten consolidar su formación básica en Lógica deberán cursar las dos asignaturas “a)” y la primera de las asignaturas “b)”.

En el segundo período se realiza la tesis doctoral en alguno de los campos de investigación mencionados más arriba. Por término medio se tarda entre dos y tres años en concluir la tesis doctoral.

Asignaturas del primer curso

Primer semestre (del 1 de octubre de 2004 al 31 de enero de 2005)

a) Fundamentos de lógica matemática I. (3 créditos). Prof. Joan Bagaria
b) Fundamentos de la teoría de conjuntos. (4 créditos). Prof. Ignacio Jané
c) Introducción a la lógica algebraica. (4 créditos). Profs. Ramon Jansana, Ventura Verdú
d) Álgebra universal y lógica. (4 créditos) Profs. Joan Gispert, Antoni Torrens
e) Lógicas para la inteligencia artificial.(4 créditos). Profs. Francesc Esteva, Pere García

Segundo semestre (del 15 de febrero de 2005 al 31 de mayo de 2005)

a) Fundamentos de lógica matemática II. (3 créditos). Prof. Joan Bagaria
b) Teoría de conjuntos. (4 créditos). Profs. Joan Bagaria, Juan Carlos Martínez
c) Teoría de modelos. (4 créditos). Profs. Enrique Casanovas, Rafael Farré
d) Computabilidad. (4 créditos). Prof. Raimon Elgueta
e) Lógica algebraica. (4 créditos). Prof. Josep Maria Font
f) Deducción automática. (4 créditos). Prof. Gonzalo Escalada

Trabajos de segundo curso

A elegir según los intereses del estudiante entre los temas que se propondrán hacia finales del primer curso, siempre en las áreas de investigación mencionadas más arriba.

Joan Bagaria (ICREA, UB): Teoría de conjuntos.
Enrique Casanovas (UB): Teoría de modelos.
Raimon Elgueta (UPC): Lógica algebraica, lógica computacional.
Gonzalo Escalada (IIIA-CSIC): Demostración automática.
Francesc Esteva (IIIA-CSIC): Lógicas multivaloradas, inteligencia artificial.
Rafel Farré (UPC): Teoría de modelos.
Josep Maria Font (UB): Lógica algebraica.
Pere Garcia (IIIA-CSIC): Lógicas multivaloradas, inteligencia artificial.
Joan Gispert (UB): Lógica algebraica, lógicas multivaloradas.
Ignacio Jané (UB): Filosofía de la teoría de conjuntos y de la lógica.
Ramon Jansana (UB): Lógica algebraica, lógica modal.
Juan Carlos Martínez (UB): Teoría de conjuntos, álgebras de Boole.
Antoni Torrens (UB): Lógica algebraica, lógicas multivaloradas.
Ventura Verdú (UB): Lógica algebraica, lógicas subestructurales.

Profesor Ramon Jansana
 
Dirección electrónica: jansana@mat.ub.es
 

Dirección postal:

Departamento de Lógica, Historia y Filosofía de la Ciencia, Universidad de Barcelona Baldiri i Reixach s/n, 08028 Barcelona, España

• Número de plazas disponibles: 16
• Fecha de inicio: 1 de Octubre de 2004.
• 1 crédito equivale aproximadamente a 10 horas de clase. Normalmente cada asignatura comprende alrededor de 2 horas de clase semanales.
• Se aconseja a los candidatos seriamente interesados que soliciten la admisión en el Programa enviando un curriculum vitae al Coordinador. Normalmente se recibirá una respuesta rápida. En caso de un número excesivo de solicitudes en firme la admisión se decidirá el 15 de Septiembre, teniendo en cuenta el curriculum.
• Información para estudiantes extranjeros:
  Según la normativa española sobre el doctorado, después de la aceptación en el programa por parte del Departamento se debe solicitar la admisión formal en la Universidad de Barcelona. Para ello se necesita enviar una carta de solicitud de admisión, junto con una copia (legalizada por vía diplomática) tanto del título de licenciado como del certificado académico, y una fotocopia compulsada de cada uno de estos documentos. Estos trámites pueden hacerse en Septiembre de 2004.

  PARA MÁS INFORMACIÓN POR FAVOR ESCRIBA AL COORDINADOR