¿Cómo es la lógica principal en CMU?

Answer 1

Me gustaría ir a Handshake (o incluso a un sitio web general de búsqueda de empleo como Indeed) y mirar publicaciones y ver qué suena interesante. No te obsesiones con los requisitos específicos del trabajo (todavía). Una vez que lo limite a qué trabajos / pasantías suenan interesantes, observe cuál es el tema común. Si todos quieren títulos de CS, ve por esa ruta.

Es cierto que estoy en MechE y estoy un poco alejado de CS, pero no entiendo (juego de palabras involuntario) cómo la especialización en lógica lo ayudaría a encontrar un trabajo de CS, especialmente dados los tipos de trabajos de CS que presumiblemente trabajaría justo fuera de pregrado. Al igual que la mayoría de los trabajos de nivel de entrada, imagino que estaría haciendo tareas bastante aplicadas y sencillas hasta que gane algo más de experiencia. OMI, sería mejor si tuvieras una buena base técnica.

Answer 2

La lógica principal no es tan difícil si tienes una mentalidad técnica. El requisito más difícil es probablemente 15-150 (programación funcional en el departamento de CS).

Las especialidades lógicas obtienen trabajos relacionados con CS, aunque no estoy seguro de qué tan mejor están en comparación con las especializaciones de CIT en términos de conseguir tal trabajo. Debe considerar si desea trabajar en un nivel superior o inferior. La informática en la lógica principal es de muy, muy alto nivel (no se requieren clases de sistemas, pero sí la programación funcional y la indecidibilidad / incompletitud), por lo que tendría problemas con muchos trabajos de ingeniería de software. Sin embargo, si tomó clases adicionales de informática, probablemente podría compensar esto.

Te sugiero que tomes algunas de las clases requeridas (80-211, 15-150, 15-122) y veas qué material disfrutas más. Si te gusta más el 80-211, probablemente te gustaría la lógica principal. Si te gusta más el 15-150 (y no despreciaste el 80-211), probablemente te gustaría tanto la lógica como las carreras de CS, aunque es más fácil transferir la lógica. Si te gusta más el 15-122, probablemente deberías intentar ir directamente al departamento de informática.