Головна
Шановні користувачі!
Чернігівська ОУНБ ім. Софії та Олександра Русових проводить роботу відповідно до
Рекомендацій Міністерства культури та інформаційної політики України
щодо актуалізації бібліотечних фондів у зв'язку зі збройною агресією російської федерації проти України.
Авторизація
Прізвище
Пароль
Увійти
 
Вид пошуку
 
Стандартний
Розширений
Професійний
Розподілений
За словником
Бази даних
Електронна картотека аналітичного опису статей - результати пошуку
Електронний каталог книг
Електронна картотека аналітичного опису статей
Зведений краєзнавчий каталог Чернігівщини
Електронна бібліотека
Електронний каталог відділу мистецтв (ноти, диски, грамплатівки)
Електронний каталог книг іноземними мовами
Друковані ЗМІ про нас
Зона пошуку
Ключові слова
Автор
Назва
Рік видання
Формат представлення знайдених документів:
повний
інформаційний
короткий
Пошуковий запит:
(<.>S=Наука -- Математика -- Комп`ютери<.>)
Загальна кількість знайдених документів
:
1
1.
Форма документа
: Стаття із журналу
Шифр видання
: 72
Автор(и)
: Добрынин, Сергей
Назва
: Железная логика
Місце публікування
: Вокруг света. - Киев: Вокруг света, 2012. - № 4. - С. 86-92: карты (Шифр В508520/2012/4)
ББК
: 72 + 22.1 + 32.973
Предметні рубрики:
Наука-- Математика-- Комп`ютери
Ключові слова
(''Вільн.індекс.''): ігра судоку--головоломка--математична теорема--теорема про чотири кольори
Анотація:
Математикам приходится использовать компьютеры там, где они традиционно пользовались только своей головой - в доказательствах теорем. Должны ли ученые довериться машинам?
Примірники
:ВДГН(1)
Вільні
: ВДГН(1)
Знайти схожі
повний формат
короткий формат
всі знайдені
відмічені
окрім відмічених
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)