Que els alumnes adquireixin els coneixements i habilitats següents:
Formalitzar enunciats expressats en el llenguatge natural utilitzant com a llenguatge formal els llenguatges de la lògica de primer ordre i la teoria de conjunts. Avaluar fórmules lògiques. Analitzar la consistència d’un conjunt de premisses i obtenir-ne conclusions. Validar raonaments i descobrir-ne les errades trobant contraexemples. Operar amb conjunts. Analitzar i classificar relacions, aplicacions i operacions.

No es necessita pròpiament cap coneixement específic però sí que es necessita haver adquirit les destreses que són habituals en el raonament i càlcul formal matemàtics.

Càlcul de proposicions
Càlcul de predicats
Teoria de conjunts
Àlgebra de Boole

La bibliografia a la biblioteca

- 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.
- MANZANO, M; HUERTAS, A.: "Lógica para principiantes". Alianza Editorial (2004).
- 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).

Es desenvolupen en 2 sessions setmanals una de 2 hores i una de 1 hora. L’objectiu d’aquestes sessions és donar als alumnes els coneixements del tema, i alhora assegurar que aquests han estat ben assimilats. Per això la sessions es composen d’explicacions magistrals en les quals es comunica als alumnes els conceptes i habilitats que hauran d’assolir i també es proposa als alumnes exercicis que els propis alumnes resoldran a la mateixa aula i que serviran per aclarir i consolidar els conceptes explicats alhora que permetran al professor orientar els alumnes sobre els seus dèficits i la manera de corregir-los. Aquesta activitat servirà també al professor per fer un seguiment global de l’aprenentatge.

GRUP A (ETIG MATÍ - Professor: Narcís Coll) i GRUP B (ETIG TARDA - Professor: Jaume Romero)
Durant el curs es realitzaran dos examens tipus test que s'utilitzaran 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'7 notaexamen + 0'2 notaexamentest1 + 0'2 notaexamentest2) , altrament notaconvocatoria = notaexamen.

GRUP C (ETIS - Professor: Josep Humet)
Per superar l'assignatura hi haurà tres oportunitats: (I) per curs amb avaluació continuada, (II) per mitjà d'un examen final en primera convocatòria, o (III) per mitjà d'un examen final en segona convocatòria.
L'avaluació continuada (I) consistirà en tres proves repartides al llarg del curs: la primera en finalitzar el tema de càlcul de proposicions, la segona en finalitzar el tema de càlcul de predicats, i la tercera en finalitzar el tema de teoria de conjunts. Per superar l'assignatura per mitjà de l'avaluació continuada per curs serà requisit indispensable superar satisfactòriament les tres proves d'avaluació continuada. No hi ha cap obligatorietat de fer l'avaluació continuada i els alumnes que els resulti problemàtic iniciar-la o seguir-la tindran les dues oportunitats de fer examen final.
Per optar a matrícula d'honor serà necessari haver obtingut qualificació excel·lent per mitja de l'avaluació continuada; en aquest cas els alumnes que vulguin optar a matrícula d'honor hauran de comunicar explícitament la seva intenció i hauran de superar una prova final individualitzada addicional.