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

Базы данных


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

Вид поиска
Генеральный каталог
Аналитическое описание статей
Краеведение ЦБС
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>S=Математика -- математическое доказательство -- компьютер<.>)
Общее количество найденных документов : 1
1.
22.18
Д 57

    Добрынин, Сергей.
    Железная логика: математикам приходится использовать компьютеры там, где они традиционно пользовались только своей головой - в доказательствах теорем [Текст] / С. Добрынин // Вокруг света. - 2012. - № 4. - С. 104-110 : ил.
ГРНТИ
27.03
ББК 22.18

Рубрики: Математика--математическое доказательство--компьютер

Кл.слова (ненормированные):
математическое доказательство -- использование компьютера -- математическая теорема -- теорема о четырех красках -- судоку -- задача об упаковке шаров -- гипотеза Кеплера -- математическая логика -- теорема Гёделя о неполноте

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