Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.cmc-online.ru/doc/aspirants/program_matkib.doc Дата изменения: Thu Apr 26 16:35:18 2007 Дата индексирования: Fri Feb 28 20:30:31 2014 Кодировка: koi8-r

Для специальностей: "математическая логика" и "математическая кибернетика":

1. Вопросы функциональной полноты в k-значной логике. Теорема о полноте
для [pic]. Теорема Кузнецова. Алгоритм распознавания полноты в [pic].
Теорема Слупецкого.
2. Методы синтеза управляющих систем. Упрощение дизъюнктивных нормальных
форм. Асимптотически оптимальные методы синтеза схем. Методы получения
нижних оценок.
3. Вопросы независимости, непротиворечивости и дедуктивной полноты на
примере исчисления высказываний, теорема дедукции.
4. Автоматы и машины Тьюринга. Классы рекурсивных функций.
Эквивалентность понятий частично рекурсивная функция и функция,
вычислимая по Тьюрингу.
5. Двойственность в задачах математического программирования и ее связь с
теорией игр.
6. Понятие оптимальных стратегий в исследовании операций и методы их
отыскания. Необходимые условия оптимальности.
7. Матричные игры и методы их решения.
8. Исследование моделей "оборона-нападение" и "численный поиск
экстремума".