Teor�a de la informaci�n

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 con 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�logicas, codificaci�n an�loga y cifrado an�logo.

L�gica
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 a dos valores: verdadero y falso, pero la
l�gica puede tener valores continuos, por ejemplo en la l�gica difusa. Los
conceptos como �rboles de demostraciones o derivaciones infinitas tambi�n han sido
estudiados, por ejemplo en la l�gica proposicional infinitaria.

Teor�a de conjuntos
Art�culo principal: Teor�a de conjuntos
La teor�a de conjuntos es la rama de la matem�tica que estudia conjuntos
matem�ticos, los cuales son colecciones de objetos, tales como {azul, blanco, rojo}
o el conjunto infinito de todos los n�meros primos. Conjuntos parcialmente
ordenados y conjuntos con otras relaciones tienen aplicaci�n en muchas �reas.

En la matem�tica discreta, los conjuntos numerables (incluyendo conjuntos finitos)

son el principal objeto de estudio. El inicio de la teor�a de conjuntos
generalmente se relaciona con el trabajo de Georg Cantor, haciendo distinci�n entre
diferentes tipos de conjuntos infinitos, motivado por el estudio de las series
trigonom�tricas. El desarrollo m�s profundo en la teor�a de conjuntos infinitos
est� fuera del alcance de la matem�tica discreta. De hecho, el trabajo
contempor�neo en teor�a descriptiva de conjuntos hace uso extenso del uso de la
matem�tica continua tradicional.

Combinatoria
Art�culo principal: Combinatoria
La combinatoria es la rama de la matem�tica que estudia colecciones finitas de
objetos que pueden ser combinados u ordenados.

La combinatoria enumerativa se ocupa, en particular, del "recuento" de los objetos

de dichas colecciones.

La combinatoria anal�tica se concentra en la enumeraci�n de estructuras

combinatorias utilizando herramientas de an�lisis complejo y teor�a de
probabilidad. En contraste con la combinatoria enumerativa, que usa f�rmulas
combinatorias expl�citas y funciones generadoras para describir los resultados, la
combinatoria anal�tica se enfoca en obtener f�rmulas asint�ticas.

La teor�a de dise�o es el estudio de dise�os combinatorios, que son clases de

subconjuntos con ciertas propiedades num�ricas de intersecci�n.

La teor�a de particiones estudia varios problemas asint�ticos y de enumeraci�n

relacionados con particiones enteras, y est� relacionada con series q, funciones
especiales y polinomios ortogonales. Originalmente una parte de teor�a num�rica y
an�lisis, la teor�a de particiones es considerada una parte de combinatoria, o un
�rea independiente.

La teor�a del orden es el estudio de conjuntos parcialmente ordenados, finitos e

infinitos.