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

Базы данных


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

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

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Белякин Н. В., Черепанов Е. М.
Заглавие : Об основных критериях убедительности доказательства
Серия: Проблемы логики и методологии науки
Место публикации : Философия науки. - 2010. - N 3. - С.31-44. - ISSN 1560-7488. - ISSN 1560-7488
Примечания : Библиогр.: с. 43-44 (8 назв. )
УДК : 16 + 510.6
ББК : 87.42 + 22.12
Предметные рубрики: Логика
Логические формы и законы
Математика
Математическая логика
Ключевые слова (''Своб.индексиров.''): доказательства (математика)--убедительность--убедительность доказательства--формализуемость--компьютерные доказательства--полнимание доказательства--обозримость доказательства--простота доказательства
Аннотация: В статье рассматриваются основные понятия, которые чаще всего связываются с критериями убедительности доказательства, а также отношения между этими критериями.
Найти похожие
2.

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