¿Qué tipo de clases de matemáticas recomendarías a alguien que realmente disfrutara de las matemáticas discretas?

Estimado lector, conozca a los tres viajeros. Se identificaron como

  1. Científico de la computación
  2. Ingeniero eléctrico
  3. Ingeniero informático

Creo que todavía no están seguros de lo que significa todo eso, pero tienen derecho a identificarse de la forma que deseen.

Después de viajar por el camino de las Matemáticas discretas en medio de Wastelands de ingeniería durante tres o cuatro meses, han llegado al final.

El informático le preguntó al Oráculo de Dijkstra a dónde ir.

Donde los castores ocupados nunca se detienen
y donde existen máquinas de Turing por defecto
Si no vas allí, es tu culpa.
Después del concreto, siga el camino de asfalto.

El ingeniero eléctrico se acercó al Oráculo de Dijkstra y le preguntó a dónde debía ir.

Donde la gente ama la estabilidad
y la linealidad de la transformación z
donde la bifurcación no es una blasfemia
Ve y observa la causalidad.

Finalmente, el ingeniero de TI hizo la misma pregunta.

Las matrices esperan, y también los montones
Contando árboles, ramas y hojas.
conjuntos, registros, las primitivas
y, por supuesto, los intentos de Fredkin.

Mis consejos aquí, para computabilidad, sistemas dinámicos discretos y de control y estructuras de datos, respectivamente, provienen de mi propia experiencia: los dos primeros son del curso de Matemática discreta que tomé, ya que sus partes más interesantes para mí fueron la computabilidad y los sistemas discretos y los encontré ser muy importante (especialmente este último para mí como ingeniero eléctrico con especialización en control: revisé la teoría de sistemas discretos en al menos otros cuatro cursos). La última recomendación, la que se refiere a las estructuras de datos, vino después de enseñar a los estudiantes de TI las matemáticas discretas yo mismo y después de ver que vuelven a hacer mucha teoría gráfica en las estructuras de datos. Parece una buena aplicación!

Una combinación de teoría de funciones computables con lógica formal y una permutación de teoría de números con teoría de códigos y cifrados.