ӘРИНЕ КӨРПЕ РЕТТЕЛГЕН ҚҰРЫЛЫМДАРДА АНЫҚТАЛҒАН БІР ОРЫНДЫҚ ФУНКЦИЯЛАРДЫҢ ЖЕРГІЛІКТІ МОНОТОНДЫЛЫҒЫ ТУРАЛЫ

Авторлар

  • Виктор Вербовский Автор

DOI:

https://doi.org/10.47344/n482c369

Кілт сөздер:

математикалық логика, модельдер теориясы, oминимум, реттелген құрылымдар, қима, толық тип

Аңдатпа

Б. Күлпешов дәлелдегендей, әлсіз минималды құрылымдағы кез-келген қима толық типке дейін ең көбі екі кеңейтімге ие бола алады, ал осы типтердің барлық іске асырылу жиынтығы кез-келген қарапайым кеңейтулерде дөңес болады. Бұл мақалада әлсіз минимализм
ұғымын қорытып, n-қабулы құрылымдар туралы келесі ұғымды аламыз: сызықты реттелген құрылым, егер қандай да бір қимада толық типтерге
кеңейтілген n болса, n-қабулы деп аталады. Мұнда типтің барлық іске
асыруларының жиынтығы дөңес болуы керек деген шартты ескермейміз.
Бұл мақалада біз біртектес функциялар үшін жергілікті монотондылық
қасиетін ақырғы қабулар құрылымында анықтауға болатындығын қарастырамыз.

Жүктеулер

Жарияланды

2020-06-17

Журналдың саны

Бөлім

Статьи