Matemáticas
Conceptos matemáticos, teorías, rompecabezas y aplicaciones
-
Matemáticas
Los 'Elementos' de Euclides moldearon la geometría durante milenios
-
Matemáticas
El teorema de Pitágoras desvela secretos antiguos
-
Matemáticas
Los números primos protegen tus secretos en línea
-
Matemáticas
La verdad es indefinible en lenguajes formales
-
Matemáticas
Isabelle/HOL: Las computadoras prueban que las matemáticas son correctas
-
Matemáticas
Las computadoras pueden probar teoremas matemáticos con precisión perfecta
-
Matemáticas
Abella prueba las reglas ocultas de la programación lógica
-
Matemáticas
El motor de Lean automatiza pruebas matemáticas complejas
-
Matemáticas
NuPRL convierte pruebas matemáticas en programas perfectos
-
Matemáticas
¿Puede un modelo pequeño entender conjuntos infinitos?
-
Matemáticas
Las computadoras ahora revisan errores matemáticos
-
Matemáticas
El código y la lógica son dos caras de la misma moneda
-
Matemáticas
Twelf analiza las herramientas que verifican las matemáticas
-
Matemáticas
Esta lógica rechaza la ley del tercero excluido
-
Matemáticas
Matita ayuda a las computadoras a verificar pruebas matemáticas
Otras categorías
Categorías →