   |
 |
|
|
 |
Официальный сайт кафедры Математической теории интеллектуальных систем и лабораторий
Проблем теоретической кибернетики и Математичеких проблем искусственного интеллекта
механико-математического факультета МГУ им. М. В. Ломоносова |
 |
|
|
 |
|
|
|
|
|
|
| |
Теория дискретных функций – лекции и семинары для студентов 1 курса (II поток) |
| |
Ташкентский филиал МГУ им. М.В. Ломоносова |
| |
расписание специальных семинаров кафедры МаТИС |
| |
расписание специальных курсов кафедры, программа курсов |
| |
cпециальный математический практикум кафедры МаТИС, III курс |
| |
список студентов кафедры по курсам и группам, расписание занятий, выпускники |
| |
информация для поступающих в магистратуру |
| |
информация для аспирантов и поступающих в аспирантуру; списки аспирантов |
|
|
|
|
|
|
|
Вопросы к коллоквиуму по Pk, курс "Теория дискретных функций" (II поток)
Скачать список вопросов в формате PDF (90K)
- Функции k-значной логики. Существенные переменные.
Отношение равенства. Элементарные функции. Класс M0.
- Формулы. Суперпозиции. Замыкание, его свойства.
Функциональные системы k-значной логики.
- Полнота и выразимость для функциональных систем.
Конечная порожденность Pk.
- R-множества. Конструктивность их описания.
- Замкнутость класса сохранения R-множества.
- Лемма о равенстве U(R)∩Pk(x1,x2)=R.
- Лемма о неполноте в Pk множества M∪{g1(x1,
x2), g2(x1, x2)} при неполноте M.
- Критериальные системы в Pk. Теорема Кузнецова.
- Теорема о критериальности системы всех предполных
классов в Pk.
- Алгоритм проверки на полноту конечных систем в
Pk.
- Лемма Яблонского.
- Лемма о равенстве [Pk(x) ∪ PAk]=P|A|k∪
Pk(x).
- Лемма о включении [Pk(x) ∪ {f}] ⊃
PE2k при k>2, f – существенной функции.
- Лемма о включении [Pk(x) ∪ {f}]⊃
Pl+1k при k>2, f – существенной функции, 1<l<k и
включении [Pk(x) ∪ {f}]⊃ Plk.
- Теорема Слупецкого.
- Теорема о полноте полиномов в Pk.
- Континуальность множества замкнутых классов в Pk
при k>2.
|
|
|
| © 2001-
г. Кафедра Математической теории интеллектуальных систем, лаборатория ПТК, лаборатория МПИИ |
Написать вебмастеру |
|
|
|
|
|
