Программа спецкурса (1159912)

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла

Ïðîãðàììà ïîëóãîäîâîãî ñïåöêóðñà"ÔÓÍÊÖÈÎÍÀËÜÍÛÅ ÓÐÀÂÍÅÍÈß ÌÍÎÃÎÇÍÀ×ÍÎÉ ËÎÃÈÊÈ"Ëåêòîð ïðîô. Ñ. Ñ. ÌÀÐ×ÅÍÊÎÂ, ê.ô.-ì.í Â. Ñ. ԜÄÎÐÎÂÀÓðàâíåíèÿ è ñèñòåìû ôóíêöèîíàëüíûõ óðàâíåíèé ìíîãîçíà÷íîé ëîãèêè. Îïðåäåëåíèå ìíîæåñòâ ôóíêöèé ñ ïîìîùüþ ñèñòåì ôóíêöèîíàëüíûõ óðàâíåíèé.Îïðåäåëåíèå ñèñòåìàìè óðàâíåíèé ìíîæåñòâà âñåõ ôóíêöèé âèäàg0 (g1 (x̃), . . .

, gm (x̃)).Äîñòàòî÷íûå óñëîâèÿ îïðåäåëèìîñòè ïðîèçâîëüíîé ôóíêöèè èç çàìêíóòîãî êëàññà Q ñèñòåìîé óðàâíåíèé íàä Q(1) .Îïðåäåëåíèå ôóíêöèé èç êëàññîâ Pk , Ti , S, T01 , S01 .(n)Îïðåäåëåíèå ïðèçâîëüíûõ ïîäìíîæåñòâ èç P2 ñèñòåìàìè óðàâíåíèéíàä ìíîæåñòâîì {∨, &}.(n)Îïðåäåëåíèå ïðèçâîëüíûõ ïîäìíîæåñòâ èç P2 , çàìêíóòûõ îòíîñèòåëüíî ïåðåõîäà ê äâîéñòâåííûì ôóíêöèÿì, ñèñòåìàìè óðàâíåíèé áåçôóíêöèîíàëüíûõ êîíñòàíò.Ïîëíîòà ñèñòåìû ôóíêöèé {p, maxij } â êëàññå Tk .Ïîðîæäåíèå êëàññà Hk∗ ôóíêöèåé p.(n)Îïðåäåëåíèå ïðèçâîëüíûõ ïîäìíîæåñòâ èç Pk ñèñòåìàìè óðàâíåíèéíàä ìíîæåñòâîì {p, maxij }.(n)Îïðåäåëåíèå ïðèçâîëüíûõ ïîäìíîæåñòâ èç Pk , çàìêíóòûõ îòíîñèòåëüíî ïåðåõîäà ê äâîéñòâåííûì ôóíêöèÿì, ñèñòåìàìè óðàâíåíèé ñ ôóíêöèîíàëüíîé êîíñòàíòîé p.Îïåðàòîð FE-çàìûêàíèÿ.

FE-ïîëíîòà â Pk ìíîæåñòâà âñåõ ôóíêöèéêîíñòàíò. Êîíå÷íîñòü ÷èñëà FE-çàìêíóòûõ êëàññîâ â Pk .Ïðèíöèï äâîéñòâåííîñòè äëÿ FE-çàìûêàíèÿ. FE-çàìêíóòîñòü êëàññîâ âèäà SG .Ïðèíàäëåæíîñòü ôóíêöèè p êëàññó FE[∅].Ïîðîæäåíèå êëàññà Hk ñèñòåìîé ôóíêöèé {p, rk }.Ðàâåíñòâî êëàññîâ FE[∅] è Hk .FE-ïîëíîòà â êëàññå Pk ñèñòåìû ôóíêöèé, ñîñòîÿùåé èç ëþáûõ k − 1ôóíêöèé-êîíñòàíò.

FE-ïîëíîòà â çàìêíóòîì êëàññå Q ìíîæåñòâà Q(k−1) .Îïèñàíèå âñåõ FE-çàìêíóòûõ êëàññîâ â P2 .Êëàññû Sx+1 , S2x+i (i = 0, 1, 2), äîêàçàòåëüñòâî ðàâåíñòâ Sx+1 =FE[x + 1], S2x+i = FE[2x + i].FE-ïðåäïîëíîòà êëàññîâ Sx+1 , S2x+i (i = 0, 1, 2).Ïîëó÷åíèå èç ôóíêöèè f ∈/ H3 îäíîé èç ôóíêöèé x + 1, 2x + i (i =0, 1, 2). Îïèñàíèå âñåõ FE-çàìêíóòûõ êëàññîâ â P3 .ËÈÒÅÐÀÒÓÐÀ1. Ìàð÷åíêîâ Ñ.Ñ., Ô¼äîðîâà Â.Ñ. Î ðåøåíèÿõ ñèñòåì ôóíêöèîíàëüíûõ áóëåâûõ óðàâíåíèé // Äèñêðåòíûé àíàëèç è èññëåäîâàíèå îïåðàöèé.2008. Ò 15,  6. Ñ. 4857.2. Ìàð÷åíêîâ Ñ.Ñ., Ô¼äîðîâà Â.Ñ. Ðåøåíèÿ ñèñòåì ôóíêöèîíàëüíûõóðàâíåíèé ìíîãîçíà÷íîé ëîãèêè // Âåñòíèê Ìîñêîâñêîãî óíèâåðñèòåòà.Ñåðèÿ 15. Âû÷èñëèòåëüíàÿ ìàòåìàòèêà è êèáåðíåòèêà.

2009.  4. Ñ. 2933.3. Ìàð÷åíêîâ Ñ.Ñ. Îïåðàòîð çàìûêàíèÿ â ìíîãîçíà÷íîé ëîãèêå, áàçèðóþùèéñÿ íà ôóíêöèîíàëüíûõ óðàâíåíèÿõ // Äèñêðåòíûé àíàëèç èèññëåäîâàíèå îïåðàöèé. 2010. Ò. 17,  4. Ñ. 1831.4. Ô¼äîðîâà Â.Ñ. SFE-çàìêíóòûå êëàññû òð¼õçíà÷íîé ëîãèêè // Ñáîðíèê ñòàòåé ìîëîäûõ ó÷åíûõ ôàêóëüòåòà ÂÌÊ ÌÃÓ. Âûï. 7. Ì.: Èçäàòåëüñêèé îòäåë ô-òà ÂÌÊ ÌÃÓ, 2010. Ñ.

2233..

Характеристики

Тип файла PDF

PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.

Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.

Список файлов учебной работы