Перейти к навигации Перейти к поиску
 | Эта статья требует внимания специалиста по математике . ( Октябрь 2019 г. ) |
В математической логике , различные подъязыко из теории множеств являются разрешимы . [1] [2] К ним относятся:
- Наборы с монотонными, аддитивными и мультипликативными функциями. [3]
- Наборы с ограниченными кванторами. [4]
Ссылки [ править ]
- ^ Cantone, D., EG Omodeo и A. Policriti, "Теория множеств для вычислений. От процедур принятия решений до логического программирования с множествами", Монографии по компьютерным наукам, Springer, 2001.
- ^ "Процедуры принятия решений для элементарных подъязыков теории множеств: XIII. Модельные графы, отражение и разрешимость", Франко Парламенто и Альберто Поликрити. Журнал автоматического мышления, том 7, выпуск 2 (июнь 1991), страницы: 271 - 284
- ^ «Процедура принятия решения для подъязыка теории множеств, включающая монотонные, аддитивные и мультипликативные функции», Доменико Кантоне и др.
- ^ "Табличная процедура принятия решения для фрагмента теории множеств, включающая ограниченную форму количественной оценки", Доменико Кантоне, Калоджеро Г. Зарба, Виале А. Дориа, 1997 [ постоянная мертвая ссылка ]