A2A. La intersección entre las matemáticas puras y la informática es la teoría. Ver Stanford Theoretical Computer Science. Normalmente, un curso de matemáticas discreto le mostrará las diversas ramas de las matemáticas que necesita la informática. Por ejemplo, el análisis numérico es para criptografía. CS! 03, CS 109 y CS 161 en Autoestudio para los cursos de la Fundación MSCS de Stanford que son la teoría de división superior requerida para las especialidades de Stanford CS.
Te recomiendo que comiences como un estudiante de informática y un estudiante de matemática pura porque los cursos de informática de la división inferior satisfarán los cursos de matemáticas de la división inferior. Un estudiante de matemáticas cubrirá algunos de sus cursos de la división superior, pero es posible que desee hacer más. En algún momento de tu cuarto semestre, puedes elegir cambiar de especialización o hacer que tu menor sea una segunda especialidad.
Requisitos del curso: Pure Mathematics describe los cursos de UC Berkeley. Lógica y cursos básicos es donde se encuentra el origen de la informática teórica. Aquí hay algunos artículos que le darán un favor del tipo de pensamiento matemático puro que se ha convertido en informática:
Computabilidad y Complejidad
- ¿Por qué los límites aún no están definidos?
- ¿Por qué los valores propios y los vectores propios son tan interesantes para los matemáticos puros?
- ¿Por qué se considera la matemática como una carrera? ¿No se aburren los matemáticos de la teoría?
- ¿Cuáles son las contribuciones matemáticas de Ramanujan?
- ¿Por qué muchos olímpicos de la OMI no logran convertirse en matemáticos?
Teoría de la complejidad computacional
Razonamiento automatizado
Lógica e Inteligencia Artificial
Lógica difusa
Lógica temporal
Teorías axiomáticas de la verdad
Teorías alternativas de conjuntos axiomáticos
El desarrollo de la teoría de la prueba
Matemáticas inconsistentes
Teoría cuántica: von Neumann vs Dirac