| |
University of Barcelona |
Ph. D. Programme in |
General Information
Structure of
studies Courses
for the year 2002-2003 Tutored research works for
the year 2003-2004| Official name of the programme | Logic and Foundations of Mathematics |
| Department in charge | Department of Logic, History and
Philosophy of Science (University of Barcelona) |
| With the collaboration of | Department of Applied Mathematics II
(Polytechnical University of Catalonia) Research Institut in Artificial Intelligence (C.S.I.C.) |
| Faculty in charge | Faculty of Philosophy (University of Barcelona) |
| Coordinator and tutor of the programme | Ramon Jansana Phone 93-333-3466 ext. 3270 |
| Number of students | up to 10 |
| Required graduation | Any graduate can enter the programme; when needed, preference will be given to those with a degree in computer science, mathematics or philosophy. |
| Department address: | Campus de Pedralbes, Edifici "Cúpules", Torre C,
planta 5. c. Baldiri Reixac, s.n., E - 08028 Barcelona. Phone 93-333-3466 ext. 3266 |
| Administrative information: | Address to the Department of Logic, History and Philosophy of Science or to the Secretary of the Philosophy Faculty. |
These studies are organised in three successive stages, each one with its own academic diploma: the Course periode, the Initiation to Research period and the Doctoral Dissertation period. Usually the first two are one year periods. According to this organization each student can choose to progress in the Ph.D. studies as far as he wants or needs.
| Course period | The student has to earn at least 20 credits
(in the Spanish university system 1 credit = 10 class hours)
taking Ph. D. courses, subject to certain
restrictions: at least 15 must be obtained with courses in the programme,
at most 5 can be obtained with courses from other programmes, at least 15
must be from courses classified as "fundamental". The first year
each student has to register for at least 10 credits.
Completion of this stage gives a Certificate/Diploma valid throughout Spain. |
| Initiation to Research period | Each
student must obtain at least 12 credits by doing several tutored research works
on topics offered in the programme. Once these two periods have been past, an examning board will evaluate, through a public session, the knowledge and the research ability reached by the student. Those who succeed will obtain the Advanced Study Diploma (D.E.A.), valid throughout Spain. |
| Doctoral dissertation period | Those students wanting to pursue research can join one of the teams in the participating departments, and start work for a Doctoral dissertation which will lead to the title of Doctor (Ph. D.) by the University of Barcelona; in the diploma it will be mentioned the degree of access and the name of the programme. |
| Foreing students |
Graduate students coming from
foreign universities must fill in an admision application form
addressed to the Rector of the University of Barcelona.
The application has to be sent to Ramon Jansana at the
Department of Logic, History and Philosophy of Science together with
1) a legalized copy of the title (degree), 2) a xerocopy of it, and
3) a certificate of the studies.
All the documents must be official, issued by the competent authorities. They must be legalized by the diplomatic via. Legalizing the foreign documents can be done at any Spanish consulate or embassy and the Ministry of Foreign Affairs in Madrid. If the documents have been issued by any signatory state of the 10/5/69 Haya Convention, they may be legalized in the consulate with its corresponding note (postilla). Te process described can take several months. In order to facilitate the application for grants, etc. the department opens an INTERNAL ADMISSION PERIOD. In order to apply please send a letter or an e-mail to Ramon Jansana togheter with a brief curriculum vitae. After receiving your application we will decide in a few days and in case of acceptance we will send an (provisional, that is, subject to the rector's aproval) acceptence letter. The admission period finishes September the 10th of 2002. |
The following courses are in principle planed. Some changes can take place. They will be advertised next February 2002.
Fundamentals of Mathematical Logic I (3 credits)
Introduction to the Algebraization of Logic I (3 credits)
Foundations of Set Theory (4 credits)
Universal Algebra (3 credits)
Fundamentals of Mathematical Logic II (3 credits)
Set Theory (4 credits)
Algebraic Logic (3 credits)
Model Theory (4 credits)
Computability Theory(4 credits)
On February 2003 specific research works will be offered in the following areas:
Philosophy
of mathematics. Ignasi Jané. History and
philosophy of logic. Calixto Badesa.
Algebraic logic. Raimon Elgueta, Josep Maria Font, Ramon Jansana, Antoni
Torrens and Ventura Verdú.
Logic for approximated reasoning. Gonçal Escalada-Imaz,
Francesc Esteva and Pere Garcia.
Set theory. Joan Bagaria and Juan Carlos Martínez.
Model theory. Enrique Casanovas and Rafel Farré.  |
To the main page of the Department | ||
|
To the Faculty of Mathematics |  |
To send comments on this page |
|
To the Faculty of Philosophy |