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

Lógica Lógica proposicional. Sintaxis y Semántica. Técnicas de razonamiento.

Aritmética entera. Aritmética entera. Divisibilidad. Máximo común divisor. Algoritmo de Euclides. La identidad de Bezout. Números primos entre sí. Mínimo común múltiplo. Números primos. Función de Euler.

Técnicas de contar. Cardinal de conjuntos finitos. Principio de adición. Principio de las cajas. Contar en tablas. Combinatoria. Principio de inclusión y exclusión.

Aritmética modular. Congruencias. Aritmética modular. Elementos invertibles. Teoremas de Euler y de Fermat. Congruencias lineales. El código de clave pública RSA.

Grafos Definiciones. Grafos y sus representaciones. Grafos isomorfos. Grafo complementario. Grafos especiales. Caminos y ciclos. Grafos conexos. Grafos eulerianos y grafos hamiltonianos. Árboles. Árboles enraizados. Coloreado. Grafos ponderados. Grafos planos.

En algunas de las prácticas de aula se recogerá, sin necesidad de previo aviso, el trabajo realizado por los estudiantes para su calificación como parte de las tareas del curso.



Tras la impartición del primer tema tendrá lugar un examen escrito de tipo práctico sobre sus contenidos.

En la convocatoria ordinaria:

El examen escrito supondrá el 80/% de la calificación final.

La realización de prácticas supondrá el 20/% de la calificación final.





En la convocatoria extraordinaria:

El examen escrito supondrá el 100/% de la calificación final.

Ninguno.

Oinarrizko bibliografia

Matemáticas discreta y Combinatoria

Grimaldi, R.P.

Ed. Addison Wesley Iberoamericana.



Matemática discreta. Problemas y ejercicios resueltos.

García C.; López, J.M. y Puigjaner, D.

Ed. Prentice Hall.



Matemática discreta

Biggs, N.L.

Ed. Vicens-Vives.



Elementos de Matemáticas Discretas

Liu, C.L.

Ed. Mc-Graw-Hill.



Matemática discreta

García Merayo, F.

Ed. Thomson.



Matemática Discreta y Lógica.

Grassmann, W.K. y Tremblay, J.P.

Ed. Prentice Hall.

Gehiago sakontzeko bibliografia

Applied and Algorithmic Graph Theory
Chartrand, G. y Oellermann,O.
Ed. Mc-Graw-Hill.

Introducción a la Combinatoria
Anderson, I.
Ed. Vicens-Vives.

Elementary Number Theory
Jones, G.A. y Jones, J.M.
Ed Springer Verlag.

El arte de programar ordenadores (Vol 1. Algoritmos fundamentales)
Knutt, D.E.
Ed. Reverté.

Discrete Mathematics with algorithms
Albertson, M.O. y Hutchinson, J.P.
Ed. John Wiley.

Lógica Matemática para Informáticos. Ejercicios resueltos.
Hortalá González, T. y otros.
Ed. Pearson. Prentice Hall.

Aldizkariak

SUMA (Publicación de la Federación Española de Sociedades de Profesores de Matemáticas FESMP)
SIGMA (Publicada por el Departamento de Educación del Gobierno Vasco en colaboración con los Berritzegunes) MAT2 Materials Matemâtics (Revista electrónica de Divulgación editada por el Departamento de Matemáticas de la Universidad Autónoma de Barcelona) mat.uab.es/~matmat/Cast/index.html

www.egauss.com
www.matematicas.net