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

Базы данных


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

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

Вид документа : Статья из журнала
Шифр издания : 22.18/Д 57
Автор(ы) : Добрынин, Сергей
Заглавие : Железная логика: математикам приходится использовать компьютеры там, где они традиционно пользовались только своей головой - в доказательствах теорем
Место публикации : Вокруг света. - 2012. - № 4. - С. 104-110: ил.
ГРНТИ : 27.03
ББК : 22.18
Предметные рубрики: Математика-- математическое доказательство-- компьютер
Экземпляры : всего 8:
Найти похожие
 
Стандартный
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)