Сообщение Re[3]: Программирование наоборот от 22.04.2025 9:33
Изменено 22.04.2025 9:44 Буравчик
Re[3]: Программирование наоборот
Здравствуйте, Doom100500, Вы писали:
D>А имеем то, что компьютер выдаёт совсем не абсолютно правильную программу, а какое-то приближение, правильность которого надо ещё доказать.
Под "правильной" скорее понималось "полную".
Доказывать правильность не обязательно (да и невозможно в общем случае, насколько помню) — достаточно тестов.
D>А имеем то, что компьютер выдаёт совсем не абсолютно правильную программу, а какое-то приближение, правильность которого надо ещё доказать.
Под "правильной" скорее понималось "полную".
Доказывать правильность не обязательно (да и невозможно в общем случае, насколько помню) — достаточно тестов.
Re[3]: Программирование наоборот
Здравствуйте, Doom100500, Вы писали:
D>А имеем то, что компьютер выдаёт совсем не абсолютно правильную программу, а какое-то приближение, правильность которого надо ещё доказать.
Под "правильной" скорее понималось "полную", законченную в некоторым смысле.
Доказывать правильность не обязательно (да и невозможно в общем случае, насколько помню) — достаточно тестов.
D>А имеем то, что компьютер выдаёт совсем не абсолютно правильную программу, а какое-то приближение, правильность которого надо ещё доказать.
Под "правильной" скорее понималось "полную", законченную в некоторым смысле.
Доказывать правильность не обязательно (да и невозможно в общем случае, насколько помню) — достаточно тестов.