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