Понятие доказательства в контексте теоретико-типового подхода, I: доказательство программ

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Понятие доказательства в контексте теоретико-типового подхода, I: доказательство программ	431 KB	Adobe Acrobat PDF	Read	Download
DOI Доступ к ресурсу на сайте издателя			10.17223/1998863Х/46/6

Title: Понятие доказательства в контексте теоретико-типового подхода, I: доказательство программ
Title: The concept of proof in the context of a type-theoretic approach, I: proof of computer program correctness
Creator: Ламберов, Лев Дмитриевич
Date: 2018
DOI: 10.17223/1998863Х/46/6
Description: Рассматривается теоретико-типовое понятие доказательства корректности компьютерных программ. Исследуются особенности этого понятия, а также ряд связанных с ним теоретико-познавательных проблем. Особое внимание уделяется проблеме обозримости и связи априорного и апостериорного. Настоящая статья является первой в серии о понятии теоретико-типового доказательства.

Relationships: Show Relationship Browser for this Object
collection(s): Журналы ТГУ
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в журналах
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 46. С. 49-57
Language: rus