deducción por errores de ejecución oor Engels
deducción por errores de ejecución
Vertalings in die woordeboek Spaans - Engels
deduction for errors of execution
deduction for faults in execution
penalization for errors of execution
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Aquellos que se adhieren a los argumentos de Tymoczko creen que las largas pruebas asistidas por ordenador no son, en cierto sentido, demostraciones reales porque implican tantos pasos lógicos que no son prácticamente verificables por los seres humanos, y que se está pidiendo a los matemáticos que reemplacen de forma efectiva la deducción lógica de axiomas asumidos por la confianza en un proceso computacional empírico, que se ve potencialmente afectado por errores en el programa de la computadora, así como también por defectos en el entorno de tiempo de ejecución y del propio dispositivo. Otros matemáticos creen que las largas pruebas asistidas por computadora deben considerarse como cálculos, en lugar de pruebas: el algoritmo de prueba en sí mismo debe probarse como válido, de modo que su uso puede considerarse como una mera verificación.
No, you' re not involved in anything?WikiMatrix WikiMatrix
1 sinne gevind in 7 ms. Hulle kom uit baie bronne en word nie nagegaan nie.