Notice: MemcachePool::replace(): Server localhost (tcp 11211, udp 0) failed with: SERVER_ERROR out of memory storing object (130) in /usr/local/www/virtualhosts/en.edu.ru/current/web/cache/Eaze.Modules.php on line 566 Notice: MemcachePool::add(): Server localhost (tcp 11211, udp 0) failed with: SERVER_ERROR out of memory storing object (130) in /usr/local/www/virtualhosts/en.edu.ru/current/web/cache/Eaze.Modules.php on line 569 Математическая логика и логическое программирование
Организации участники проекта
ИНТЕРНЕТ-КОНФЕРЕНЦИИ

HotLog

Rambler's Top100
КАТАЛОГ
Математическая логика и логическое программирование

Программа курса "Математическая логика и логическое программирование" содержит вопросы по темам:
логика предикатов первого порядка,
метод резолюций,
основы логического программирования,
неклассические прикладные логики.
Список основной и дополнительной литературы.
Программа разработана кафедрой математической кибернетики МГУ и предназначена для студентов математических специальностей высших учебных заведений.
ПОИСК

 

ПАРТНЕРЫ

  

  

  

 
©2002-2009 Федеральное агентство по образованию
©2002-2009 СПбГУ ИТМО
©2002-2009 Разработка сайтов — 1ADW