{"id":171,"date":"2017-06-30T03:31:46","date_gmt":"2017-06-30T03:31:46","guid":{"rendered":"http:\/\/dectau.uclm.es\/Pascual.Julian\/?page_id=171"},"modified":"2018-07-23T00:24:35","modified_gmt":"2018-07-23T00:24:35","slug":"logica-temario","status":"publish","type":"page","link":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/logica-temario\/","title":{"rendered":"L\u00f3gica. Temario – Bibliograf\u00eda"},"content":{"rendered":"
TEMARIO DE LOGICA<\/strong><\/h5>\n

TEMA 1. INTRODUCCION A LA LOGICA<\/strong>
\n1.1 Qu\u00e9 es la l\u00f3gica.
\n1.2 Introducci\u00f3n hist\u00f3rica.
\n1.3 Forma de presentaci\u00f3n de los sistemas l\u00f3gicos.<\/p>\n

PARTE I: LOGICA DE PROPOSICIONES<\/h3>\n

TEMA 2. SEMANTICA<\/strong>
\n2.1 Lenguaje formal de la l\u00f3gica de enunciados.
\n2.2 Conectores, funciones de verdad y tablas de verdad.
\n2.3 Conjuntos adecuados de conectivas: interdefinibilidad de los conectores.
\n2.4 Argumentaci\u00f3n y validez.
\n2.5 Ejemplos y ejercicios.<\/p>\n

TEMA 3. CALCULO AXIOMATICO Y PROPIEDADES FORMALES.<\/strong>
\n3.1 El sistema formal L.
\n3.2 El concepto de deducci\u00f3n formal.
\n3.3 Teorema de la deducci\u00f3n.
\n3.4 Propiedades formales de la l\u00f3gica de enunciados (metal\u00f3gica): \u00a0correcci\u00f3n y consistencia; completitud; decidibilidad
\n3.5 Regla de intercambio.
\n3.6 Otros sistemas formales: Sistema de Kleene.
\n3.7 Ejemplos y ejercicios.<\/p>\n

TEMA 4. CALCULO DE DEDUCCION NATURAL.<\/strong>
\n4.1 M\u00e9todos de prueba y deducci\u00f3n natural.
\n4.2 El sistema de deducci\u00f3n natural: \u00a0reglas b\u00e1sicas de inferencia; \u00a0reglas de construcci\u00f3n de una deducci\u00f3n; reglas derivadas de inferencia.
\n4.3 Consejos para la resoluci\u00f3n de argumentos.
\n4.4 Ejemplos y ejercicios.<\/p>\n

PARTE II: LOGICA DE PREDICADOS<\/h3>\n

TEMA 5. SEMANTICA.<\/strong>
\n5.1 Nombres, functores y relatores.
\n5.2 Cuantificadores.
\n5.3 El lenguaje formal de primer orden\u00a0 L<\/em>.
\n5.4 Teor\u00eda de modelos: \u00a0interpretaciones; valoraci\u00f3n, satisfacibilidad y verdad; verdad l\u00f3gica y modelos; consecuencia l\u00f3gica e independencia.
\n5.5 Ejemplos y ejercicios.<\/p>\n

TEMA 6. CALCULO AXIOMATICO Y PROPIEDADES FORMALES.<\/strong>
\n6.1 Sistema formal axiom\u00e1tico KL<\/sub><\/em>.
\n6.2 Propiedades formales de la l\u00f3gica de predicados (metal\u00f3gica): correcci\u00f3n y consistencia; teorema de la deducci\u00f3n; completitud; indecidibilidad.<\/p>\n

TEMA 7. CALCULO DE DEDUCCION NATURAL.<\/strong>
\n7.1 M\u00e9todos de prueba y deducci\u00f3n natural.
\n7.2 Sistema de deducci\u00f3n natural: el concepto de substituci\u00f3n; reglas b\u00e1sicas de inferencia; reglas derivadas de inferencia.
\n7.3 Consejos para la resoluci\u00f3n de argumentos.
\n7.4 Ejemplos y ejercicios<\/p>\n

PARTE III: RESOLUCI\u00d3N Y OTRAS LOGICAS<\/h3>\n

TEMA 8. RESOLUCI\u00d3N.<\/strong>
\n8.1 Introducci\u00f3n.
\n8.2 Formas normales en la l\u00f3gica de proposiciones.
\n8.3 Principio de resoluci\u00f3n en la l\u00f3gica de proposiciones.
\n8.4 Ejemplos y ejercicios.<\/p>\n

TEMA 9. OTRAS L\u00d3GICAS.<\/strong>
\n9.1 L\u00f3gica cl\u00e1sica y otras l\u00f3gicas.
\n9.2 Problemas expresivos y la necesidad de otras l\u00f3gicas.
\n9.3 Ejemplos de otras l\u00f3gicas:\u00a0L\u00f3gicas multivalentes;\u00a0L\u00f3gicas no mon\u00f3tonas.
\n9.4 Ejemplos y ejercicios.<\/p>\n

BIBLIOGRAF\u00cdA<\/strong><\/p>\n

Bibliograf\u00eda b\u00e1sica.<\/strong>
\n[Jul 04] P. Juli\u00e1n. L\u00f3gica simb\u00f3lica para inform\u00e1ticos. RA-MA, 2004.<\/p>\n

Bibliograf\u00eda complementaria.<\/strong>
\n[Ben-Ari 01] M. Ben-Ari. Mathematical Logic for ComputerSciences. Springer-Verlag, 2001.
\n[BE 00] J. Barwise & J. Etchemendy. Mathematical Logic for ComputerSciences. Prentice Hall, 2000.
\n[Dea 94] A. Dea\u00f1o. Introducci\u00f3n a\u00a0 la l\u00f3gica formal. Alianza Universidad Textos, 1994.
\n[Fer 87] G. Fern\u00e1ndez & F. S\u00e1ez Vacas. Fundamentos de Inform\u00e1tica. Alianza-Inform\u00e1tica. Madrid, 1987.
\n[Gar 95] M. Garrido. L\u00f3gica simb\u00f3lica. Tecnos. Madrid, 1995.
\n[Ham 81] A. G. Hamilton. L\u00f3gica para Matem\u00e1ticos. Paraninfo, 1981.
\n[JA2007] P. Juli\u00e1n-Iranzo & M. Alpuente Frasnedo. Programaci\u00f3n l\u00f3gica : teor\u00eda y pr\u00e1ctica. Pearson Prentice Hall, 2007.
\n[Mos 83] Jes\u00fas Moster\u00edn. L\u00f3gica de Primer orden. Ariel, 1983.
\n[SJ 97] R. Socher-Ambrosius and P. Johann. Deduction Systems. Springer-Verlag, 1997.<\/p>\n","protected":false},"excerpt":{"rendered":"

TEMARIO DE LOGICA TEMA 1. INTRODUCCION A LA LOGICA 1.1 Qu\u00e9 es la l\u00f3gica. 1.2 Introducci\u00f3n hist\u00f3rica. 1.3 Forma de presentaci\u00f3n de los sistemas l\u00f3gicos. PARTE I: LOGICA DE PROPOSICIONES TEMA 2. SEMANTICA 2.1 Lenguaje formal de la l\u00f3gica de enunciados. 2.2 Conectores, funciones de verdad y tablas de verdad. 2.3 Conjuntos adecuados de conectivas: … <\/p>\n

Continue reading “L\u00f3gica. Temario – Bibliograf\u00eda”<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-171","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/171","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/comments?post=171"}],"version-history":[{"count":13,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/171\/revisions"}],"predecessor-version":[{"id":378,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/171\/revisions\/378"}],"wp:attachment":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/media?parent=171"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}