English version of this page
На главную страницу
Официальный сайт кафедры Математической теории интеллектуальных систем и
лаборатории Проблем теоретической кибернетики
механико-математического факультета МГУ им. М. В. Ломоносова
На первую страницу сервера Новости Кафедра Сотрудники Учеба Наука Исследования Журнал Культура Полнотекстовый поиск по серверу
 ТДФ Теория дискретных функций – лекции и семинары для студентов 1 курса (II поток)
 Ташкентский филиал Ташкентский филиал МГУ им. М.В. Ломоносова
 Семинары расписание специальных семинаров кафедры МаТИС
 Курсы расписание специальных курсов кафедры, программа курсов
 Практикум cпециальный математический практикум кафедры МаТИС, III курс
 Студенты список студентов кафедры по курсам и группам, расписание занятий, выпускники
 Магистратура информация для поступающих в магистратуру
 Аспирантура информация для аспирантов и поступающих в аспирантуру; списки аспирантов

Исследование систем функций k-значной логики на полноту

 

3.1 Выяснить, полны ли в Pк следующие системы:

1) { 1, J0(x), J2(x), min(x,y), max(x,y) }, k=3 (показать решение)

2) { 1, 2, J2(x), min(x,y), max(x,y) }, k=3

3) { 1, 2, J0(x), J1(x), min(x,y), max(x,y) }, k=4

 

3.2 Используя метод сведения к заведомо полным системам, доказать полноту:

1) { 1, x2-y, min(x,y) } (показать решение)

2) { k-1, x y, x+y }

3) { 1, 2x+y, x2 y }

 

3.3 Используя критерий Слупецкого, доказать полноту:

1) { k-1, j0(x), x+y }

2) { j2(x), x+y2, x∙y+1 } (показать решение)

 

3.4 Исследовать на полноту следующие системы:

1) { k-2, x+y, min(x,y) } (показать решение)

2) { 1, 2, x y +1 }

3) { 2 x, max(x,y), x∙y } (показать решение)

4) { ~x, 2j0(x), J1(x), x y }

 

3.5 Подсчитать число существенных функций в Pк, зависящих от переменных x1,... xn.

 

3.6 Доказать, что каждый замкнутый класс в Pк имеет не более чем счетное множество предполных в нем классов.

 

 

Список задач по Pk

   © 2001-2015 г. Кафедра Математической теории интеллектуальных систем, лаборатория Проблем теоретической кибернетики Написать вебмастеру   
XWare
 Полнотекстовый поиск
 
Только точная форма слов      Выводить по результатов на странице
Rambler's Top100 Рейтинг@Mail.ru