Universitat de Girona

Programa de l'assignatura

Curs 2003-04

3105II0003 INTRODUCCIÓ A LA LÒGICA


Objectius  
Adquirir capacitat de raonament deductiu i introduir els conceptes de la lògica de primer ordre i de la teoria de conjunts.
 
Prerrequisits  
 
Contingut (Programa)  
Càlcul de proposicions
Càlcul de predicats
Teoria de conjunts
Àlgebra de Boole
 
Bibliografia  

- ARANDA, J.; FERNANDEZ, J.L.; MORILLA, F.: "Lógica Matemática" Sanz y Torres, (1993).
- ARENAS, L.: "Lógica formal para informáticos", Diaz de Santos (1996).
- CUENA, J.: "Lógica Informática" Alianza Editorial (1985.)
- DE LA VILLA, A.: "Problemas resueltos de álgebra", Clagsa (1994).
- DEAÑO, A.: "Introducción a la lógica formal", Alianza Editorial (1983).
- DUMONT, J.; SCHUSTER, C.: "Como aprender a razonar", Deusto (1986).
- FERNANDEZ, G.; SAEZ, F.: "Fundamentos de Informàtica", Alianza Editorial (1987).
- GARRIDO, M.: "Lógica simbólica", Ed. Tecnos (1991).
- GUTIERREZ, A.; GARCÍA, F.: "Álgebra lineal", Tomo I, Pirámide (1988).
- LIPSCHUTZ, S.: "Teoría de conjuntos y temas afines". McGraw-Hill.
- PANIAGUA, E; SÁNCHEZ, J.L.; MARTIN, F.: "Lógica computacional", Thomson (2003)
- SAINZ, M.A.; SERAROLS, J.Ll.; PEREZ, A.: "Álgebra" Palahí, Arts Gràfiques. (1994).
- SESA, Enric: "Lògica", Universitat Oberta de Catalunya (1998)
- SOLOW, D.: "Cómo entender y hacer demostraciones en matemáticas", Limusa, (1987).
- SUPPES, P.; HILL, S.: "Introducción a la lógIca matemática.", Reverté, (1986).
 
Mètodes docents  

Classes de teoria i problemes: 3 hores setmanals
 
Tipus d'exàmens i avaluacions  

GRUP A (Professor: Josep Humet)
Hi haurà dues modalitats d'avaluació: (A) sense avaluació continuada i (B) amb avaluació continuada. En ambdues modalitats d’avaluació hi haurà un examen a final de curs en el que l'alumne haurà de demostrar els coneixements assolits. L'examen serà el mateix per ambdues modalitats. En ambdues modalitats la condició apte/no apte es determinarà única i exclussivament a partir de la qualificació de l'examen. Així l'avaluació continuada només s’usarà per apujar la nota de l'examen però en cap cas s’usarà per abaixar-la ni tampoc per passar del suspens a l’aprovat. A la vista de l'examen final l’alumne podrà triar lliurement la modalitat d'avaluació que voldrà que se li apliqui. En la modalitat A (sense avaluació continuada) la qualificació màxima a la que es podrà optar serà Excel·lent. Amb aquesta modalitat d'avaluació no es podrà optar a Matrícula d'Honor. L'avaluació continuada, que en qualsevol cas serà optativa, es determinarà en base a l'assistència a classe i a la resolució via web d'uns exercicis de resposta tancada (TEST) que es proposaran als alumnes periòdicament. Per optar a MH com a qualificació de final de curs caldrà triar la modalitat d'avaluació B (amb avaluació continuada) i obtenir la màxima qualificació tant en l'examen final com en l'avaluació continuada. Per més detalls consulteu el document de criteris d'avaluació que trobareu a la carpeta ETIG-A de la pàgina de l'assignatura a "la meva UdG".

GRUP B (Professor: Jaume Romero)
L'avaluació es farà amb un examen final.

GRUP C (Professor: Narcís Coll)
Durant el mes de novembre es realitzarà un examen tipus test que s'utilitzarà per a la qualificació de les dues convocatòries. La nota de cada convocatòria es calcularà de la manera següent:

si  notaexamen >= 3'5  llavors  notaconvocatòria = màx(notaexamen, 0'8 notaexamen + 0'3 notaexamentest) , altrament notaconvocatoria = notaexamen.

 

 
 
Informació addicional  
 
Llengua de les classes  
Català