Dades generals
-
Curs acadèmic:
- 2023
-
Descripció:
- Estudi dels fonaments de la teoria de conjunts (nocions bàsiques, operacions amb conjunts, relacions i funcions) i de la sintaxi de la lògica proposicional.
-
Crèdits ECTS:
- 6
Grups
Grup A
-
Durada:
- Semestral, 1r semestre
-
Professorat:
- David Pineda Oliva
-
Idioma de les classes:
- Català (100%)
Grup GG
-
Durada:
- Semestral, 1r semestre
-
Professorat:
- David Pineda Oliva
-
Idioma de les classes:
-
Competències
- CG2 - Comunicar-se oralment i per escrit de manera clara, coherent i correcta.
- CE2 - Dominar les teories i els arguments centrals de l'Antropología Filosòfica, la Metafísica, l'Epistemologia, la Lògica, la Filosofia del Lenguatge, la Filosofia de la ciència, l'Estètica i la Filosofia Moral i Política.
- CE6 - Analitzar amb claredat, rigor i críticament arguments filosòfics, tot jutjant la seva coherència, força demostrativa i pertinència.
- CE7 - Identificar fal·làcies lògiques, tant formals com informals, i detectar errors metodològics, recursos retòrics i pressuposicions implícites en les discussions i argumentacions filosòfiques.
Continguts
1. 1. INTRODUCCIÓ GENERAL: què és la lògica?
2. PART I: TEORIA DE CONJUNTS
3. 1) Noció de conjunt, pertinença i inclusió. El conjunt buit. Definicions de conjunts per extensió i per comprensió.
4. 2) Operacions amb conjunts. Unió, interesecció, diferència i potenciació. Teoremes bàsics.
5. 3) Relacions. Noció de relació, operacions amb relacions, inversió i composició. Propietats de relacions.
6. 4) Relacions d'equivalència i relacions d'ordre.
7. 5) Funcions. Noció de funció. Definicions de funcions per extensió i per comprensió. Tipus de funcions: injectiva, exhaustiva, bijectiva.
8. PART II: LÒGICA PROPOSICIONAL
9. 1) Sintaxi i semàntica de la lògica proposicional.
Activitats
Tipus d’activitat |
Hores amb professor |
Hores sense professor |
Hores virtuals amb professor |
Total |
Anàlisi / estudi de casos |
1,50 |
15,00 |
0
|
16,50 |
Prova d'avaluació |
4,50 |
49,00 |
0
|
53,50 |
Resolució d'exercicis |
0
|
20,00 |
0
|
20,00 |
Sessió expositiva |
39,00 |
21,00 |
0
|
60,00 |
Total |
45,00 |
105,00 |
0
|
150 |
Bibliografia
- Badesa, Calixto. (1998). Elementos de lógica formal. Barcelona: Ariel. Catàleg
- Díez, José A. (José Antonio) (2002). Iniciación a la lógica. Barcelona: Ariel. Catàleg
- Lipschutz, Seymour. (1991). Teoría de conjuntos y temas afines. México [etc: McGraw-Hill. Catàleg
- Pagès, Joan (2002). Pràctiques de lògica : exercicis de lògica d'enunciats i lògica de primer ordre. Girona: Universitat de Girona, Programa de Millora de la Docència, Vicerectorat de la Docència i Estudiants. Catàleg
- Enderton, Herbert B. (1977). Elements of set theory. Orlando [etc: Academic Press. Catàleg
Avaluació i qualificació
Activitats d'avaluació:
Descripció de l'activitat |
Avaluació de l'activitat |
% |
Recuperable |
1r examen parcial |
Caldrà resoldre correctament els diversos exercicis que composin les diverses proves d'avaluació.
Caldrà mostrar el procediment emprat per assolir el resultat i no únicament el resultat.
En el cas de demostracions, caldrà justificar cada pas inferencial i mostrar una correcta comprensió de les definicions de nocions tècniques i dels diversos teoremes demostrats a classe. |
20 |
No |
2n examen parcial |
Caldrà resoldre correctament els diversos exercicis que composin les diverses proves d'avaluació.
Caldrà mostrar el procediment emprat per assolir el resultat i no únicament el resultat.
En el cas de demostracions, caldrà justificar cada pas inferencial i mostrar una correcta comprensió de les definicions de nocions tècniques i dels diversos teoremes demostrats a classe. |
30 |
No |
Examen final |
Caldrà resoldre correctament els diversos exercicis que composin les diverses proves d'avaluació.
Caldrà mostrar el procediment emprat per assolir el resultat i no únicament el resultat.
En el cas de demostracions, caldrà justificar cada pas inferencial i mostrar una correcta comprensió de les definicions de nocions tècniques i dels diversos teoremes demostrats a classe. |
50 |
Sí |
Qualificació
Caldrà resoldre correctament els diversos exercicis que composin les diverses proves d'avaluació.
Caldrà mostrar el procediment emprat per assolir el resultat i no únicament el resultat.
En el cas de demostracions, caldrà justificar cada pas inferencial i mostrar una correcta comprensió de les definicions de nocions tècniques i dels diversos teoremes demostrats a classe.
Criteris específics de la nota «No Presentat»:
Es considerarà no presentat l'estudiant que no es presenti a l'examen final o bé a cap dels dos exàmens parcials.
Avaluació única:
Examen únic de tots els continguts de l'assignatura.
Requisits mínims per aprovar:
Per considerar superada l’assignatura, caldrà obtenir una qualificació mínima de 5.0
Tutoria
Es podran fer tutories presencials en l'horari que s'anunciarà oportunament.
Es podran també fer tutories en línia en alguna de les plataformes que empra la UdG, com ara el Meet.
Comunicacio i interacció amb l'estudiantat
S'emprarà preferentment l'eina Moodle per a comunicats i facilitació de materials de curs, com ara exercicis resolts.
Modificació del disseny
Modificació de les activitats:
No es modifiquen; si cal, es duran a terme en línia.
Modificació de l'avaluació:
No es modifica; si cal, es durà a terme en línia.
Tutoria i comunicació:
No es modifica; si cal, es durà a terme en línia.