Электронная библиотека (репозиторий) Томского государственного университета
теория типов

Add to Quick Collection   All 3 Results

Showing items 1 - 3 of 3.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Понятие доказательства в контексте теоретико-типового подхода, III: доказательства как (некоторые) типы
Authors: Ламберов, Лев Дмитриевич
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2020. № 57. С. 25-32
Type: статьи в журналах
Date: 2020
Description: Рассматривается понятие доказательства в связи с соответствием Карри–Говарда. Исследуются особенности этого понятия, а также различия классической доктрины «высказывания как типы» и современной доктри ... More
Add   Понятие доказательства в контексте теоретико-типового подхода, II: доказательства теорем
Authors: Ламберов, Лев Дмитриевич
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2019. № 49. С. 34-41
Type: статьи в журналах
Date: 2019
Description: Рассматривается понятие математического доказательства в связи с применением компьютеров в математике. Исследуются особенности этого понятия, а также связанных эпистемологических проблем. Особое внима ... More
Add   Понятие доказательства в контексте теоретико-типового подхода, I: доказательство программ
Authors: Ламберов, Лев Дмитриевич
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 46. С. 49-57
Type: статьи в журналах
Date: 2018
Description: Рассматривается теоретико-типовое понятие доказательства корректности компьютерных программ. Исследуются особенности этого понятия, а также ряд связанных с ним теоретико-познавательных проблем. Особое ... More
  • «
  • ←
  • 1
  • →
  • »
^