- предусловия
-
initial condition, starting conditions
Англо-русский словарь технических терминов. 2005.
предусловия
Смотреть что такое "предусловия" в других словарях:
Контрактное программирование — (design by contract (DbC), programming by contract, contract based programming) это метод проектирования программного обеспечения. Он предполагает, что проектировщик должен определить формальные, точные и верифицируемые спецификации… … Википедия
Алгоритм Паксос — Для улучшения этой статьи по информационным технологиям желательно?: Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное. Дополнить статью (статья слишком к … Википедия
Результаты обучения (II) (learning outcomes, II) — В широком смысле под термином «рез т» понимается то, чему индивидуум научился в процессе своего участия в определенном виде учеб. деятельности. Однако в границах различных исследовательских перспектив этот термин приобретает более специфическое… … Психологическая энциклопедия
Обобщённое программирование — (англ. generic programming) парадигма программирования, заключающаяся в таком описании данных и алгоритмов, которое можно применять к различным типам данных, не меняя само это описание. В том или ином виде поддерживается разными… … Википедия
STRIPS — Эта статья о системах автоматического планирования, которое является подразделом Искусственного интеллекта STRIPS (Stanford Research Institute Problem Solver) это автоматический планировщик, разработанный Ричардом Файксом и Нильсом Нилсоном … Википедия
Биогеография — Карта мира с зоогеографическими регионами Биогеография наука на стыке биологии и географии; изучает закономерности географического распространения и распределения животных, растений и … Википедия
Принцип подстановки Барбары Лисков — (англ. Liskov Substitution Principle, LSP) в объектно ориентированном программировании является специфичным определением подтипа предложенным Барбарой Лисков в 1987 году на конференции в основном докладе под названием Абстракция данных и… … Википедия
Spec Sharp — Эта статья или раздел грубый перевод статьи на другом языке (см. Проверка переводов). Он мог быть сгенерирован программой переводчиком или сделан человеком со слабыми познаниями в языке оригинала. Вы можете помочь … Википедия
Паспорт гражданина Армении — … Википедия
Принцип подстановки Лисков — Принцип подстановки Барбары Лисков (англ. Liskov Substitution Principle, LSP) в объектно ориентированном программировании является специфичным определением подтипа предложенным Барбарой Лисков в 1987 году на конференции в основном докладе… … Википедия
логика в компьютерных науках — ЛОГИКА В КОМПЬЮТЕРНЫХ НАУКАХ способы прикладного использования логики, подразделяемые на четыре основных направления. Первое логика как теоретический инструмент при проектировании вычислительных устройств. Второе реализация логических… … Энциклопедия эпистемологии и философии науки
