Anar al contingut (clic a Intro)
UdG Home UdG Home
UdG 30 anys
Tancar
Menú

Estudia a la UdG

Dades generals

Curs acadèmic:
2012
Descripció:
1. Nocions bàsiques de la teoria de conjunts. 2. Sintaxi i semàntica de la lògica proposicional. 3. Conceptes metalògics: conseqüència lògica i equivalència lògica per a la lògica proposicional.
Crèdits ECTS:
6
Idioma principal de les classes:
Català
S’utilitza oralment la llengua anglesa en l'assignatura:
Gens (0%)
S’utilitzen documents en llengua anglesa:
Poc (25%)

Grups

Grup A

Durada:
Semestral, 1r semestre
Professorat:
David Pineda Oliva

Horaris:

Activitat Horari Aula
Teoria1 dt 10:30-12:00, dj 10:30-12:00
Pràctiques d'aula1 dt 10:30-12:00, dj 10:30-12:00

Competències

  • CTUdG01 Utilitzar la llengua anglesa
  • CTUdG09 Llegir, comprendre i comentar textos científics
  • CTUdG10 Analitzar situacions complexes i dissenyar estratègies per resoldre-les
  • CTUdG11 Avaluar la pròpia activitat i el propi aprenentatge i elaborar estratègies per millorar-los
  • CE3/N5: Conèixer les teories i arguments centrals en la Lògica
  • CE4. Identificar i analitzar els temes principals que actualment són objecte d'investigació filosòfica
  • CE5. Aplicar de forma adequada les tècniques del raonament filosòfic apreciant les seves diverses possibilitats d'aplicació
  • CE7. Pensar i expressar de forma precisa la formulació de problemes filosòfics complexos i controvertits, i comprendre les estratègies principals concebudes per resoldre'ls
  • CE10. Jutjar l'èxit d'arguments filosòfics típics
  • CE12. Utilitzar de forma crítica la terminologia filosòfica especialitzada
  • CE14. Reconèixer errors metodològics, recursos retòrics, pressuposts implícits, la vaguetat i la superficialitat en les discussions filosòfiques
  • CE19. Investigar més enllà de les fronteres tradicionals de la disciplina, examinar les limitacions i virtuts d'altres disciplines i pràctiques, i reconèixer doctrines filosòfiques en contextos no acadèmics
  • CE20. Aplicar les competències i tècniques filosòfiques a qüestions que sorgeixen en contextos no acadèmics

Continguts

1. Introducció general.

2. PRIMERA PART: Teoria de Conjunts.

3. La noció de conjunt. La noció de pertinença. El principi d'extensionalitat. Maneres de referir-se a un conjunt: extensió i comprensió. La relació d'inclusió. El conjunt buit. Teoremes bàsics.

4. Operacions básiques amb conjunts: Unió, intersecció i diferència: definicions i propietats bàsiques. Teoremes bàsics. La complementació: definició i propietats bàsiques. El conjunt potència: definició i teoremes bàsics.

5. Relacions: La noció de parell ordenat. La noció de relació. Noció de relació inversa. Tipus de relacions. Relacions d'equivalència i particions. Relacions d'ordre. Tipus d'ordres.

6. Funcions: Noció de funció. Domini i recorregut d'una funció. La funció inversa. Tipus de funcions.

7. SEGONA PART: Lògica proposicional.

8. Sintaxi i semàntica de la lògica proposicional: Alfabet d'un llenguatge proposicional. Subfórmules i fórmules. Noció d'assignació. Taules de veritat. Tautologies i contradiccions.

9. Conseqüència i equivalència lògiques a la lògica proposicional. Interdefinibilitat de connectives. Connectors barra i fletxa. Formes normals.

Activitats

Tipus d’activitat Hores amb professor Hores sense professor Total
Prova d'avaluació 0 13,00 13,00
Sessió expositiva 30,00 40,00 70,00
Sessió participativa 12,00 8,00 20,00
Sessió pràctica 15,00 34,00 49,00
Tutories de grup 3,00 0 3,00
Total 60,00 95,00 155

Bibliografia

  • Badesa Cortés, Calixto (1998 ). Elementos de lógica formal . Barcelona: Ariel. Catàleg
  • Lipschutz, Seymour (cop. 1969 ). Teoría de conjuntos y temas afines . México [etc.]: McGraw-Hill. Catàleg
  • Díez Calzada, José A (2002 ). Iniciación a la lógica . Barcelona: Ariel. 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. Catàleg

Avaluació i qualificació

Activitats d'avaluació:

Descripció de l'activitat Avaluació de l'activitat %
Resolució per part dels estudiants dels exercicis pràctics proposats pel professor. Resolució correcta dels problemes proposats a la classe de pràctiques o bé dels problemes del dossier de pràctiques facilitat pel professor. Es valorarà l'exposició i la correcció del procediment emprat. 30
Examen final sobre el contingut de l'assignatura. Resolució correcta dels problemes de què consti l'examen. Es valorarà la correcció del procediment emprat. 70

Qualificació

Resolució correcta dels problemes de l'examen, de les classes pràctiques i del dossier d'exercicis proposat pel professor. Es valorarà la correcció del mètode emprat per resoldre cada problema.

Criteris específics de la nota «No Presentat»:
Es considerarà no presentat aquell estudiant que no es presenti a l'examen o bé no hagi fet el mínim de pràctiques suficient que el professor establirà a principis de curs. Cal, per tant, fer l'examen i tenir nota de pràctiques per tal de ser avaluat.

Escull quins tipus de galetes acceptes que el web de la Universitat de Girona pugui guardar en el teu navegador.

Les imprescindibles per facilitar la vostra connexió. No hi ha opció d'inhabilitar-les, atès que són les necessàries pel funcionament del lloc web.

Permeten recordar les vostres opcions (per exemple llengua o regió des de la qual accediu), per tal de proporcionar-vos serveis avançats.

Proporcionen informació estadística i permeten millorar els serveis. Utilitzem cookies de Google Analytics que podeu desactivar instal·lant-vos aquest plugin.

Per a oferir continguts publicitaris relacionats amb els interessos de l'usuari, bé directament, bé per mitjà de tercers (“adservers”). Cal activar-les si vols veure els vídeos de Youtube incrustats en el web de la Universitat de Girona.