Add to Quick Collection
All 15 Results
Showing items 1 - 15 of 15.
Add All Items to Quick Collection
Source: Вестник Томского государственного университета. 2021. № 473. С. 245-250
Type: статьи в журналах
Date: 2021
Description:
Анализируются проблемы использования статистической информации в процессе доказывания по гражданским и административным делам. Рассматривается соотношение статистической информации и общеизвестных фак
... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2021. № 64. С. 275-285
Type: статьи в журналах
Date: 2021
Description:
В статье предложено понятие глубокого разногласия, развивающее идею Л. Витгенштейна о важной роли принципиальных положений научного знания и познания – «дверных петель» – в свете его развития, обсужде
... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2020. № 54. С. 29-38
Type: статьи в журналах
Date: 2020
Description:
Статья посвящена исследованию соотношения концепций понимания и доказательства в математической практике. Анализируются две концепции математического доказательство – как вычисления и как понимания. П
... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2020. № 57. С. 25-32
Type: статьи в журналах
Date: 2020
Description:
Рассматривается понятие доказательства в связи с соответствием Карри–Говарда. Исследуются особенности этого понятия, а также различия классической доктрины «высказывания как типы» и современной доктри
... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2019. № 49. С. 34-41
Type: статьи в журналах
Date: 2019
Description:
Рассматривается понятие математического доказательства в связи с применением компьютеров в математике. Исследуются особенности этого понятия, а также связанных эпистемологических проблем. Особое внима
... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 43. С. 33-43
Type: статьи в журналах
Date: 2018
Description:
Анализируются некоторые способы ослабления универсальности условий выводимости Гильберта – Бернайса, связанные с применением модальной логики к теории доказательства, в частности при доказательстве Вт
... More
Source: Правовые проблемы укрепления российской государственности : сборник статей. Томск, 2018. Ч. 79. С. 271-277
Type: статьи в сборниках
Date: 2018
Description:
Статья посвящена вопросам по совершенствованию уголовно-процессуального законодательства Российской Федерации, направленных на совершенствование и в научном осмыслении вопросов, связанных с оказанием
... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 46. С. 49-57
Type: статьи в журналах
Date: 2018
Description:
Рассматривается теоретико-типовое понятие доказательства корректности компьютерных программ. Исследуются особенности этого понятия, а также ряд связанных с ним теоретико-познавательных проблем. Особое
... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 46. С. 22-29
Type: статьи в журналах
Date: 2018
Description:
Понятие знание, которое используется в компьютерной науке, не включает в себя обычное для философской эпистемологии требование обоснования знания. Такое положение вещей имеет глубокие корни в истории
... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2017. № 40. С. 98-111
Type: статьи в журналах
Date: 2017
Description:
Рассмотрены отличия Второй теоремы Геделя о неполноте от Первой теоремы, имеющие первостепенное значение для возможной реабилитации Программы Гильберта. Доказано, что сам Гедель не усматривал во Второ
... More
Source: Вестник Томского государственного университета. Право. 2017. № 23. С. 90-99
Type: статьи в журналах
Date: 2017
Description:
В статье рассматривается процессуальная регламентация и информационный потенциал электронных носителей данных в их различных вариантах, в том числе через процессуальные и технические возможности вериф
... More
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2009. № 4. С. 28-37
Type: статьи в журналах
Date: 2009
Source: Правовые проблемы укрепления российской государственности : [сборник статей] / под ред. В. А. Уткина. Томск, 2000. Ч. 6. С. 186-189
Type: статьи в сборниках
Date: 2000
Source: Правовые проблемы укрепления российской государственности : [сборник статей] / под ред. В. Ф. Воловича. Томск, 2000. Ч. 5. С. 158-162
Type: статьи в сборниках
Date: 2000
Source: Вопросы советского государства и права. Томск, 1974. С. 126-131
Type: статьи в сборниках
Date: 1974