Vicerrectorado de Profesorado, Titulaciones, Ordenacin Acadmica, Coordinacin y Campus.

GUA DOCENTE DE LGICA

Curso 2011-2012

ltima actualizacin: 18 de julio de 2011

Vicerrectorado de Profesorado, Titulaciones, Ordenacin Acadmica, Coordinacin y Campus. TITULACION: Grado en Ingeniera Informtica GUIA DOCENTE DE LA ASIGNATURA: Lgica Profesores: Alessandra Gallinari Roberto Muoz Izquierdo Coordinador/a de la asignatura: Alessandra Gallinari

I.- Identificacin de la asignatura

Tipo Materia Perodo de imparticin N Crditos Idioma en el que se imparte Departamento Tasa de xito

Formacin bsica Matemticas Curso 1, semestre 1 6 Castellano Matemtica Aplicada

II.- Presentacin

La lgica formal es la ciencia que estudia las leyes de inferencia en los razonamientos. Por medio de la formalizacin del lenguaje y de sus reglas bsicas, proporciona las herramientas necesarias para poder tratar e intentar resolver rigurosamente problemas que tienen sus origines y aplicaciones en todas las reas de las ciencias. La definicin de lgica como ciencia formal en la cultura occidental es el resultado de un largo desarrollo histrico que empieza con las obras de algunos filsofos griegos y llega hasta la actualidad. Histricamente las reas de aplicacin ms importantes de la lgica son la filosofa, las matemticas y la informtica. En las matemticas es necesario aprender a distinguir entre razonamientos que son matemticamente

ltima actualizacin: 18 de julio de 2011

Vicerrectorado de Profesorado, Titulaciones, Ordenacin Acadmica, Coordinacin y Campus. correctos (las demostraciones) y razonamientos que no lo son. Adems, para poder resolver problemas concretos es necesario desarrollar la habilidad de construir razonamientos matemticos originales. La lgica proporciona las herramientas necesarias para el razonamiento matemtico, pero tambin para muchas otras aplicaciones. Toda teora matemtica se construye a partir de unos axiomas, que definen las propiedades bsicas de los objetos de la teora que se consideran verdaderas y, sin embargo, no se demuestran. La geometra eucldea y la construccin de los nmeros reales son dos ejemplos de este tipo de teoras axiomticas. El modelo matemtico conocido como lgebra de Boole es otro ejemplo muy importante en informtica usado para el diseo de circuitos lgicos y las bsquedas booleanas en grandes colecciones de datos (ndices de pginas Web, datos genticos, etc.). Los mtodos deductivos de la lgica matemtica estn a la base de la demostracin automtica de teoremas. Se trata de buscar los sistemas de demostracin ms eficientes para su implementacin en un ordenador. Definida la semntica de un lenguaje de programacin, se pueden usar los mtodos de demostracin de la lgica matemtica para verificar (automticamente) la correccin de programas y sus propiedades. La programacin lgica est a la base de la inteligencia artificial y permite deducir nuevos conocimientos a partir de una base de conocimientos (los axiomas) y una serie de deducciones automticas. Por tanto, algunas de las reas de aplicacin de la lgica en informtica son: La minera de datos. La descripcin de la semntica de los lenguajes de programacin y la verificacin de programas. La demostracin automtica de teoremas. La programacin lgica y los sistemas basados en el conocimiento en la inteligencia artificial.

En particular, los alumnos podrn aplicar sus conocimientos de lgica en las asignaturas relacionadas con el estudio del lgebra, del Clculo, de la Matemtica Discreta, de la Electrnica Digital, de la Teora de Autmatas y Lenguajes Formales, de la Programacin, de las Bases de Datos, etc.

Objetivos Introducir herramientas y conceptos bsicos de la Lgica Matemtica y sus aplicaciones. Ayudar al alumno a aprender a razonar y formalizar correctamente. Conocimientos previos: Los propios de las Matemticas estudiadas en Bachillerato.

ltima actualizacin: 18 de julio de 2011

Vicerrectorado de Profesorado, Titulaciones, Ordenacin Acadmica, Coordinacin y Campus. Recomendaciones: Bibliografa: tener unos buenos libros de texto facilita enormemente el estudio de cualquier materia. El material de la asignatura es una ayuda para las clases, no pretende sustituir la bibliografa recomendada. Mtodo de estudio: las asignaturas de matemticas requieren un estudio llevado al da. Los temas del programa estn desarrollados de forma tal que el aprendizaje sea progresivo y, por tanto, no es posible entender un nuevo tema si se tienen dudas importantes sobre el anterior. Es importante que el alumno lea el material de la asignatura antes de las clases tericas correspondientes. En las clases prcticas los alumnos pueden verificar si su nivel de comprensin de la materia es el adecuado y tienen la oportunidad de corregir errores de aprendizaje. En esto tipo de clases es conveniente aprovechar la presencia y la disponibilidad del profesor para aclarar posibles dudas. Las pruebas parciales tambin sirven para que el alumno pueda verificar su nivel de conocimiento de la materia. Si es necesario, permiten mejorar su preparacin a tiempo para el examen final. Para aclarar dudas es conveniente: volver a estudiar el tema que presenta dificultades consultando distintos textos e intentar resolver los problemas propuestos, preguntar las dudas al profesor en clase o durante sus horas de tutora, trabar en grupo con otros compaeros.

III.- Competencias Bsicas B3. Especficas Capacidad para comprender y dominar los conceptos bsicos de matemtica discreta, lgica, algortmica y complejidad computacional, y su aplicacin para la resolucin de problemas propios de la ingeniera. Capacidad para adquirir, obtener, formalizar y representar el conocimiento humano en una forma computable para la resolucin de problemas mediante un sistemas informtico en cualquier mbito de aplicacin, particularmente los relacionados con aspectos de computacin, percepcin y actuacin en ambientes o entornos inteligentes.

E5.

IV.- Contenido IV. A. Temario de la asignatura Bloque temtico I.- Preliminares. Tema Tema 1. Introduccin. Tema 2. Algunas nociones de teora de conjuntos, relaciones y funciones. Propiedades bsicas de conjuntos. Relaciones binarias. Apartados

ltima actualizacin: 18 de julio de 2011

Vicerrectorado de Profesorado, Titulaciones, Ordenacin Acadmica, Coordinacin y Campus. Funciones. II.- Lgica de proposiciones Tema 1. Sintaxis de la lgica de proposicional. Alfabeto. Frmulas. Formalizacin del lenguaje natural. Tema 2. Semntica de la lgica proposicional. Teora interpretativa. Evaluacin semntica de las frmulas. Tautologas, contingencias y contradicciones. Equivalencia de frmulas. Mtodos de refutacin. Tableaux. Tema 3. Teora de la demostracin. III.- Lgica de predicados de primer orden. Tema 1. Sintaxis de la lgica de primer orden. Sistema de Deduccin Natural. Alfabto. Trminos y frmulas. Formalizacin del lenguaje natural. Evaluacin semntica de trminos y frmulas. Validez semntica de frmulas. Equivalencia de frmulas. Tema 3. Teora de la demostracin. Sistemas de Deduccin Natural.

Tema 2. Semntica de la lgica de primer orden. Teora interpretativa.

IV. B. Actividades obligatorias (evaluables): 1. Pruebas Tres exmenes parciales de 1 hora Un examen final de 3 horas

ltima actualizacin: 18 de julio de 2011

Vicerrectorado de Profesorado, Titulaciones, Ordenacin Acadmica, Coordinacin y Campus. V.- Tiempo de trabajo

Clases tericas Clases prcticas/de resolucin de problemas, casos, etc. Realizacin de pruebas Tutoras acadmicas Preparacin de clases tericas Preparacin de clases prcticas/problemas/casos Preparacin de pruebas Total de horas de trabajo del estudiante

21 21 6 12 30 30 30 150

VI.- Metodologa y plan de trabajo

Clases tericas Periodo Semanas 1-2, 4 horas Semanas 3-4, 4 horas Semanas, 5-7, 4 horas Semanas 8-9, 4 horas Semanas 10, 2 horas Semanas 11-12, 3 horas Contenidos Bloque I, temas 1 y 2 Bloque II, tema 1 Bloque II, tema 2 Bloque II, tema 3 Bloque III, tema 1 Bloque III, temas 2 y 3

Prcticas/de resolucin de problemas, casos, etc. Periodo Semanas 1-2, 2 horas Semanas 3-4, 1 hora Contenidos Bloque I, tema 2 Bloque II, tema 1

ltima actualizacin: 18 de julio de 2011

Vicerrectorado de Profesorado, Titulaciones, Ordenacin Acadmica, Coordinacin y Campus. Semanas 5-7, 3 horas Semanas 8-9, 1 hora Semanas 10, 1 hora Bloque II, tema 2 Bloque II, tema 3 Bloque III, tema 1

Semanas 11-12, 2 horas Bloque III, temas 2 y 3

Laboratorios de problemas Periodo Semanas 1-2, 2 horas Semanas 3-4, 2 horas Semanas 5-7, 3 horas Semanas 8-9, 1 hora Semanas 10, 1 hora Contenidos Bloque I, tema 2 Bloque II, tema 1 Bloque II, tema 2 Bloque II, tema 3 Bloque III, tema 1

Semanas 11-12, 2 horas Bloque III, temas 2 y 3

Tutoras acadmicas Periodo Semanales, 1 hora Repaso, discusin y aclaracin de dudas sobre todos los temas tratados.

Pruebas Fecha Contenidos

Primer examen parcial, semana Bloque I, temas 2. Bloque II, tema 1. 4, 1 hora Segundo examen semana 9, 1 hora parcial, Bloque II, tema 1 y 2.

Tercer examen parcial, semana Bloque II, tema 3. Bloque III, tema 1. 13, 1 hora Examen final, 3 horas, fecha por Bloque III, tema 2 y 3. determinar. En el examen final el alumno que lo quiera puede volver a examinarse sobre todo el temario.

ltima actualizacin: 18 de julio de 2011

Vicerrectorado de Profesorado, Titulaciones, Ordenacin Acadmica, Coordinacin y Campus.

VII.- Mtodos de evaluacin VII. A. Ponderacin para la evaluacin continua En el sistema de evaluacin continua la asistencia a clase es obligatoria y su valoracin en el proceso de evaluacin continua de la asignatura la establecern los profesores en cada asignatura. % Mnimo de asistencia a clase: 80%.
Actividad evaluadora Tipo Ponderacin Periodo Contenido

Prueba: 3 exmenes parciales. Preguntas de desarrollo escritas. Prueba: Examen final (diciembre y/o junio). Preguntas de desarrollo escritas. Total Liberatoria Puntuacin mnima (de 1 a 10): 3,5 100% Reevaluable 40%
Por determinar. Bloque III, tema 2 y 3.

Liberatoria Puntuacin mnima (de 1 a 10): 3,5

Reevaluable

60%
(cada 20%) examen

Semanas 4, 9 y 13

Segn la planificacin anterior

NOTA IMPORTANTE: Los alumnos podrn volver a examinarse de los temas relativos a uno o ms de los exmenes parciales durante el examen final. Para aprobar la asignatura, la nota mnima total tiene que ser de 5 sobre 10. VII. B. Ponderacin para la evaluacin de alumnos a tiempo parcial Para que un alumno pueda optar a esta evaluacin, tendr que obtener la Dispensa Acadmica para la asignatura, que habr solicitado al Decano o Director/a del Centro que imparte su titulacin. La Dispensa Acadmica no excluye de la evaluacin continua. Dicha evaluacin se acomodar por el profesor, asistido por el coordinador de grado, establecindose la adaptacin curricular segn las caractersticas de cada caso concreto. VII. C. Revisin de las pruebas de evaluacin. En el horario de tutoras de la asignatura.

ltima actualizacin: 18 de julio de 2011

Vicerrectorado de Profesorado, Titulaciones, Ordenacin Acadmica, Coordinacin y Campus.

VIII.- Recursos y materiales didcticos General Ttulo Autor Editorial Ttulo Autor Editorial Ttulo Autor Editorial Ttulo Autor Editorial Ttulo Autor Editorial Ttulo Autor Editorial Apuntes y Problemas de Lgica Matemtica. Alessandra Gallinari. URJC, Dykinson S.L., Madrid, 2009. Lgica para Principiantes. Manzano, M., Huertas A. Alianza Editorial, 2004. Lgica matemtica para informticos: ejercicios resueltos Hortal Gonzlez, Teresa Pearson Prentice Hall Matemtica Discreta y Lgica Matemtica. Hortal M.T., Leach J., Rodrguez M. Editorial Complutense, 2001. Matemtica discreta y sus aplicaciones. Rosen K. H. McGraw Hill, 2004. Lgica formal para informticos. Arenas, L. Ediciones Daz de Santos, 1996.

ltima actualizacin: 18 de julio de 2011

Vicerrectorado de Profesorado, Titulaciones, Ordenacin Acadmica, Coordinacin y Campus.

Complementaria Ttulo Autor Editorial Ttulo Autor Editorial Ttulo Autor Editorial Ttulo Autor Editorial Ttulo Lgica matemtica. Cuena, J. Alianza Editorial, 1985. Introduccin a la lgica formal. Deao, A. Alianza Editorial. 1994. Mathematical Logic for Computer Science. Ben-Ari, M. Springer Verlag. 2001. Fundamentos de Lgica Matemtica. Aranda, J., Fernndez J. L., Jimnez, J., Morilla, F. Ediciones Sanz y Torres, 1999. The Logical Basis for Computer Programming.

Direcciones web de inters Direccin 1 https://www.campusvirtual.urjc.es Direccin 2 http://www.ia.uned.es/asignaturas/logica4/libro-logica-07.pdf Direccin 3 http://www.di.uniovi.es/%7Elabra/Logica/Logica.html Direccin 4 http://www.escet.urjc.es/~rmunoz

10

ltima actualizacin: 18 de julio de 2011

Vicerrectorado de Profesorado, Titulaciones, Ordenacin Acadmica, Coordinacin y Campus.

IX.- Profesorado Nombre y apellidos Horario de tutoras acadmicas Alessandra Gallinari Tutoras acadmicas: semanales, en horario por determinar. Tutoras individuales: Lunes, de 11 a 13 y martes de 16 a 20, previa consulta del alumno. alessandra.gallinari@urjc.es Matemtica Aplicada/Matemtica Aplicada Titular de Escuela Universitaria Doctora en Matemticas 13 aos en el rea y 6 en la asignatura. Dos tramos de docencia. Profesora de Matemticas desde 1988. Titular de Escuela Universitaria desde marzo 2004.

Correo electrnico Departamento/rea de conocimiento Categora Titulacin Acadmica Experiencia Docente Experiencia profesional

Nombre y apellidos Horario de tutoras acadmicas

Roberto Muoz Tutoras acadmicas: semanales, en horario por determinar. Tutoras individuales: Lunes de 9 a 12, Mircoles de 13 a 16.

Correo electrnico Departamento Categora Titulacin Acadmica Experiencia Docente Experiencia profesional

roberto.munoz@urjc.es Matemtica Aplicada. Profesor Titular de Universidad Doctor en Cc. Matemticas 12 aos en el rea Profesor de Matemticas desde 1999. Titular de Universidad desde marzo 2004.

11

ltima actualizacin: 18 de julio de 2011