Primero, hay un camino natural desde la Informática a las Matemáticas Aplicadas y desde las Matemáticas Aplicadas a las Matemáticas Puras y viceversa. Fundamentos matemáticos – Lógica y Teoría de conjuntos – se puede hacer cualquiera de los tres departamentos.
La forma de comenzar es tomar los cursos de requisitos previos necesarios. Además, ubique el grupo lógico cerca de usted y comience a asistir al Coloquio de Logic para poder conectarse más tarde y obtener un asesor de tesis. Por ejemplo, si viviera en Los Ángeles, vería el Centro de lógica de UCLA como una excelente manera de conocer a los lógicos. La lista de lógicos cercanos tiene los nombres de varios posibles asesores de tesis y sus respectivas universidades en el sur de California.
Si está interesado en Matemáticas, tendrá que hacerlo bien en el Examen de Asignación de Matemáticas GRE. Este es un gran obstáculo y, dado su historial, puede que esta no sea la opción óptima.
- ¿Qué debo hacer durante la escuela secundaria para entrar a Stanford?
- ¿Cómo debo prepararme para ingresar a las mejores escuelas de medicina en los EE. UU. Desde el 10º grado?
- ¿Cómo te sentiste si supieras que tienes que tomar la misma calificación o repetir la clase?
- ¿Es bueno tomar cursos en línea para MBA?
- Prefiero las novelas a los libros de texto. ¿Cómo puedo hacer que la lectura de mis libros de texto sea interesante? También necesito un mentor, alguien que me entrene. ¿Dónde puedo obtener ayuda?
Sinceramente, con su experiencia en Ingeniería de Software, creo que debería buscar primero en Ciencias de la Computación a los posibles asesores de tesis que utilizan la Lógica Matemática que son miembros de los Departamentos de Ciencias de la Computación y Matemáticas. Por ejemplo, UC Berkeley Group en Lógica y Metodología de la Ciencia tiene miembros que están en el departamento de EECS. Es más fácil ingresar al EECS que al grupo de Lógica y Metodología de la ciencia.