L'objectiu del programa de doctorat és formar investigadors en Lògica, proporcionant primer la formació bàsica que tot especialista en Lògica ha de tenir, i desenvolupant després les habilitats investigadores dels doctorands centrant la formació en les especialitats dels grups de recerca que participen al Programa: Filosofia de la Matemàtica, Lògica Algebraica, Lògica multivalorada i Lògiques no clàsiques en general, Teoria de Conjunts, i Teoria de Models. Les tesis doctorals es realitzaran en algun d'aquests camps.

Aquest Programa és coordinat pel Departament de Lògica, Història i Filosofia de la Ciència de la Universitat de Barcelona (UB), i compta amb la col·laboració del Departament de Matemàtica Aplicada II de la Universitat Politècnica de Catalunya (UPC), de l'Institut d'Investigació en Intel·ligència Artificial del Consejo Superior de Investigaciones Científicas (IIIA-CSIC) i de la Institució Catalana de Recerca i Estudis Avançats (ICREA).

Aquest Programa ha rebut la Menció de Qualitat per part del Ministeri d'Educació i Ciència del Govern espanyol (BOE 5/7/04).

El primer període es el de formació. Consta d'un primer any en el que s'han de cursar com a mínim 20 crèdits escollint, amb l'aprovació del tutor, d'entre les assignatures que figuren a la llista exposada més avall, i d'un segon any en el que s'han de realitzar dos treballs d'iniciació a la investigació, de 6 crèditos cadascun, sota la direcció de dos dels professors del programa. Els temes dels treballs han de correspondre a les àrees d'investigació dels grups de recerca que participen al programa. Totes les assignatures tenen caràcter optatiu, però els estudiants que necessitin consolidar la seva formació bàsica en Lògica hauran de cursar les dues assignatures “a)” i la primera de les assignatures “b)”.

En el segon període es realitza, redacta i defensa la tesi doctoral, en algun dels camps d'investigació esmentats més amunt. L'elaboració de la tesi doctoral, per terme mig, dura uns dos o tres anys.

Assignatures del primer any

Primer semestre (de l'1 d'octubre de 2004 al 31 de gener de 2005)

a) Fonaments de lògica matemàtica I. (3 crèdits). Prof. Joan Bagaria
b) Fonaments de la teoria de conjunts. (4 crèdits). Prof. Ignacio Jané
c) Introducció a la lògica algebraica. (4 crèdits). Profs. Ramon Jansana, Ventura Verdú
d) Àlgebra universal i lògica. (4 crèdits) Profs. Joan Gispert, Antoni Torrens
e) Lògiques per a la intel·ligència artificial.(4 crèdits). Profs. Francesc Esteva, Pere García

Segon semestre (del 15 de febrer de 2005 al 31 de maig de 2005):

a) Fonaments de lògica matemàtica II. (3 crèdits). Prof. Joan Bagaria
b) Teoria de conjunts. (4 crèdits). Profs. Joan Bagaria, Juan Carlos Martínez
c) Teoria de models. (4 crèdits). Profs. Enrique Casanovas, Rafael Farré
d) Computabilitat. (4 crèdits). Prof. Raimon Elgueta
e) Lògica algebraica. (4 crèdits). Prof. Josep Maria Font
f) Demostració automàtica. (4 crèdits). Prof. Gonzalo Escalada

Treballs del segon any

A escollir segons els interessos de l'estudiant, d'entre els temes que es proposaran a finals del primer any, en tot cas en les àrees d'investigació esmentades més amunt.

Joan Bagaria (ICREA, UB): Teoria de conjunts.
Enrique Casanovas (UB): Teoria de models.
Raimon Elgueta (UPC): Lògica algebraica, lògica computacional.
Gonzalo Escalada (IIIA-CSIC): Demostració automàtica.
Francesc Esteva (IIIA-CSIC): Lògiques multivalorades, intel·ligència artificial.
Rafel Farré (UPC): Teoria de models.
Josep Maria Font (UB): Lògica algebraica.
Pere Garcia (IIIA-CSIC): Lògiques multivalorades, intel·ligència artificial.
Joan Gispert (UB): Lògica algebraica, lògicas multivaloradas.
Ignacio Jané (UB): Filosofia de la teoria de conjunts i de la lògica.
Ramon Jansana (UB): Lògica algebraica, lògica modal.
Juan Carlos Martínez (UB): Teoria de conjunts, àlgebres de Boole.
Antoni Torrens (UB): Lògica algebraica, lògiques multivalorades.
Ventura Verdú (UB): Lògica algebraica, lògiques subestructurals.

Professor Ramon Jansana
 
Direcció electrònica: jansana@mat.ub.es
 

Direcció postal:

Departament de Lògica, Història i Filosofia de la Ciència, Universitat de Barcelona Baldiri i Reixach s/n, 08028 Barcelona

• Número de places disponibles: 16
• Data d'inici: 1 d'octubre de 2004.
• 1 crèdit equival aproximadament a 10 hores de classe. Cada assignatura comprèn entorn de 2 hores de classe a la setmana.
• S'aconsella als candidats interessats seriosament que demanin l'admissió al Programa enviant un curriculum vitae al Coordinador. Normalment hi haurà una resposta ràpida. En cas d'un nombre excessiu de sol·licituds confirmades l'admissió es decidirà el 15 de setembre, tenint en compte el curriculum.
• Informació per a estudiants no espanyols:
  Segons la normativa espanyola sobre el doctorat, després de l'acceptació en el programa per part del Departament, cal demanar formalment l'admissió a la Universitat de Barcelona. Cal enviar una carta on es demani l'admissió, una còpia (legalitzada per via diplomàtica) tant del títol acadèmic de llicenciat o equivalent, com del certificat d'estudis, així com una fotocòpia compulsada d'ambdós documents. Aquests tràmits es poden fer al setembre de 2004.

  PER A MÉS INFORMACIÓ ES POT ESCRIURE AL COORDINADOR