Разрешения проблема, важное понятие логики. Разрешения проблема данного множества А конструктивных объектов (относительно некоторого объемлющего множества V конструктивных объектов) называют проблему построения алгоритма, распознающего по всякому объекту из множества V, принадлежит ли он множеству А или нет. Разрешения проблема (более подробно — Разрешения проблема для доказуемости) формальной системы (или исчисления) называется Разрешения проблема множества всех доказуемых формул этой системы относительно множества всех её формул. Семантическая Разрешения проблема (или Разрешения проблема для истинности) интерпретированной формальной системы (формализованного языка) называется Разрешения проблема множества всех истинных формул системы относительно множества всех её формул.
Так же Вы можете узнать о...
Цзи Кан (второе имя — Шу-е) (223, область Цзяоцзюнь, современная провинция Аньхой, — 262), китайский поэт и философ, музыкант. Чёрные Горы (от тёмного цвета лесистых гряд), название передовых хребтов Б. Шерсть , Эвклид (Eukleides), см. Евклид. Эндомитоз (от эндо... и митоз), удвоение числа хромосом в ядрах клеток многих растительных и некоторых животных организмов. Ядерная авария, вызывается неконтролируемым течением цепной реакции в ядерном реакторе. Автоштурман, автономное аэронавигационное устройство, автоматически и непрерывно производящее прокладку пути (вычисление текущих координат) летательного аппарата. Алексинский Григорий Алексеевич (р. 1879), русский политический деятель, вначале социал-демократ, впоследствии контрреволюционер. Анива (залив Охотского м.) Анива, залив Охотского моря у южного берега острова Сахалин, между полуостровами Крильонским и Тонино-Анивским. Артуровские легенды, народные предания кельтских обитателей Уэльса, ставшие основой многих поэтических сочинений, в центре которых — образ короля Артура, одного из королей бриттов (5—6 вв.