- предусловие
- предусл'овие, -я
Русский орфографический словарь. / Российская академия наук. Ин-т рус. яз. им. В. В. Виноградова. — М.: "Азбуковник". В. В. Лопатин (ответственный редактор), Б. З. Букчина, Н. А. Еськова и др.. 1999.
предусловие
Смотреть что такое "предусловие" в других словарях:
Предусловие — условие, истинность которого проверяется в начале выполнения тела цикла или процедуры. См. также: Операторы в языках программирования Операторы циклов Финансовый словарь Финам … Финансовый словарь
предусловие — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN precondition … Справочник технического переводчика
Предусловие — 9.23 Предусловие предикат, задающий требования, которые должны быть справедливы для того, чтобы действие осуществилось. Источник … Словарь-справочник терминов нормативно-технической документации
Предусловие связывания — 13.4.3 Предусловие связывания набор условий, требуемых для успешного выполнения связывающего поведения. Объекты, осуществляющие связывающее поведение, должны иметь идентификаторы для всех интерфейсов, участвующих в связывании. Могут существовать… … Словарь-справочник терминов нормативно-технической документации
Слабейшее предусловие — Преобразователи предикатов расширение логики Флойда Хоара, сделанное Э. Дейкстрой. Впервые появившись в [1][1], с помощью этого метода определяется семантика императивного программирования и соответствующего языка. В нём каждой команде языка… … Википедия
слабейшее предусловие — слабейшее входное условие — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия Синонимы слабейшее входное условие EN weakest precondition … Справочник технического переводчика
ГОСТ Р ИСО/МЭК 10746-2-2000: Информационная технология. Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Часть 2. Базовая модель — Терминология ГОСТ Р ИСО/МЭК 10746 2 2000: Информационная технология. Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Часть 2. Базовая модель оригинал документа: 6.3 Абстракция процесс отбрасывания… … Словарь-справочник терминов нормативно-технической документации
Логика Хоара — (англ. Hoare logic, также Floyd Hoare logic, или Hoare rules) формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в… … Википедия
входное условие — предусловие — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом Синонимы предусловие EN precondition … Справочник технического переводчика
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия
