Introduccion a la lógica

Introducci´n a la L´gica II o o
F´lix Bou e bou@ub.edu

Versi´n 20 de mayo de 2009 o

F. Bou (bou@ub.edu)

Introducci´n a la L´gica II o o

Versi´n 20 de mayo de 2009 o

1 / 114

Metodolog´ de la Asignatura ıa

´ Indice

1

Metodolog´ de la Asignatura ıa Relaciones Funciones Lenguajes de Primer Orden: Sintaxis Lenguajes de Primer Orden: Sem´ntica a

2

3

4

5

F.Bou (bou@ub.edu)

Introducci´n a la L´gica II o o

Versi´n 20 de mayo de 2009 o

2 / 114

Metodolog´ de la Asignatura ıa

Metodolog´ de la asignatura ıa

Datos Profesor
F´lix Bou. e Departament de L`gica, Hist`ria i Filosofia de la Ci`ncia. o o e Despacho 4.040 (4a planta). E-mail: bou@ub.edu (fbou@iiia.csic.es) Tel´fono: 93 4037978. e

F. Bou (bou@ub.edu)

Introducci´n a la L´gicaII o o

Versi´n 20 de mayo de 2009 o

3 / 114

Metodolog´ de la Asignatura ıa

Metodolog´ de la asignatura ıa
Horario
Grupo A3 (A. 407) Grupo B1 (A. 403) Martes Mi´rcoles e Jueves Martes Mi´rcoles e Jueves Teor´ ıa 10:00-11:00h 10:00-11:00h 10:00-11:00h 19:00-20:00h 19:00-20:00h 19:00-20:00h Consultas — 09:00-10:00h — — — 20:00-21:00h Pr´cticas a — — 15:00-16:00h — 18:00-19:00h —

F.Bou (bou@ub.edu)

Introducci´n a la L´gica II o o

Versi´n 20 de mayo de 2009 o

4 / 114

Metodolog´ de la Asignatura ıa

Metodolog´ de la asignatura ıa
Horario
Grupo A3 (A. 407) Grupo B1 (A. 403) Martes Mi´rcoles e Jueves Martes Mi´rcoles e Jueves Teor´ ıa 10:00-11:00h 10:00-11:00h 10:00-11:00h 19:00-20:00h 19:00-20:00h 19:00-20:00h Consultas — 09:00-10:00h — — — 20:00-21:00hPr´cticas a — — 15:00-16:00h — 18:00-19:00h —

Examen Final
Grupo A3 (A. 407) Grupo B1 (A. 403)
F. Bou (bou@ub.edu)

1a Convocatoria 19 Jun, 09:00-11:00h 19 Jun, 16:00-18:00h
Introducci´n a la L´gica II o o

2a Convocatoria 2 Sept, 12:00-14:00h 2 Sept, 19:00-21:00h
Versi´n 20 de mayo de 2009 o 4 / 114

Metodolog´ de la Asignatura ıa

Sistema de Evaluaci´n o
Evaluaci´n Continua oEvaluaci´n Unica o ´

F. Bou (bou@ub.edu)

Introducci´n a la L´gica II o o

Versi´n 20 de mayo de 2009 o

5 / 114

Metodolog´ de la Asignatura ıa

Sistema de Evaluaci´n o
Evaluaci´n Continua o
Tres ex´menes parciales durante el curso. Las fechas son a

Evaluaci´n Unica o ´

F. Bou (bou@ub.edu)

Introducci´n a la L´gica II o o

Versi´n 20 de mayo de 2009 o

5 / 114

Metodolog´de la Asignatura ıa

Sistema de Evaluaci´n o
Evaluaci´n Continua o
Tres ex´menes parciales durante el curso. Las fechas son a
Jueves 12 de marzo de 2009. Jueves 16 de abril de 2009. Jueves 21 de mayo de 2009.

Evaluaci´n Unica o ´

F. Bou (bou@ub.edu)

Introducci´n a la L´gica II o o

Versi´n 20 de mayo de 2009 o

5 / 114

Metodolog´ de la Asignatura ıa

Sistema de Evaluaci´n oEvaluaci´n Continua o
Tres ex´menes parciales durante el curso. Las fechas son a
Jueves 12 de marzo de 2009. Jueves 16 de abril de 2009. Jueves 21 de mayo de 2009.

Hace falta aprobar los tres ex´menes con una nota m´ a ınima de 3, y en tal caso la nota final ser´ la media de los tres ex´menes parciales. a a

Evaluaci´n Unica o ´

F. Bou (bou@ub.edu)

Introducci´n a la L´gica II o oVersi´n 20 de mayo de 2009 o

5 / 114

Metodolog´ de la Asignatura ıa

Sistema de Evaluaci´n o
Evaluaci´n Continua o
Tres ex´menes parciales durante el curso. Las fechas son a
Jueves 12 de marzo de 2009. Jueves 16 de abril de 2009. Jueves 21 de mayo de 2009.

Hace falta aprobar los tres ex´menes con una nota m´ a ınima de 3, y en tal caso la nota final ser´ la media de los tres ex´menesparciales. a a S´lo se obtendr´ la calificaci´n de “No Presentado” en caso de no o a o realizar los tres ex´menes parciales. a

Evaluaci´n Unica o ´

F. Bou (bou@ub.edu)

Introducci´n a la L´gica II o o

Versi´n 20 de mayo de 2009 o

5 / 114

Metodolog´ de la Asignatura ıa

Sistema de Evaluaci´n o
Evaluaci´n Continua o
Tres ex´menes parciales durante el curso. Las fechas son a...