ПОНЯТИЕ ДОКАЗАТЕЛЬСТВА В КОНТЕКСТЕ ТЕОРЕТИКО-ТИПОВОГО ПОДХОДА, I: ДОКАЗАТЕЛЬСТВО ПРОГРАММ

Результат исследований: Вклад в журналСтатья

Аннотация

Рассматривается теоретико-типовое понятие доказательства корректности компьютерных программ. Исследуются особенности этого понятия, а также ряд связанных с ним теоретико-познавательных проблем. Особое внимание уделяется проблеме обозримости и связи априорного и апостериорного. Настоящая статья является первой в серии о понятии теоретико-типового доказательства.
Переведенное названиеThe concept of proof in the context of a type-theoretic approach, I: Proof of computer program correctness
Язык оригиналаРусский
Страницы (с-по)49-57
ЖурналВестник Томского государственного университета. Философия. Социология. Политология.
Номер выпуска46
DOI
СостояниеОпубликовано - 2018

Предметные области WoS

  • Общественные науки, Междисциплинарные труды

ГРНТИ

  • 02.00.00 ФИЛОСОФИЯ

Уровень публикации

  • Перечень ВАК

Fingerprint Подробные сведения о темах исследования «ПОНЯТИЕ ДОКАЗАТЕЛЬСТВА В КОНТЕКСТЕ ТЕОРЕТИКО-ТИПОВОГО ПОДХОДА, I: ДОКАЗАТЕЛЬСТВО ПРОГРАММ». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать