Estudios de Lógica Computacional
Ayer se planteó en Lambda the Ultimate la consulta Academic advice: Mathematics or Computer Science?. En esencia, la cuestión es cuál es el mejor camino hacia los estudios en los aspectos teóricos de la Ciencia de la Computación. En el debate se comentan las distintas opciones. De momento, parecen inclinarse por la vía matemática.
En España, dada la inexistencia de estudios de Grado específico las dos vías que existen es estudiar el Grado de Matemáticas o el Grado en Ingeniería Informática y, posteriormente estudiar un Máster orientado a la Ciencia de la Computación.
En cuanto a los estudios de Lógica Computacional se plantean los mismos problemas. En este caso también parece preferible el estudio de Matemáticas y, posiblemente, complementarlos a lo largo del Grado con cursos de formación complementaria.
Termino planteando dos cuestiones:
- ¿Qué le aconsejaríais a un alumno que quisiera estudiar Lógica Computacional con los planes de estudio actuales?
- ¿Cuál sería el plan de estudio ideal para formar especialistas en Lógica Computacional?