Значение слова «предусловие»
-
предусло́вие
1. книжн. предварительно заданное, изначально существующее условие
2. информ. условие, выполняемое до тела цикла
Источник: Викисловарь
Делаем Карту слов лучше вместе
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Со временем я обязательно пойму, как устроен ваш мир.
Вопрос: рассудительность — обозначает ли то, что существует в физическом мире как материальная сущность (человек, животное, растение, предмет, вещество или конкретное место)?
Синонимы к слову «предусловие»
Предложения со словом «предусловие»
- Ответ: если все эти операции будут комбинированы между собой таким образом, что каждая из них будет условием совершения другой, то это не будет дозволенным с точки зрения шариата, так как весьма значимым правилом исламской правовой системы является то, что один контракт не может быть предусловием другого контракта.
- Тест-кейс – набор входных значений, предусловий выполнения, ожидаемых результатов и постусловий выполнения, разработанный для определённой цели или тестового условия, таких как выполнения определённого пути программы или же для проверки соответствия определённому требованию.
- Очевидным предусловием этого является хронологическая схема, применимая ко всему миру.
- (все предложения)
Выдержки из русской классики со словом «предусловие»
- Одно только можно сказать: к такому богу и к такой религии совершенно неприложимы слова Геффдинга о лазарете, подбирающем в походе усталых и раненых, — слова, которые так подходили к религии Достоевского. Скорее вспоминается Ницше: «Кто богат, тот хочет отдавать; гордому народу нужен бог, чтобы приносить жертвы. Религия, при таких предусловиях, есть форма благодарности. Люди благодарны за самих себя: для этого им нужен бог».
- Здоровою частью своей души Ницше интуитивно чуял ту основную истину, которою живо все живое, — истину о глубокой, неисчерпаемой самоценности жизни, не нуждающейся ни в каком «оправдании». Но чтобы человек познал эту истину, нужны известные предусловия, нужна почва, которая бы питала ее. Это подсказала Ницше больная, упадочная часть его души, слишком ясно и болезненно чувствовавшая отсутствие этой почвы.
- Дионисово вино мы можем здесь понимать в более широком смысле: грозный вихревой экстаз вакханок вызван в трагедии не «влагою, рожденной виноградом». Тиресий определенно указывает на ту огромную роль, какую играло это дионисово «вино» в душевной жизни нового эллинства: оно было не просто лишнею радостью в жизни человека, — это необходимо иметь в виду, — оно было основою и предусловием жизни, единственным, что давало силу бессчастному человеку нести жизнь.
- (все выдержки из русской классики)
Понятия, связанные со словом «предусловие»
-
Логика Хоара (англ. Hoare logic, также Floyd—Hoare logic, или Hoare rules) — формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в области информатики и математической логики Хоаром, позже развита самим Хоаром и другими исследователями. Первоначальная идея была предложена в работе Флойда, который опубликовал похожую систему в применении к блок-схемам (англ. flowchart).
-
Сравне́ние в программировании — общее название ряда операций над па́рами значений одного типа, реализующих математические отношения равенства и порядка. В языках высокого уровня такие операции, чаще всего, возвращают булево значение («истина» или «ложь»).
-
Логика разделения, сепарационная логика (англ. separation logic) в информатике — формальная система, предназначенная для верификации программ, содержащих изменяемые структуры данных и указатели, расширение логики Хоара. Разработана Джоном Рейнольдсом (англ. John C. Reynolds), Питером О’Хирном (англ. Peter O'Hearn), Самином Иштиаком (англ. Samin Ishtiaq) и Хонсёком Яном (англ. Hongseok Yang) на основе работ Рода Бёрстола (англ. Rod Burstall). Язык утверждений логики разделения является специальным...
-
Блок (также говорят блок кода, блок команд, блок инструкций) в программировании — это логически сгруппированный набор идущих подряд инструкций в исходном коде программы, является основой парадигмы структурного программирования.
-
Псевдоко́д — компактный (зачастую неформальный) язык описания алгоритмов, использующий ключевые слова императивных языков программирования, но опускающий несущественные подробности и специфический синтаксис. Псевдокод обычно опускает детали, несущественные для понимания алгоритма человеком. Такими несущественными деталями могут быть описания переменных, системно-зависимый код и подпрограммы. Главная цель использования псевдокода — обеспечить понимание алгоритма человеком, сделать описание более воспринимаемым...
- (все понятия)
Отправить комментарий
Предложения со словом «предусловие»
Ответ: если все эти операции будут комбинированы между собой таким образом, что каждая из них будет условием совершения другой, то это не будет дозволенным с точки зрения шариата, так как весьма значимым правилом исламской правовой системы является то, что один контракт не может быть предусловием другого контракта.
Тест-кейс – набор входных значений, предусловий выполнения, ожидаемых результатов и постусловий выполнения, разработанный для определённой цели или тестового условия, таких как выполнения определённого пути программы или же для проверки соответствия определённому требованию.
Очевидным предусловием этого является хронологическая схема, применимая ко всему миру.
- (все предложения)