Поиск :
Личный кабинет :
Электронный читательский билет
Электронный читательский билет
Предъявите этот штрих-код вместо читательского билета
xxx
Электронный каталог: Может ли компьютер доказать теорему?
Может ли компьютер доказать теорему?
На полку
Статья
Может ли компьютер доказать теорему?#SOURCE# . – На рус. яз.
Возможности доказательства теорем компьютером ограничены. Обычно компьютер ассистирует в этом человеку.
для МАРК-SQL
51(091)
004.5
ключевой = Математика
ключевой = теоремы
ключевой = История математики
ключевой = компьютеры
ключевой = Вычислительная техника
ключевой = Программы
ключевой = Человеко-машинное взаимодействие в целом
ключевой = доказательства теорем
ключевой = компьютерные расчеты
ключевой = Логик-теоретик
Может ли компьютер доказать теорему?#SOURCE# . – На рус. яз.
Возможности доказательства теорем компьютером ограничены. Обычно компьютер ассистирует в этом человеку.
для МАРК-SQL
51(091)
004.5
ключевой = Математика
ключевой = теоремы
ключевой = История математики
ключевой = компьютеры
ключевой = Вычислительная техника
ключевой = Программы
ключевой = Человеко-машинное взаимодействие в целом
ключевой = доказательства теорем
ключевой = компьютерные расчеты
ключевой = Логик-теоретик