Martin Gadner.Konrad JacobsNos preguntábamos la semana pasada cuál es la cadena más larga que se puede construir con tres dígitos -1, 2 y 3- sin repetir ninguno ni ninguna secuencia de dígitos de forma consecutiva. La respuesta es que no […]
El enigmático Dr. Matrix Leer más
14 de noviembre de 1969. El día había amanecido gris y las condiciones empeoraban hora a hora. Un frente frío avanzaba desde el noroeste, trayendo lluvia y actividad eléctrica. Una espesa capa de nubes cubría ya la costa occidental de
Regreso a la Luna: la aventura del ‘Apolo 12′ Leer más
Edmund E. Clarke.Universidad carnegie mellon Encontrar errores en los programas informáticos es una tarea titánica con una curiosa historia. Uno de los padres de la técnica del model checking (verificación de modelos) para el análisis y detección de dichos fallos
El hombre que ideó cómo detectar ‘aceitunas envenenadas’ en los programas informáticos Leer más
Rublev celebra su triunfo contra Ruud, este sábado en Montecarlo.SEBASTIEN NOGIER / EFEEl viento se hace notar en Montecarlo, donde las corrientes impulsan a dos de los jóvenes llamados a marcar el paso a medio plazo, si no más pronto
Tsitsipas, Rublev y nuevos vientos en el tenis Leer más