Authors: Целищев, Виталий Валентинович

Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 43. С. 33-43

Type: статьи в журналах

Date: 2018

Description: Анализируются некоторые способы ослабления универсальности условий выводимости Гильберта – Бернайса, связанные с применением модальной логики к теории доказательства, в частности при доказательстве Вт ... More

Authors: Олченов, Аржан Федорович

Source: Правовые проблемы укрепления российской государственности : сборник статей. Томск, 2018. Ч. 79. С. 271-277

Type: статьи в сборниках

Date: 2018

Description: Статья посвящена вопросам по совершенствованию уголовно-процессуального законодательства Российской Федерации, направленных на совершенствование и в научном осмыслении вопросов, связанных с оказанием ... More

Authors: Ламберов, Лев Дмитриевич

Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 46. С. 49-57

Type: статьи в журналах

Date: 2018

Description: Рассматривается теоретико-типовое понятие доказательства корректности компьютерных программ. Исследуются особенности этого понятия, а также ряд связанных с ним теоретико-познавательных проблем. Особое ... More

Authors: Ковалев, Сергей Протасович | Родин, Андрей Вячеславович

Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 46. С. 22-29

Type: статьи в журналах

Date: 2018

Description: Понятие знание, которое используется в компьютерной науке, не включает в себя обычное для философской эпистемологии требование обоснования знания. Такое положение вещей имеет глубокие корни в истории ... More