Форма документа : Стаття із журналу Шифр видання : 72 Автор(и) : Добрынин, Сергей Назва : Железная логика Місце публікування : Вокруг света. - Киев: Вокруг света, 2012. - № 4. - С. 86-92: карты (Шифр В508520/2012/4) ББК : 72 + 22.1 + 32.973 Предметні рубрики: Наука-- Математика-- Комп`ютери Ключові слова (''Вільн.індекс.''): ігра судоку--головоломка--математична теорема--теорема про чотири кольори Анотація: Математикам приходится использовать компьютеры там, где они традиционно пользовались только своей головой - в доказательствах теорем. Должны ли ученые довериться машинам? Примірники :ВДГН(1) Вільні : ВДГН(1)