Организации участники проекта
ИНТЕРНЕТ-КОНФЕРЕНЦИИ

HotLog

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

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

 

ПАРТНЕРЫ

  

  

  

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