|
|
Дифференциальная геометрия и приложения
3 октября 2011 г. 16:45, г. Москва, ГЗ МГУ, ауд. 16-10
|
|
|
|
|
|
Компьютерное моделирование логических процессов
А. С. Подколзин Московский государственный университет им. М. В. Ломоносова, механико-математический факультет
|
Количество просмотров: |
Эта страница: | 310 |
|
Аннотация:
Главным средством изучения логических процессов на сегодняшний день является их компьютерное моделирование. Предлагаемое исследование связано с развитием техники такого моделирования. Оно позволило поднять уровень обучения компьютерных решателей задач до пограничного слоя между теоремами и алгоритмами и вплотную приблизиться к анализу источников саморазвития решателей. В процессе обучения возникла версия решателя, позволяющая не только получать ответ, но и показывать ход рассуждений по шагам.
|
|