Relación 14 de ejercicios de I1M (2009-10)
Hoy he publicado la relación 14 de ejercicios de Informática de 1º de Matemáticas.
Contiene 5 ejercicios del proyecto Euler.
A lo largo de la semana los alumnos escribirán las soluciones de la relación 14.
Métodos formales y seguridad en la Red
Hoy publica “El País” el artículo España, blanco de más de cuarenta ciberataques. El artículo es un reportaje sobre “la guerra de los ciberespías” a raíz del ataque a Google. Además cuenta las iniciativas españolas para aumentar la seguridad.
Desde sus inicios los métodos formales se han aplicado a aumentar la seguridad de los sistemas críticos y, más generalmente, a la ingeniería de la seguridad. Dado el uso de la Red, sus programas y servicios se están convirtiendo en sistemas críticos y, por tanto, en campo de aplicación de los métodos formales. Muestra del interés de los sistemas de Red para los métodos formales son la realización de tesis como las siguientes
Read More “Métodos formales y seguridad en la Red”
Advances and Perspectives in the Mechanization of Mathematics
Un indicador de la vitalidad de un área lo constituye los números especiales de revistas dedicadas al área.
La revista Mathematical Structures in Computer Science ha anunciado un número especial sobre Advances and Perspectives in the Mechanization of Mathematics.
En el anuncio se constata el éxito obtenido formalizando algunos teoremas matemáticos importantes tales como el teorema de los números primos, el teorema de los cuatro colores y el teorema de la curva de Jordan.
El número desea reflejar los avances recientes y las nuevas perspectivas dentro del campo de la formalización del conocimiento matemático, incluyendo descripciones de nuevas formalizaciones.
La fecha límite para el envío de artículos es el 28 de Junio de 2010.
Relación 13 de ejercicios de I1M (2009-10)
Hoy he publicado la relación 13 de ejercicios de Informática de 1º de Matemáticas.
Contiene ejercicios de evaluación perezosa y de tipos de datos recursivos.
A lo largo de la semana los alumnos escribirán las soluciones de la relación 13.
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?