Rafel Farré
Departament de Matemàtica Aplicada II
Despatx 419, Edifici Omega
Campus Nord
c/ Jordi Girona, 1-3
E-08034 Barcelona
Spain
Tel: 34-934137703
Fax: 34-934137701
E-mail: 
Docència
(Teaching)
Cursos actuals:
- Lògica
i Fonamentació ( Llicenciatura
de Matemàtiques de la FME): apunts
del curs , apunts de tableaux,
problemes d’Axioma
Elecció i Aritmètica Cardinal , problemes de Lògica de
Primer Ordre, Exercicis de Formalització
i deducció, Examen parcial’04 resolt, Examen parcial’07 resolt, Examen parcial’09 resolt,
Examen final’05 resolt, Examen final’08 resolt, Examen
final’10,
- Fonaments
matemàtics (Grau
en Informatica de la FIB).
Altres cursos
impartits els darrers anys:
- Àlgebra (1er curs FIB, pla antic)
- Àlgebra Abstracta (3er curs FME)
- Àlgebra Computacional (4rt
curs Llicenciatura de Matemàtiques, FME) He
escrit* apunts del curs complet:
Capítol 1 Capítol 2 Capítol 3
- Anàlisi Matemàtica 2
(1er curs Diplomatura d'Estadística, FME) :
calendari curs
(aproximat) col·lecció de
problemes (format
normal) col·lecció de
problemes (format a dos
pàgines per full) solucions del problemes de
la col·lecció (complet) ver 4.0) Àlgebra de límits Càlcul de
primitives (formulari per a l’examen) Examen parcial resolt Examen final resolt
- Anàlisi Matemàtica 3
(2on curs Diplomatura d'Estadística, FME) : col·lecció de
problemes (amb exàmens)
) solucions dels problemes de
la col·lecció Examen parcial resolt
-
- Basic Model Theory (Master
in Pure and Applied
Logic) notes in english (version 20/07/2011)
- Càlcul (1er curs FIB, pla nou)
- Introducció a la Lògica (1er curs FIB, pla nou)
Tinc escrits apunts d'algunes parts del curs: Sintaxi
i semàntica . Aquests apunts estan elaborats abans
del canvi que s’ha produït a l’assignatura el primer
quadrimestre 06/07. De totes maneres, amb algun lleuger canvi en la
notació (i conveni pel que fa a supressió de
parèntesis) són adequats.
- Matemàtica discreta (1er curs FIB, pla antic)
- Teoria Bàsica de Models (Màster en
Lògica Pura i Aplicada)
Apunts (en catal, en construcció)
- Teoria de la
Informació i Codificació (4rt curs
FIB) Tinc escrits apunts del curs complet
- Teoria de Models ( antic programa doctorat de
lògica)
Apunts
d'algunes parts del curs (model completesa,
amalgamació de Fraissé)
Més informació sobre la docència actual (horaris, consultes).
* amb la col·laboració d'A. Montes
Ressearch (not available
yet)