Вход на сайт
ИИ для программиста?
53179 просмотров
Перейти к просмотру всей ветки
Назад
в ответ alek4 23.04.25 09:02
Установка для ИИ-03
1. В ИИ-03 загружаются аксиомы..
2. В ИИ-03 загружаются стандартные методы доказательств.
3 . ИИ-03 генерирует теоремы всё более высокого уровня.
Вт данном случае ИИ-03 программа, например на Дельфи 7.
Разработка программ на Дельфи 7 - минимум времени.