Аннотация:
Главным средством изучения логических процессов на сегодняшний день является их компьютерное моделирование. Предлагаемое исследование связано с развитием техники такого моделирования. Оно позволило поднять уровень обучения компьютерных решателей задач до пограничного слоя между теоремами и алгоритмами и вплотную приблизиться к анализу источников саморазвития решателей. В процессе обучения возникла версия решателя, позволяющая не только получать ответ, но и показывать ход рассуждений по шагам.
|
