Знакомый учился "на программиста", не помню как назывался его факультет, но что-то по аналогии ВМК МГУ, тоже самое по сути.
Как-то давно рассказывал он что их учили писать программы без ошибок, думаю тут какой-то контекст был, возможно в каких-то дисциплинах такие формулировки употребляются, кто в теме наведите плиз о чем идет речь.

Здравствуйте, Аноним, Вы писали:

А>Как-то давно рассказывал он что их учили писать программы без ошибок, думаю тут какой-то контекст был, возможно в каких-то дисциплинах такие формулировки употребляются, кто в теме наведите плиз о чем идет речь.

Model Checking?

Здравствуйте, Аноним, Вы писали:

А>Знакомый учился "на программиста", не помню как назывался его факультет, но что-то по аналогии ВМК МГУ, тоже самое по сути.
А>Как-то давно рассказывал он что их учили писать программы без ошибок, думаю тут какой-то контекст был, возможно в каких-то дисциплинах такие формулировки употребляются, кто в теме наведите плиз о чем идет речь.

Возможно имелось в виду "provably correct programs". Гугл выдаст много полезных ссылок. В качестве примера можешь посмотреть на COMPCERT — верифицированный компилятор (подмножества) С.

Здравствуйте, Аноним, Вы писали:

А>Знакомый учился "на программиста", не помню как назывался его факультет, но что-то по аналогии ВМК МГУ, тоже самое по сути.
А>Как-то давно рассказывал он что их учили писать программы без ошибок, думаю тут какой-то контекст был, возможно в каких-то дисциплинах такие формулировки употребляются, кто в теме наведите плиз о чем идет речь.

Бывает такое. Программы с формально доказанной корректностью.
На практике фактически бесполезно, только если задолбаться, чтобы.

Здравствуйте, Michael7, Вы писали:

M>Здравствуйте, Аноним, Вы писали:

А>>Знакомый учился "на программиста", не помню как назывался его факультет, но что-то по аналогии ВМК МГУ, тоже самое по сути.
А>>Как-то давно рассказывал он что их учили писать программы без ошибок, думаю тут какой-то контекст был, возможно в каких-то дисциплинах такие формулировки употребляются, кто в теме наведите плиз о чем идет речь.

M>Бывает такое. Программы с формально доказанной корректностью.
M>На практике фактически бесполезно, только если задолбаться, чтобы.


Возможно имеет смысл при отправке какого-нить зонда к соседней звезде, когда исправить ошибку в ПО не будет никакой возможности.

Здравствуйте, Michael7, Вы писали:

M>Бывает такое. Программы с формально доказанной корректностью.
M>На практике фактически бесполезно, только если задолбаться, чтобы.

Кое-что вполне себе успешно работает на практике, см. проект SLAM, его использование в SDL и т.д.