Нижегородский государственный университет им.Н.И.Лобачевского.

ЛАБОРАТОРИЯ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ

Факультет вычислительной математики и кибернетики

Лаборатория ITLabНовостиТекущие новости Switch to English version  
Новости
Текущие новости
Подписка
О Лаборатории
Обучение
Исследования
Образовательные комплексы
Семинар Лаборатории
Мероприятия
Вакансии Интел
Сотрудничество
Разработчики сайта
О нас пишут
Летняя школа 2011
Видео лекции
Клуб У.М.Н.И.К.
Имя:
Пароль:
запомнить:
Забыли пароль? Регистрация

Текущие новости

24 апреля в 18-00 в ауд. 114 состоится очередной семинар студенческого клуба "Computer Science and Its Applications"

Алексей Терехов, Надежда Коржавина, Дмитрий Грибанов, "Автоматическое доказательство теорем"  

Аннотация 

Введение в математическую логику, как способ формализации человеческой логики: 

  • Логика высказываний 
  • Логика первого порядка 
  • Математическая теория (аксиоматическое и структурное задание) 
  • Математика парадоксальна и может быть противоречива — Теоремы Гёделя, проблемы вытекающие из теорем Геделя 

Введение в автоматическое доказательство теорем: 

  • Стандартная форма записи 
  • Теорема Эрбрана
  • Один из первых алгоритмов авт. док. - метод Гилмора, его модификация (Девис, Патнем). 
  • Метод резолюции — 1-ый эффективный метод авт. док-ва. 
  • Стратегии вычеркивания, поддержки. 
  • Некоторые известные виды резолюции: семантическая, линейная, лок резолюции; и некоторые их модификации и уточнения.
  • Какой метод применяется в ПРОЛОГЕ?; Дизъюнкты Хорна. 
  • Невыполнимость в специальных классах моделей, пример на основе резолюции с равенствами, парамодуляция. 
  • Приминение: анализа, синтез программ, решение задач, дедуктивный вывод, обучаемость. 

Введение в логическое программирование (на основе языка ПРОЛОГ) 

  • Как выглядит программа на прологе? 
  • Основы написания логических программ. 
  • Примеры программ. 

Специальных знаний не требуется, т. к. включено введение в мат. логику. 

Лекция для тех, кто желает расширить свой кругозор.


<< вернуться  |   Документ от: 23.04.2009 10:45

Новости

14.11.2015
16.10.2015
16.10.2015
14.10.2015
20.09.2015

© ITLab, Нижний Новгород,  2009