Professional Documents
Culture Documents
MDULO
MATERIA
CURSO
SEMESTRE
CRDITOS
TIPO
Formacin Bsica
Matemticas
1o
2o
Bsica
PROFESOR(ES)
ver en SWAD
http://grados.ugr.es/
informatica/pages/
infoacademica/profesorado/*/11
ver en SWAD
ver en SWAD
ver en SWAD
Pgina 2 de 8
Pgina 3 de 8
Pgina 4 de 8
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 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.)
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