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

Estudia a la UdG

Dades generals

Curs acadèmic:
2010
Descripció:
1. Càlcul de lògica proposicional. 2. Sintaxi i semàntica de la lògica de primer ordre. 3. Conseqüència i equivalència lògica. 4. Càlcul deductiu en primer ordre. 5. Formalització.
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, 2n semestre
Professorat:
Juan Pages Martinez

Horaris:

Activitat Horari Aula
Teoria1 dt 14:30-16:00, dj 14:30-16:00
Pràctiques d'aula1 dt 14:30-16:00, dj 14:30-16: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. Càlcul de lògica proposicional.

2. Sintaxi i semàntica de la lògica de primer ordre.

3. Conseqüència lògica i equivalència lògica

4. Càlcul deductiu en primer ordre.

5. Formalització.

Activitats

Tipus d’activitat Hores amb professor Hores sense professor Total
Prova d'avaluació 6,00 18,00 24,00
Resolució d'exercicis 29,00 60,00 89,00
Sessió expositiva 30,00 45,00 75,00
Total 65,00 123,00 188

Bibliografia

  • Badesa Cortés, Calixto (1998 ). Elementos de lógica formal . Barcelona: Ariel. 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
  • Pérez Sedeño, Eulalia (1991 ). Ejercicios de lógica . Madrid: Siglo XXI. Catàleg
  • Quine, W. V.|q(Willard Van Orman) (1981 ). Los Métodos de la lógica . Barcelona [etc.]: Ariel. Catàleg
  • Haack, Susan (1991 ). Filosofía de las lógicas (2ª ed.). Madrid: Cátedra. Catàleg
  • Enderton, Herbert B (1972 ). A Mathematical introduction to logic . Boston [etc.]: Academic Press. Catàleg
  • Quine, W. V.|q(Willard Van Orman) (1982 ). Methods of logic (4th ed.). Cambridge: Harvard University Press. Catàleg

Avaluació i qualificació

Activitats d'avaluació:

Descripció de l'activitat Avaluació de l'activitat %
Resolució per part dels estudiants a la classe de pràctiques d'exercicis proposats pel professor Es valorarà la correcta execució dels problemes i exercicis proposats 10
Elaboració d'un dossier d'exercicis resolts per l'estudiant Es valorarà la correcta execució dels problemes i exercicis proposats 20
Examen parcial Es valorarà la correcta execució dels problemes i exercicis proposats 70

Qualificació

Es valorarà l'exedcució correcta dels problemes i exercicis proposats

Criteris específics de la nota «No Presentat»:
Es considerarà No Presentat qualsevol estudiant que no lliuri en els termini indicat els dossiers de pràctiques, que no es presenti als exàmens o que no assisteixi a les pràctiques de l'assignatura

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.