Авторизація
Прізвище
Пароль  
Увійти
 

Вид пошуку

 

Бази даних


Електронна картотека аналітичного опису статей - результати пошуку

Зона пошуку
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Пошуковий запит: (<.>K=ігра судоку<.>)
Загальна кількість знайдених документів : 1
1.


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

Є примірники у відділах: всього 1 : ВДГН (1)
Вільні: ВДГН (1)


Знайти схожі

 
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)