УИП-К

УИП-К

УИП-К

унифицированный каротажный источник питания

Источник: http://www.npf-geofizika.ru/leuza/gti/sokr.htm


Словарь сокращений и аббревиатур. . 2015.

Игры ⚽ Поможем написать курсовую

Смотреть что такое "УИП-К" в других словарях:

  • УИП — Управление информации Правительства РФ РФ УИП универсальный источник питания Словарь: С. Фадеев. Словарь сокращений современного русского языка. С. Пб.: Политехника, 1997. 527 с. УИП управляющая информация протокола машина …   Словарь сокращений и аббревиатур

  • Уип — Характеристика Длина 43 км Бассейн Белое море Бассейн рек Мезень Водоток Устье Мезень  · Местоположение 523 км по ле …   Википедия

  • Уип-Ю — Характеристика Длина 21 км Бассейн Белое море Бассейн рек Мезень Водоток Устье Мезень  · Местоположение 476 км по …   Википедия

  • УИП — универсальный источник питания Управление информации Правительства РФ …   Словарь сокращений русского языка

  • ПИЗ УИП СТОРМ — суоллоу стормз (англ, peas weep storm, swallow storm) см. Бури равноденствия …   Словарь ветров

  • Расплющенный космос — Улётный trip Tripping the Rift Экран заглавие мультсериала …   Википедия

  • Уголовно-исполнительное право — самостоятельная отрасль права, представляющая собой систему юридических норм, регулирующих общественные отношения, возникающие в процессе и по поводу исполнения всех видов уголовных наказаний и применения иных мер уголовно правового воздействия.… …   Википедия

  • ПОЛНОТА — в математической логике свойство, близкое к понятию максимального элемента в частично упорядоченном множестве. Термин П. в математич. логике употребляется в контекстах вида: полное исчисление, полная теория (или полное множество аксиом), w полная …   Математическая энциклопедия

  • ПРЕДВАРЕННАЯ ФОРМУЛА — формула узкого исчисления предикатов (УИП), имеющая вид где Qi обозначает квантор всеобщности или квантор существования $, переменные х i, xj различны при и Y формула, не содержащая кванторов. П. ф. наз. также предваренными нормальными формами… …   Математическая энциклопедия

  • ПРОТИВОРЕЧИВЫЙ КЛАСС — класс Кформул языка узкого исчисления предикатов (УИП) такой, что существует такая формула j, что средствами УИП из Квыводимо как ф, так и (отрицание j). Другими словами, если к аксиомам УИП добавить все формулы из Кв качестве новых аксиом, то в… …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»