Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


Картотека статей - результаты поиска

Вид поиска
Электронный каталог НТГСПИ
Картотека газет и журналов
Картотека статей
Полнотекстовая база изданий НТГСПИ
Полнотекстовая база ВКР
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=компьютерные доказательства<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.


    Белякин, Н. В.
    Об основных критериях убедительности доказательства [Текст] / Н. В. Белякин, Е. М. Черепанов // Философия науки. - 2010. - N 3. - С. 31-44. - Библиогр.: с. 43-44 (8 назв. ) . - ISSN 1560-7488
УДК
^a16
^a510.6
ББК 87.42 + 22.12
Рубрики: Логика
   Логические формы и законы
   Математика
   Математическая логика
Кл.слова (ненормированные):
доказательства (математика) -- убедительность -- убедительность доказательства -- формализуемость -- компьютерные доказательства -- полнимание доказательства -- обозримость доказательства -- простота доказательства
Аннотация: В статье рассматриваются основные понятия, которые чаще всего связываются с критериями убедительности доказательства, а также отношения между этими критериями.


Доп.точки доступа:
Черепанов, Е. М.

Найти похожие
2.


    Михайлова, Н. В. (кандидат философских наук, доцент, заведующая кафедрой социально-гуманитарных дисциплин Минского государственного высшего радиотехнического колледжа).
    Философия математического познания и проблемы компьютерного образования [Текст] / Н. В. Михайлова // Alma mater: Вестник высшей школы. - 2012. - № 6. - С. 24-29. - Библиогр.: с. 29 (7 назв.) . - ISSN 0321-0383
УДК
^a519.6
ББК 22.19
Рубрики: Математика--Россия, 21 век первая пол.
   Вычислительная математика
Кл.слова (ненормированные):
компьютерная математика -- философия математики -- компьютеры -- информационные технологии -- математическое познание -- квантовые вычисления -- компьютерные доказательства
Аннотация: Предпринято решение задачи нахождения таких алгоритмов для компьютеров, с помощью которых можно моделировать некоторые реальные процессы. Рассмотрены философско-методологические аспекты вычислительной математики в контексте современных проблем компьютерного образования.


Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)