Жиындар теориясының шешуші тілдері - Decidable sublanguages of set theory
 | Бұл мақала математика маманы назар аударуды қажет етеді. (Қазан 2019) |
Жылы математикалық логика, түрлі тілдер жиынтық теориясы болып табылады шешімді.[1][2] Оларға мыналар жатады:
- Монотонды, аддитивті және мультипликативті функциялары бар жиынтықтар.[3]
- Шектеуіштері бар жиынтықтар.[4]
Пайдаланылған әдебиеттер
- ^ Cantone, D., E. G. Omodeo және A. Policriti, «Есептеу теориясын қойыңыз. Шешім қабылдау процедураларынан логикалық бағдарламалауға дейін», Информатикадағы монографиялар, Springer, 2001 ж.
- ^ «Жиындар теориясының қарапайым ішкі тілдерін шешуге арналған процедуралар: ХІІІ. Үлгілік графиктер, шағылысу және шешімділік», Франко Парламенто және Альберто Поликрити Автоматтандырылған ойлау журналы, 7 том, 2 басылым (1991 ж. Маусым), Беттер: 271 - 284
- ^ «Монотонды, аддитивті және мультипликативті функцияларды қамтитын жиынтық теориясының ішкі тілінің шешімі», Доменико Кантон және т.б.
- ^ Доменико Кантоне, Калогеро Г. Зарба, Виале Дориа, 1997 ж.[тұрақты өлі сілтеме ]