¿Cuál de los siguientes cursos debo tomar como especialidad CS, probabilidad aplicada o introducción a las matemáticas formales?

CS es lo suficientemente amplio y profundo como para no pensar que alguien miraría estas dos clases y diría “Como estudiante de CS, esta clase es superior en relación con sus intereses”.

Estas clases parecen estar en los extremos opuestos del espectro abstracto-concreto, así que quizás use esa idea para guiar su elección.

Tomé una clase muy similar a la matemática formal, y he encontrado que es extremadamente útil para escribir un mejor código, a pesar de que no escribí una línea de código en la clase. Ese tipo de conocimiento es realmente útil para comprender las estructuras de datos y los algoritmos (que es la parte más fundamental e importante del plan de estudios de CS).

Y el pensamiento estadístico es una habilidad extremadamente valiosa que se relacionará más directamente con muchos trabajos de tipo CS. FWIW, también es realmente difícil de entender porque nada de eso es intuitivo, y ayuda mucho tener un fondo matemático que sería proporcionado por … lo adivinaste, Matemática formal.

¡Toma los dos! Pero si tiene que elegir, le recomendaría que elija el último, ya que sus objetivos de aprendizaje son

Al final de este curso, los estudiantes podrán:

  • Analizar declaraciones usando la tabla de verdad
  • Construya pruebas simples que incluyan pruebas por contradicción y pruebas por inducción. Demuestre declaraciones sobre conjuntos y funciones.
  • Probar resultados estándar sobre conjuntos contables

Estas habilidades son centrales en la teoría de algoritmos, en la teoría del lenguaje formal, la teoría de la computabilidad, la teoría de la complejidad y la semántica del lenguaje de programación.

¡Toma los dos! Más matemáticas solo pueden ayudarte más adelante.

Pero si tuviera que elegir uno, sugeriría Probabilidad Aplicada. La probabilidad aparece todo el tiempo en CS e incluso en la vida real.

Todavía tengo que hacer una prueba formal en todos mis años de ser un profesional del software. Pero imagino que ayudaría a leer trabajos de investigación.