Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Календарь
Поиск
Регистрация семинара

RSS
Ближайшие семинары




Дифференциальная геометрия и приложения
3 октября 2011 г. 16:45, г. Москва, ГЗ МГУ, ауд. 16-10
 


Компьютерное моделирование логических процессов

А. С. Подколзин

Московский государственный университет им. М. В. Ломоносова, механико-математический факультет

Количество просмотров:
Эта страница:310

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