{"id":160,"date":"2017-06-30T02:44:50","date_gmt":"2017-06-30T02:44:50","guid":{"rendered":"http:\/\/dectau.uclm.es\/Pascual.Julian\/?page_id=160"},"modified":"2018-07-21T18:23:11","modified_gmt":"2018-07-21T18:23:11","slug":"enlaces","status":"publish","type":"page","link":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/enlaces\/","title":{"rendered":"L\u00f3gica"},"content":{"rendered":"<h5 style=\"text-align: center;\"><strong>Caracter\u00edsticas Generales<\/strong><\/h5>\n<p><strong>Nombre de la Asignatura:\u00a0 <\/strong>L\u00d3GICA<br \/>\n<strong>Titulaci\u00f3n: <\/strong>GRADO EN INGENIER\u00cdA INFORM\u00c1TICA<br \/>\n<strong>Cr\u00e9ditos:\u00a0 <\/strong>6<br \/>\n<strong>Car\u00e1cter:<\/strong>\u00a0 TRONCAL<br \/>\n<strong>Curso: \u00a02<\/strong>\u00ba<br \/>\n<strong>Temporalidad:\u00a0 <\/strong>Cuatrimestral (1er cuatrimestre)<br \/>\n<strong>Departamento:\u00a0 <\/strong>Departamento de Tecnolog\u00edas y Sistemas de Informaci\u00f3n<br \/>\n<strong>Profesores:\u00a0<\/strong> Pascual Juli\u00e1n Iranzo (coordinador), Jos\u00e9 \u00c1ngel Olivas Varela, Carmen Lacave Rodero &amp; Juan Giralt Mui\u00f1a<br \/>\n<strong> Pre-requisitos (recomendaciones):\u00a0 <\/strong>No tiene (aunque se recomienda tener conocimientos elementales de matem\u00e1ticas discretas)<\/p>\n<p style=\"text-align: justify;\"><strong>Objetivos: <\/strong>La asignatura se centra en el estudio de los sistemas l\u00f3gicos tradicionales. El objetivo principal es que el alumno conozca estos sistemas y reconozca su utilidad y aplicabilidad en las ciencias de la computaci\u00f3n.<\/p>\n<p style=\"text-align: justify;\"><strong>Estructura del temario: <\/strong>L\u00f3gica de Enunciados: Sintaxis, sem\u00e1ntica, propiedades formales y deducci\u00f3n natural. L\u00f3gica de Predicados: Sintaxis, sem\u00e1ntica, propiedades formales y deducci\u00f3n natural. Resoluci\u00f3n, Extensiones y Otras l\u00f3gicas.<\/p>\n<p style=\"text-align: justify;\"><strong>Docencia: <\/strong>\u00a03 horas semanales de teor\u00eda y problemas y 1,5 horas de pr\u00e1ctica en laboratorio.<\/p>\n<p style=\"text-align: justify;\"><strong>Evaluaci\u00f3n: <\/strong>Consta de una prueba final (55% de la nota total), dos ex\u00e1menes de pr\u00e1cticas (20% de la nota total), dos controles de problemas (15% de la nota total) y la entrega y exposici\u00f3n oral de un ensayo (10% de la nota total).<\/p>\n<p><span style=\"color: #ff0000;\"><strong>[Para m\u00e1s informaci\u00f3n, v\u00e9ase la Gu\u00eda Docente de la Asignatura de L\u00f3gica]<\/strong><\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Caracter\u00edsticas Generales Nombre de la Asignatura:\u00a0 L\u00d3GICA Titulaci\u00f3n: GRADO EN INGENIER\u00cdA INFORM\u00c1TICA Cr\u00e9ditos:\u00a0 6 Car\u00e1cter:\u00a0 TRONCAL Curso: \u00a02\u00ba Temporalidad:\u00a0 Cuatrimestral (1er cuatrimestre) Departamento:\u00a0 Departamento de Tecnolog\u00edas y Sistemas de Informaci\u00f3n Profesores:\u00a0 Pascual Juli\u00e1n Iranzo (coordinador), Jos\u00e9 \u00c1ngel Olivas Varela, Carmen Lacave Rodero &amp; Juan Giralt Mui\u00f1a Pre-requisitos (recomendaciones):\u00a0 No tiene (aunque se recomienda tener conocimientos &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/enlaces\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;L\u00f3gica&#8221;<\/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-160","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/160","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=160"}],"version-history":[{"count":8,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/160\/revisions"}],"predecessor-version":[{"id":340,"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/pages\/160\/revisions\/340"}],"wp:attachment":[{"href":"https:\/\/dectau.uclm.es\/Pascual.Julian\/index.php\/wp-json\/wp\/v2\/media?parent=160"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}