Add to Quick Collection
All 3 Results
Showing items 1 - 3 of 3.
Add All Items to Quick Collection
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2019. № 49. С. 34-41
Type: статьи в журналах
Date: 2019
Description:
Рассматривается понятие математического доказательства в связи с применением компьютеров в математике. Исследуются особенности этого понятия, а также связанных эпистемологических проблем. Особое внима
... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 46. С. 49-57
Type: статьи в журналах
Date: 2018
Description:
Рассматривается теоретико-типовое понятие доказательства корректности компьютерных программ. Исследуются особенности этого понятия, а также ряд связанных с ним теоретико-познавательных проблем. Особое
... More
Source: Вестник Томского государственного университета. Математика и механика. 2017. № 46. С. 102-112
Type: статьи в журналах
Date: 2017
Description:
Приводятся основные этапы создания с 1917 года на физико-математическом факультете Томского университета системы подготовки специалистов с высшим математическим образованием для сибирского региона. Зн
... More