Matematika Diskretua irakasgaia Informatika Ingeniaritzako Graduaren matematika arloko oinarrizko prestakuntzan kokatzen da. Irakasgaia informatikako hainbat arloren oinarria da: algoritmika, kriptografia, programazio logikoa, software eta hardware sistemen garapenerako metodo formalak, etab. Bigarren mailako Estatistika eta Ikerkuntza Operatiboa irakasgaietarako beharrezkoa den oinarrizko ezagutza matematikoa jasotzeko ere garrantzitsua da.



Ezagutza matematiko teorikoa lantzeaz gain, alde praktikoa ere lantzen da irakasgaian. Software matematikoa erabiliz, Matematika Diskretuko problemen ebazpenerako programak garatzen dira. Edizio matematikorako softwarea ere erabiltzen da.

Lógica, Conjuntos, Aritmética entera y modular, Técnicas de contar, Teoría de grafos

Tema 1 Lógica Cáculo proposicional y cálculo de predicados. Sintaxis, semántica. Deducción formal

Tema 2 Teoría de conjuntos y números enteros Conjuntos, operaciones con conjuntos. Operaciones en los enteros. Divisibilidad, números primos, máximo común divisor, mínimo común múltiplo. Algoritmo de Euclides

Tema 3 Relaciones, funciones Relaciones binarias, relaciones de orden, relaciones de equivalencia. Congruencia módulo n. Funciones, tipos de funciones. Función inversa. Composición de funciones

Tema 4 Combinatoria y probabilidad discreta Reglas de la suma y del producto. Variaciones, permutaciones, combinaciones. Combinaciones con repetición. Probabilidad discreta

Tema 5 Grafos Definiciones. Matriz de adyacencia. Isomorfismo de grafos. Grafos eulerianos y hamiltonianos. Árboles, árboles con raíz

Las prácticas de aula se centraran en la resolución de ejercicios y trabajos en grupo.

En las prácticas de laboratorio se utilizara un software matemático de tipo general para resolver de forma colaborativa problemas relacionados con el temario.

• Continuous Assessment System
• Final Assessment System
• Tools and qualification percentages:
  • Ehunekoak eta ebaluazio motak hurrengo ataletan zehazten dira (%): 100

La evaluación continua implica la asistencia a las clases teóricas, la participación en los trabajos de grupo (prácticas de aula) y en los laboratorios.

Bigarren deialdian %100eko balioa duen idatzizko azterketa gainditu beharko da.

Moodle 13/14 gela birtualean eskuragarri egongo da ikasleak beharko duen oinarrizko material guztia.

Basic bibliography

Grimaldi, R.P. Matemáticas discreta y combinatoria: una introducción con aplicaciones. Addison-Wesley Iberoamericana, Argentina, 1997.



Liu, C. L. Elementos de Matemáticas discretas. McGraw-Hill, México, 1995.



Grassman, W. K., Tremblay, J-P. Matemática discreta y lógica. Prentice Halll, Madrid, 1996.



García Merayo, F., Hernández Peñalver, G., Nevot Luna, A. Problemas resueltos de matemática discreta. Thompson-Paraninfo, Madrid, 2003.



Angulo, P., Baragaña, I. Apuntes de Matemática Discreta. EHU-KZAA-IRT-1/05. Donostia, 2005

In-depth bibliography

Biggs, N.L. Matemática discreta. Vicens Vives, Barcelona, 1994.

Chang, C. L., Lee, R.C.T. Symbolic Logic and mechanical theorem proving. Academic Press, Neww York, 1973

Gibbons, A. Algoritmic graph theory. Cambridge University Press, Cambridge, 1985

Deaño, A. Introducción a la lógica formal. Alianza, Madrid 1980.

Web addresses

http://mathforum.org/library/

http://mathworld.wolfram.com/