1. Bioinformática
1.1. Desarrollo y aplicación de algoritmos orientados al análisis de datos de distintas disciplinas científicas,
1.2. Desarrollo de procesos informáticos para modelar y simular sistemas biológicos
2. teoría de la computación
2.1. Modelos matemáticos que formalizan el concepto de hacer un cálculo y la clasificación de problemas.
3. Gottfried Wilhelm Leibniz
3.1. Lógica binaria
3.1.1. operaciones lógicas con variables que adoptan sólo dos valores posibles 0 o 1.
4. Historia
4.1. Mecanismo de anticitera
4.1.1. Computadora analógica
4.1.1.1. Utiliza dispositivos electrónicos o mecánicos para modelar el problema
5. Razonamiento automatizado
5.1. Inteligencia artificial
5.1.1. Rama de la ciencia informática en la que las máquinas realizan tareas como una mente humana, tales como aprender o razonar
5.1.1.1. Lenguaje natural
5.1.1.2. Robótica
6. Disciplinas
7. Kurt Gödel
7.1. teorema de incompletitud
7.1.1. Demuestra que en cualquier sistema lógico basado en axiomas y reglas de inferencia, existen enunciados cuya verdad o falsedad no vamos a poder decidir
8. Shannon
9. Teoría de la información
9.1. Leyes matemáticas que rigen la transmisión y el procesamiento de la información
10. Matemática
10.1. Teoría de tipos
10.1.1. Sistemas formales que pueden servir como alternativas a la teoría de conjuntos como fundamento de las matemáticas constructivas
10.2. Criptografía
10.2.1. Algoritmo serie de procedimientos para proteger datos privados y cifrados.
10.3. Análisis de algoritmos
10.3.1. Instrucciones para resolver un problema parte de la complejidad de la computación (lógica de programación)