Электронный каталог МАУК "МИБС" г. Кемерово

Статья

Может ли компьютер доказать теорему? // Вокруг света. – 2022. – № 9 (2980). – На рус. яз.

Возможности доказательства теорем компьютером ограничены. Обычно компьютер ассистирует в этом человеку.

для МАРК-SQL
51(091)
004.5

ключевой = Математика
ключевой = теоремы
ключевой = История математики
ключевой = компьютеры
ключевой = Программы
ключевой = Человеко-машинное взаимодействие в целом
ключевой = доказательства теорем
ключевой = компьютерные расчеты
ключевой = Логик-теоретик
Общий = Вычислительная техника