Pgina 1 de 8

GUA DOCENTE DE LA ASIGNATURA

LGICA Y MTODOS DISCRETOS

MDULO

MATERIA

CURSO

SEMESTRE

CRDITOS

TIPO

Formacin Bsica

Matemticas

1o

2o

Bsica

PROFESOR(ES)

DIRECCIN COMPLETA DE CONTACTO PARA TUTORAS

(Direccin postal, telfono, correo electrnico, etc.)

HORARIO PARA TUTORAS

Benjamn Alarcn Heredia

Fac. de Ciencias, 2a planta, despacho 34,

958243289, baheredia@ugr.es

ver en SWAD

Jess Garca Miranda

ETSIIT, 2a planta, despacho 14,

958240824, jesusgm@ugr.es

http://grados.ugr.es/
informatica/pages/
infoacademica/profesorado/*/11

Esperanza Lpez Centella

lvaro Martnez Sevilla
Evangelina Santos laez
Juan Manuel Urbano Blanco

Fac. de Ciencias, 2a planta, despacho 34,

958243289, esperanza@ugr.es
Fac. Ciencias, Dpto. lgebra, 2a planta, despacho 42,
958243377, jlobillo@ugr.es
ETSIIT, 2a planta, despacho 15,
958240823, esantos@ugr.es
Fac. Ciencias, Dpto. lgebra, 2a planta, despacho 27
958243290, jurbano@ugr.es

GRADO EN EL QUE SE IMPARTE

ver en SWAD
ver en SWAD
ver en SWAD

OTROS GRADOS EN LOS QUE SE PODRA OFERTAR

Grado en Ingeniera Informtica

PRERREQUISITOS Y/O RECOMENDACIONES (Si ha lugar)

Dado el carcter de formacin bsica de este mdulo, los alumnos no tendrn que tener asignaturas, materias o mdulos aprobados
como requisito indispensable para cursar el mdulo, salvo los propios del acceso al Ttulo.

Pgina 2 de 8

BREVE DESCRIPCIN DE CONTENIDOS (SEGN MEMORIA DE VERIFICACIN DEL GRADO)

lgebra de Boole y Funciones Booleanas.

Lgica Proposicional.
Lgica de Primer Orden.
Unificacin y Resolucin.
Induccin y Recurrencia.
Grafos y rboles.

COMPETENCIAS GENERALES Y ESPECFICAS

Competencias especficas de la asignatura

B1, Capacidad para la resolucin de los problemas matemticos que puedan plantearse en la ingeniera. Aptitud para aplicar los
conocimientos sobre: lgebra lineal; clculo diferencial e integral; mtodos numricos; algortmica numrica; estadstica y
optimizacin.
B3. 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.
Competencias especficas del ttulo
E5. Capacidad para concebir, desarrollar y mantener sistemas, servicios y aplicaciones informticas empleando los mtodos de la
ingeniera del software como instrumento para el aseguramiento de su calidad.
E8. Conocimiento de las materias bsicas y tecnologas, que capaciten para el aprendizaje y desarrollo de nuevos mtodos y
tecnologas, as como las que les doten de una gran versatilidad para adaptarse a nuevas situaciones.
E9. Capacidad para resolver problemas con iniciativa, toma de decisiones, autonoma y creatividad. Capacidad para saber comunicar y
transmitir los conocimientos, habilidades y destrezas de la profesin de Ingeniero Tcnico en Informtica.
E10. Conocimientos para la realizacin de mediciones, clculos, valoraciones, tasaciones, peritaciones, estudios, informes,
planificacin de tareas y otros trabajos anlogos de informtica E11. Capacidad para analizar y valorar el impacto social y
medioambiental de las soluciones tcnicas, comprendiendo la responsabilidad tica y profesional de la actividad del Ingeniero
Tcnico en Informtica.
E12. Conocimiento y aplicacin de elementos bsicos de economa y de gestin de recursos humanos, organizacin y planificacin de
proyectos, as como la legislacin, regulacin y normalizacin en el mbito de los proyectos informticos, de acuerdo con los
conocimientos adquiridos.

Pgina 3 de 8

Competencias transversales o generales

T1. Capacidad de anlisis y sntesis: Encontrar, analizar, criticar (razonamiento crtico), relacionar, estructurar y sintetizar informacin
proveniente de diversas fuentes, as como integrar ideas y conocimientos.
T2. Capacidad de organizacin y planificacin as como capacidad de gestin de la informacin.
T3. Capacidad de comunicacin oral y escrita en el mbito acadmico y profesional con especial nfasis, en la redaccin de
documentacin tcnica.
T4. Capacidad para la resolucin de problemas.
T5. Capacidad para tomar decisiones basadas en criterios objetivos (datos experimentales, cientficos o de simulacin disponibles)
as como capacidad de argumentar y justificar lgicamente dichas decisiones, sabiendo aceptar otros puntos de vista.
T6. Capacidad para el uso y aplicacin de las TIC en el mbito acadmico y profesional.
T7. Capacidad de comunicacin en lengua extranjera, particularmente en ingls.
T8. Capacidad de trabajo en equipo.
T9. Capacidad para el aprendizaje autnomo as como iniciativa y espritu emprendedor.
T10. Motivacin por la calidad y la mejora continua, actuando con rigor, responsabilidad y tica profesional.
T11. Capacidad para adaptarse a las tecnologas y a los futuros entornos actualizando las competencias profesionales.
T12. Capacidad para innovar y generar nuevas ideas.
T13. Sensibilidad hacia temas medioambientales.
T14. Respeto a los derechos fundamentales y de igualdad entre hombres y mujeres.
T15. Capacidad para proyectar los conocimientos, habilidades y destrezas adquiridos para promover una sociedad basada en los
valores de la libertad, la justicia, la igualdad y el pluralismo.

Pgina 4 de 8

OBJETIVOS (EXPRESADOS COMO RESULTADOS DE APRENDIZAJE)

Comprender y manejar los conceptos generales del lenguaje matemtico y de la teora de conjuntos.
Capacidad para conocer y aplicar los conceptos de relaciones y funciones.
Conocer las propiedades de las operaciones algebraicas elementales con nmeros enteros y con polinomios en una variable.
Capacidad para comprender y utilizar la aritmtica modular.
Capacidad para modelizar con aritmtica modular problemas en informtica, y encontrar la solucin a los mismos con su
aritmtica.
Capacidad de conocer y utilizar software simblico para resolver problemas sobre aritmtica entera, modular y polinomial.
Conocer el lenguaje y las aplicaciones ms elementales de la teora de grafos, as como algoritmos de resolucin de los
problemas ms comunes.
Conocer y aplicar los conceptos de grafos y rboles a diversos casos de carcter informtico para conseguir una estructura de
trabajo adecuada a ellos.
Saber plantear problemas de ordenacin y enumeracin y utilizar tcnicas eficientes para su resolucin.
Capacidad de conocer y utilizar software simblico para resolver problemas sobre grafos, rboles y combinatoria.
Reconocer la utilidad de las matrices para resolver sistemas de ecuaciones lineales.
Abstraer de las propiedades de las matrices la estructura de espacio vectorial y de aplicacin lineal.
Conocer y saber aplicar los procedimientos de diagonalizacin de matrices cuadradas.
Capacidad para resolver problemas sobre matrices mediante la tcnica de diagonalizacin de las mismas.
Capacidad para utilizar software simblico para la resolucin de problemas con aplicaciones lineales y matrices.

Pgina 5 de 8

TEMARIO DETALLADO DE LA ASIGNATURA

TEMARIO DE TEORA
1. lgebras de Boole y funciones booleanas (3 semanas): Representacin atmica (caso finito). Formas normales de
expresiones booleanas. Conjuntos funcionalmente completos. Circuitos combinacionales. Minimizacin: algoritmo de QuineMcCluskey.
2. Lgica Proposicional (2.5 semanas): Lenguaje proposicional. Implicacin semntica. Teorema de la deduccin. Forma normal
conjuntiva. Mtodo de Davis-Putman.
3. Lgica de Primer Orden (2.5 semanas): Descripcin de lenguajes de primer orden. Sentencias. Semntica. Consecuencia
lgica e insatisfacibilidad. Formas normales.
4. Unificacin y Resolucin (2 semanas): Algoritmo de unificacin. Principio de resolucin. Conjuntos de Horn. La resolucin
lineal-input ordenada.
5. Induccin y recurrencia (2 semanas). El principio de buen orden. Induccin matemtica. La relacin de recurrencia lineal
homognea con coeficientes constantes. La relacin de recurrencia no homognea.
6. Grafos y rboles (3 semanas). Vrtices y lados. Matriz de adyacencia. Tipos especiales de grafos. El algoritmo de
Havel-Hakimi. Caminos en un grafo. Algoritmos de bsqueda de caminos. Grafos planos y coloracin. rboles. Algoritmo de
Huffman.
TEMARIO DE PRCTICAS
1. Introduccin al Software Matemtico.
2. Prctica de lgebra de Boole.
3. Prctica de Funciones Booleanas.
4. Prctica de Lgica Proposional.
5. Introduccin al Lenguaje Prolog
6. Programacin Bsica en el Lenguaje Prolog
7. Prctica de Induccin y Recurrencia.
8. Prctica de Grafos
9. Prctica de rboles.

Pgina 6 de 8

BIBLIOGRAFA

BIBLIOGRAFA FUNDAMENTAL
Biggs, N. L.; Matemtica Discreta. Vicens Vives.
Chin-Liang, C.; Char-Tung Lee, R.; Symbolic Logic and Mechanical Theorem Proving. Academic Press
Delahaye, J.P. Formal Methods in Artificial Intelligence. Willey, 1987.
Grimaldi, R. P.; Matemtica Discreta y Combinatoria. Addison-Wesley
Hortal T.; Mart, N. y otros. Lgica Matemtica para Informticos. Ejercicios Resueltos. Prentice Hall Pearson, 2008.
Lloyd, J.W. Foundations of Logic Programming. Springer Verlag.
Permingeat, N.; Glaude, D.; lgebra de Boole: Teora, Mtodos de Clculo y Aplicaciones. Vicens Vives.
Yablonsky, S.V.; Introduction to Discrete Mathematics. Mir
Paniagua, E; Snchez Gonzlez, J.L.; Martn Rubio, F. Lgica computacional. Ed. Paraninfo.
Liu, C.L. Elementos de Matemticas Discretas. Ed. McGraw Hill.
Lipschutz, Seymour. 2000 problemas resueltos de matemtica discreta. McGraw Hill.
Rosen, K.H. Matemtica Discreta y sus aplicaciones. McGraw Hill, 2003.
BIBLIOGRAFA COMPLEMENTARIA
Apt, K.; Van Emden, M.H.; Contribution to the Theory of Logic Programming. Journal of the Assotiation for Computing
Machinery, 29(3): 841-862, 1982.
Gabrilov, G.P.; Sapozhenko, A.A.; Selected Problems in Discrete Mathematics. Mir
Henschen, L.; Wos L.; Unit Refutation and Horn Sets. Journal of the Assotiation for Computer Machinery, 21(4): 590-605. 1974
Loveland, D.W.; Automated Theorem Proving. North Holland.
Sterling, L. y E. Shapiro. The Art of Prolog : advanced programming techniques. MIT Press (Col. Logic programming). 2001

Pgina 7 de 8

ENLACES RECOMENDADOS

Tutorial de Sage
Manual de Prolog

METODOLOGA DOCENTE

B1, B3, E5, E8, E9, E10, E12, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15.

RGIMEN DE ASISTENCIA

La asistencia a las clases, tanto tericas como prcticas, es obligatoria en al menos un 75 % de las sesiones, como parte de la
evaluacin continua.

Pgina 8 de 8

EVALUACIN (INSTRUMENTOS DE EVALUACIN, CRITERIOS DE EVALUACIN Y PORCENTAJE SOBRE LA CALIFICACIN FINAL, ETC.)

Para la evaluacin se considerarn los siguientes elementos:

Calificacin obtenida en pruebas parciales desarrolladas durante el curso.
Participacin en los seminarios.
Participacin en las tutoras colectivas.
Asistencia a tutoras individuales.
Asistencia a clases tericas y prcticas.
Entrega de tareas que sean solicitadas por el profesor.
Examen global de la asignatura.
Para los estudiantes que se acojan a la evaluacin nica final, esta modalidad de evaluacin estar formada por todas aquellas
pruebas que el profesor estime oportunas, de forma que se pueda acreditar que el estudiante ha adquirido la totalidad de las
competencias generales y especficas descritas en el apartado correspondiente de esta Gua Docente.

Directrices Generales Todo lo relativo a la evaluacin se regir por la Normativa de evaluacin y calificacin de los estudiantes
vigente en la Universidad de Granada, que puede consultarse en: Normativa de Evaluacin y Calificacin de los Estudiantes de la UGR
El sistema de calificaciones se expresar mediante calificacin numrica de acuerdo con lo establecido en el art. 5 del
R.D. 1125/2003, de 5 de septiembre, por el que se establece el sistema europeo de crditos y el sistema de
calificaciones en las titulaciones universitarias de carcter oficial y validez en el territorio nacional.

INFORMACIN ADICIONAL

Tabln de docencia de la Universidad de Granada.

Definicin de grupo grande y grupo pequeo:
Los grupos grandes son grupos de 45 a 60 estudiantes.
Los grupos pequeos son grupos de 15 a 20 estudiantes.