Matematicas Discretas

Matemáticas discretas

Las matemáticas discretas son un área de las matemáticas encargadas del estudio de los conjuntos discretos: finitos o infinitos numerables.

En oposición a las matemáticas continuas, que se encargan del estudio de conceptos como la continuidad y el cambio continuo, la matemáticas discretas estudian estructuras cuyos elementos pueden contarse uno por uno separadamente. Es decir, los procesos en matemáticas discretas son contables, como por ejemplo, los números enteros, grafos y sentencias de lógica.1

Mientras que el cálculo infinitesimal está fundado en los números reales que no son numerables, la matemática discreta es la base de todo lo relacionado con los números naturales o conjuntos numerables.

Son fundamentales para la ciencia de la computación, porque sólo son computables las funciones de conjuntos numerables.

La clave en matemáticas discretas es que no es posible manejar las ideas de proximidad o límite y suavidad en las curvas, como se puede en el cálculo. Por ejemplo, en matemáticas discretas una incógnita puede ser 2 ó 3, pero nunca se aproximará a 3 por la izquierda con 2.9, 2.99, 2.999, etc. Las gráficas en matemáticas discretas vienen dadas por un conjunto finito de puntos que se pueden contar por separado; es decir, sus variables son discretas o digitales, mientras que las gráficas en cálculo son trazos continuos de rectas o curvas; es decir, sus variables son continuas o analógicas.

Índice [ocultar]

1 Historia

2 Tópicos en la matemática discreta

2.1 Informática teórica

2.2 Teoría de la información

2.3 Lógica

2.4 Teoría de conjuntos

2.5 Combinatoria

2.6 Teoría de grafos

2.7 Teoría de distribuciones de probabilidad discretas

2.8 Teoría de números

2.9 Álgebra

2.10 Cálculo de diferencias finitas

2.11 Geometría

2.12 Topología

2.13 Investigación de operaciones

2.14 Teoría de juegos, teoría de la decisión, teoría de utilidad

2.15 Discretizacion

3 Véase también

4 Referencias

5 Enlaces externos

Historia[editar]

Las matemáticas discretas han visto un gran número de problemas difíciles de resolver. En teoría de grafos, mucha de la investigación realizada en sus inicios fue motivada por intentos para probar el teorema de los cuatro colores, el cual fue probado más de cien años después de su inicial descripción. El problema de los puentes de Königsberg, un problema clásico del prolífico Leonhard Euler.

En lógica, el segundo problema de la lista de problemas abiertos de David Hilbert, era probar que los axiomas de la aritmética son consistentes. El segundo teorema de Gödel de la incompletitud probó en 1931 que esto no es posible, por lo menos dentro de la aritmética en sí. El décimo problema de Hilbert era determinar si un polinomio diofántico con coeficientes enteros dado tiene una solución entera. En 1970, Yuri Matiyasevich probó que esto es imposible de hacer.

La necesidad de descifrar códigos alemanes en la Segunda Guerra Mundial dio paso a avances en la criptografía y la ciencia computacional teórica, con el primer computador electrónico, digital y programable desarrollado en Inglaterra. Al mismo tiempo, requerimientos militares motivaron avances en la investigación de operaciones. La Guerra Fría tuvo significancia en la criptografía, y la mantuvo vigente, con lo que se realizaron avances en la criptografía asimétrica.

Actualmente, uno de los problemas abiertos más famosos en la teoría de la informática es el problema de las clases de complejidad "P = NP". El Clay Mathematics Institute ha ofrecido un premio de un millón de dólares para la primera demostración correcta, junto con premios para 6 problemas más.

Tópicos en la matemática discreta[editar]

Informática teórica[editar]

Artículo principal: Ciencia computacional teórica

La complejidad estudia el tiempo en el cual un algoritmo se ejecuta.

La teoría de la informática incluye áreas de la matemática discreta relevante a la computación. Está altamente relacionada con teoría de grafos y lógica. Dentro de la teoría de la informática se encuentra la teoría de algoritmos para problemas matemáticos. La computabilidad estudia lo que puede ser computado y tiene lazos fuertes con la lógica, mientras que la complejidad estudia el tiempo que se necesita para hacer los cálculos. La teoría de autómatas, los lenguajes formales y la Dinámica de sistemas se relacionan de manera cercana con la computabilidad. Las redes de Petri y álgebra de procesos se usan para modelar sistemas de cálculo, y los métodos de la matemática discreta se usan para analizar circuitos VLSI. La geometría computacional aplica algoritmos a problemas geométricos, mientras que el análisis digital de imágenes los aplica a representaciones de imágenes. La teoría informática también incluye el estudio de tópicos de informática continua.

Teoría de la información[editar]

Artículo principal: Teoría de la Información

Los códigos mostrados aquí son una manera de representar una palabra en teoría de la información, como también para algoritmos de proceso de información.

La teoría de la información se ve involucrada en la cuantificación de la información. Cercanamente relacionado a esto es la teoría de codificación, que es usada para diseñar métodos de transmisión y almacenamiento de datos eficientes y confiables. La teoría de la información también incluye tópicos continuos tales como señales análogas, codificación análoga y cifrado análogo.

Lógica[editar]

Artículo principal: Lógica matemática

La lógica es el estudio de los principios del razonamiento válido y la inferencia, como también de la consistencia, solidez y completitud. Por ejemplo, en la mayoría de los sistemas en la lógica, la ley de Peirce, (((P→Q)→P)→P) es un teorema. En lógica clásica, puede ser fácilmente verificado con una tabla de verdad. El estudio de las demostraciones matemáticas es particularmente importante en lógica y tiene aplicaciones en la demostración automática de teoremas y verificación formal de software.

Las fórmulas lógicas son estructuras discretas, como lo son las demostraciones, las cuales forman árboles finitos, o más generalmente, estructuras de grafos acíclicos (en cada paso de inferencia combinando una o más ramas de premisas para dar una sola conclusión). Las tablas de verdad de fórmulas lógicas usualmente forman un conjunto finito, generalmente restringido

...