- УИП
- abbrev (узкое исчисление предикатов), restricted predicate calculus
Русско-английский словарь математических терминов. — Американское математическое общество. Э.Д. Лоувотер. 1990.
УИП
Смотреть что такое "УИП" в других словарях:
УИП — Управление информации Правительства РФ РФ УИП универсальный источник питания Словарь: С. Фадеев. Словарь сокращений современного русского языка. С. Пб.: Политехника, 1997. 527 с. УИП управляющая информация протокола машина … Словарь сокращений и аббревиатур
Уип — Характеристика Длина 43 км Бассейн Белое море Бассейн рек Мезень Водоток Устье Мезень · Местоположение 523 км по ле … Википедия
Уип-Ю — Характеристика Длина 21 км Бассейн Белое море Бассейн рек Мезень Водоток Устье Мезень · Местоположение 476 км по … Википедия
УИП-К — унифицированный каротажный источник питания Источник: http://www.npf geofizika.ru/leuza/gti/sokr.htm … Словарь сокращений и аббревиатур
УИП — универсальный источник питания Управление информации Правительства РФ … Словарь сокращений русского языка
ПИЗ УИП СТОРМ — суоллоу стормз (англ, peas weep storm, swallow storm) см. Бури равноденствия … Словарь ветров
Расплющенный космос — Улётный trip Tripping the Rift Экран заглавие мультсериала … Википедия
Уголовно-исполнительное право — самостоятельная отрасль права, представляющая собой систему юридических норм, регулирующих общественные отношения, возникающие в процессе и по поводу исполнения всех видов уголовных наказаний и применения иных мер уголовно правового воздействия.… … Википедия
ПОЛНОТА — в математической логике свойство, близкое к понятию максимального элемента в частично упорядоченном множестве. Термин П. в математич. логике употребляется в контекстах вида: полное исчисление, полная теория (или полное множество аксиом), w полная … Математическая энциклопедия
ПРЕДВАРЕННАЯ ФОРМУЛА — формула узкого исчисления предикатов (УИП), имеющая вид где Qi обозначает квантор всеобщности или квантор существования $, переменные х i, xj различны при и Y формула, не содержащая кванторов. П. ф. наз. также предваренными нормальными формами… … Математическая энциклопедия
ПРОТИВОРЕЧИВЫЙ КЛАСС — класс Кформул языка узкого исчисления предикатов (УИП) такой, что существует такая формула j, что средствами УИП из Квыводимо как ф, так и (отрицание j). Другими словами, если к аксиомам УИП добавить все формулы из Кв качестве новых аксиом, то в… … Математическая энциклопедия
