CONTENIDOS

Tema 1-1 Algoritmos de Divisin y Euclides

Se presentan las operaciones bsicas entre nmeros enteros: suma, diferencia, producto
y divisin. Se establece el Algoritmo de la Divisin de dos nmeros enteros, que
garantiza la unicidad del cociente y el resto en la divisin. Tras introducir el concepto de
mximo comn divisor, se establece el Algoritmo de Euclides, que nos permitir
calcular el mximo comn divisor de dos nmeros enteros.

Tema 1-2 Nmeros primos y Teorema Fundamental de la

Aritmtica
Se introduce el concepto de nmero primo y se estudian algunas propiedades bsicas de
estos nmeros. Como consecuencia de ellas se establece el Teorema Fundamental de la
Aritmtica, que permite factorizar todo nmero entero no nulo y distinto de 1 como
producto de nmeros primos.

Tema 1-3 El principio de Induccin

A menudo, en las Matemticas, aparecen muchos problemas que tienen un enunciado de
la siguiente forma: Sea P(n) una determinada propiedad acerca de un nmero natural.
Demostrar que P(n) es verdadera para todo n N. Para resolver este tipo de problemas
se utiliza el Principio de Induccin, que se introduce en este Tema, y que es una potente
herramienta en Matemticas.

Tema 1-4 Ecuaciones Diofnticas

Otro importante concepto que se estudiar en esta parte de la asignatura es el de Ecua-
cin Diofntica. Hasta ahora, el estudiante est familiarizado con la resolucin de
ecuaciones lineales del tipo ax + b = 0, con las de segundo grado: ax2+ bx + c = 0, y, en
general, con las ecuaciones polinmicas en una variable, as como con sistemas lineales
de ecuaciones en varias variables. Las soluciones de esta clase de ecuaciones podan
pertenecer al conjunto de los nmeros reales R, o al de los complejos C. Cuando
tratemos de encontrar las soluciones enteras de ecuaciones algebraicas con ms de una
variable indeterminada, estaremos resolviendo una ecuacin diofntica.
En este Tema se estudian las ecuaciones lineales en dos variables: ax + by = n, donde a,
b, x, y, n Z, y las ecuaciones diofnticas de la forma x2 y2= n, entre otras.

Tema 1-5 Congruencias

Un importante problema computacional es el manejo y representacin de nmeros
enteros muy grandes. Para resolver, en parte, este problema es muy til el concepto de
congruencia. Dos nmeros enteros a y b son congruentes mdulo otro entero m, si el
resto de la divisin de a por m es el mismo que el que se obtiene al dividir b por m. Las
congruencias permiten traducir problemas que involucran enteros muy grandes, en
problemas equivalentes usando enteros pequeos.
En este Tema se estudian diversas propiedades de las congruencias y varios teoremas
muy potentes que involucran congruencias.

Tema 1-6 Sistemas de Numeracin y Criterios de Divisibilidad

En el ltimo Tema de esta parte de la asignatura, se estudian los sistemas de
sumeracin. En la sociedad actual, el sistema de numeracin empleado para representar
los nmeros naturales es el sistema decimal. Cuando representamos un nmero, por
ejemplo n = 138, en el sistema decimal, estamos diciendo de forma implcita que
138 = 1 102 + 3 101 + 8 100,
es decir, estamos escribiendo el nmero como una combinacin de potencias de 10. Si
escribisemos el mismo nmero como combinacin de potencias de 5 tendramos
138 = 1 53 + 0 52 + 2 51 + 3 50,
y podramos decir que el nmero 138 escrito en base 5 es 1023.
El uso del sistema decimal es puramente convencional e histricamente se han usado
otros sistemas. Los Babilonios, hace 3000 aos, usaban potencias de 60 (un residuo
actual de ello es nuestra forma de dividir las horas y los minutos). Actualmente los
ordenadores trabajan con los sistemas binario (base 2), octal (base 8) y hexadecimal
(base 16).

Tema 2-1 Grafos, Digrafos y Multigrafos

En este Tema se introducen el lenguaje y los conceptos fundamentales sobre la es-
tructura de grafo: vrtices, aristas, grafos, digrafos, multigrafos, pseudografos, grado de
un vrtice, grafos isomorfos, subgrafo, grafo regular y grafo completo. Tambin se estu-
diar en este tema un resultado fundamental: el Primer Teorema de la Teora de Grafos,
que muestra la relacin existente entre el nmero de aristas de un grafo y los grados de
sus vrtices.

Tema 2-2 Grafos Eulerianos y Hamiltonianos

Los grafos son utilizados con frecuencia para representar redes de comunicacin o de
transporte. Para ello resultan especialmente interesantes los llamados grafos eulerianos
y hamiltonianos. As que, una vez familiarizados con el concepto de grafo, visto en el
Tema anterior, en ste se introduce el concepto de camino (sucesin de aristas
conectadas por vrtices) en un grafo, y se estudia la existencia de caminos cerrados que
recorran todas las aristas de un grafo sin pasar dos veces por la misma (circuitos
eulerianos), as como los caminos cerrados que recorran todos los vrtices de un grafo
sin pasar dos veces por el mismo (ciclos hamiltonianos).

Tema 2-3 Exploracin de Grafos

Si un grafo se utiliza para representar una red de comunicacin es importante saber
cundo un vrtice, o nodo de la red, se puede comunicar con otro (esto se podr hacer
siempre si el grafo sea conexo) y cul es el camino ms corto entre dos vrtices. Para
estudiar estas cuestiones resulta til representar el grafo a travs de una matriz llamada
Matriz de Adyacencia.
Este concepto se estudia en este Tema. La Matriz de Adyacencia es muy adecuada para
la realizacin de clculos con ordenador. Tambin en este tema se estudian los grafos
etiquetados. En estos grafos se asigna a cada arista una etiqueta, que se puede interpretar
como su longitud o como el coste que supone recorrerla. El Algoritmo de Dijkstra nos
dir cmo obtener el camino ms corto, o de menos coste, entre dos vrtices de un
digrafo etiquetado.
Tema 2-4 Mapas y Coloraciones
El diseo de circuitos electrnicos es una de las mltiples aplicaciones de la Teora de
Grafos. Imaginemos que se desea disear un chip en el que existen tres puntos p 1, p2 y
p3 que deben ser conectados con otros tres p4, p5 y p6. Para que esto sea posible las
conexiones deben realizarse de modo que los hilos de conexin no se corten entre s. La
respuesta a este problema est en ver si el grafo que representa dicho circuito es plano.
Los grafos planos tienen la caracterstica de admitir una representacin grfica, en el
plano, de modo que sus aristas no se corten entre s. Estos grafos se estudiarn en
este Tema.
La representacin grfica de los grafos planos da lugar al concepto de mapa. En el
estudio de los mapas se abordar el problema clsico de la coloracin, que consiste en
asignar colores a las regiones del plano que determina un mapa de modo que dos
regiones limtrofes no tengan el mismo color. El Teorema de los Cuatro Colores nos
dice que todo mapa en el plano se puede colorear usando cuatro (o menos) colores.

Tema 3-1 Tcnicas bsicas

En el Tema se estudian dos principios bsicos para contar elementos de un conjunto: el
Principio de Adicin y el Principio de Multiplicacin. Tambin se estudiar el Principio
de Distribucin que nos ser muy til cuando tratemos de agrupar elementos de un
conjunto.

Tema 3-2 Permutaciones, Variaciones y Combinaciones

Uno de los problemas fundamentales que aborda la Combinatoria es el estudio de
distintas colecciones de objetos que se pueden formar, segn una ley dada. Estas colec-
ciones responden a los nombres de: Permutaciones, Variaciones y Combinaciones, y
sern estudiadas en este Tema.

Tema 3-3 Teorema del Binomio

En el presente Tema se estudian propiedades aritmticas de los nmeros combinatorios.
Utilizando estas propiedades se obtienen los coeficientes del desarrollo del binomio
(x + y)n (Teorema del Binomio), as como los del desarrollo de la expresin algebraica
(x1 + x2 + + xk)n, llamados coeficientes multinomiales. Se dar una interpretacin en
trminos combinatorios de estos coeficientes que se utilizan para la resolucin de un
gran nmero de problemas.

Tema 3-4 Principio de Inclusin-Exclusin

El Principio de Inclusin-Exclusin es, a pesar de su aparente simplicidad, una potente
herramienta del Anlisis Combinatorio. Constituye, junto con los Principios de Adicin
y Multiplicacin, un resultado fundamental para el recuento de elementos de un
conjunto. Permite la divisin de un problema complejo en subproblemas ms sencillos.
Se estudiar aqu, donde tambin se introduce el concepto de desordenacin, como un
tipo particular de permutacin.

Tema 3-5 Recursividad y Relaciones Recurrentes

Finalmente se estudia el concepto de Recursin. Se dice que un objeto es recursivo, o
est definido recursivamente, si est definido en funcin de s mismo. Las definiciones
y las estructuras recursivas en Matemticas son un importante medio de plantear y
resolver problemas y definir conjuntos.
En las Ciencias de la Computacin, la recursin se usa en casi cualquier algoritmo: se
dice cmo proceder en uno o varios casos particulares, y de forma genrica se tienen los
restantes casos por repeticin de un proceso que, en cada paso, utiliza los datos que se
obtuvieron en el paso anterior. En este Tema se estudian las relaciones de recurrencia
lineales con coeficientes constantes y algunos mtodos para su resolucin