Главная Сайт МБУ "МИБС" Инструкция по поиску в WEB-ИРБИС Видеоуроки по поиску в WEB-ИРБИС
Авторизация
Фамилия
№ читательского билета
 

Базы данных


Статьи- результаты поиска

Вид поиска
Электронный каталог
Периодика МИБС
Периодика Новокузнецка
Аналитическая роспись статей
Краеведческие статьи
Списанные книги
Дважды победители
Область поиска
Поисковый запрос: (<.>I=22.1г/М 74-008302<.>)
Общее количество найденных документов : 1
1.


   
    Может ли компьютер доказать теорему? // Вокруг света. - 2022. - № 9. - С. 84. - (Вопрос-ответ) )
ББК 22.1г + 32.973-018.2
Рубрики: Математика
   История математики
   Вычислительная техника
   Человеко-машинное взаимодействие в целом
Кл.слова (ненормированные):
доказательства теорем -- компьютерные расчеты -- компьютеры -- программы -- теоремы
Аннотация: Возможности доказательства теорем компьютером ограничены. Обычно компьютер ассистирует в этом человеку.

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