Дата публикации: 2018

Дата публикации в реестре: 2020-03-03T18:23:46Z

Аннотация:

Рассматривается теоретико-типовое понятие доказательства корректности компьютерных программ. Исследуются особенности этого понятия, а также ряд связанных с ним теоретико-познавательных проблем. Особое внимание уделяется проблеме обозримости и связи априорного и апостериорного. Настоящая статья является первой в серии о понятии теоретико-типового доказательства.

Тип: статьи в журналах

Источник: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 46. С. 49-57