Warning: session_start(): open(/var/tmp//sess_u9dnf5kl4rm1krk06flqtdh3u1, O_RDWR) failed: No space left on device (28) in /usr/local/www/virtualhosts/en.edu.ru/current/web/cache/Eaze.Core.php on line 2135 Warning: session_commit(): open(/var/tmp//sess_u9dnf5kl4rm1krk06flqtdh3u1, O_RDWR) failed: No space left on device (28) in /usr/local/www/virtualhosts/en.edu.ru/current/web/cache/Eaze.Core.php on line 2196 Warning: session_commit(): Failed to write session data (files). Please verify that the current setting of session.save_path is correct () in /usr/local/www/virtualhosts/en.edu.ru/current/web/cache/Eaze.Core.php on line 2196 Математическая логика и логическое программирование
Организации участники проекта
ИНТЕРНЕТ-КОНФЕРЕНЦИИ

HotLog

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

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

 

ПАРТНЕРЫ

  

  

  

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