Значение слова «предусловие»

Синонимы к слову «предусловие»

Предложения со словом «предусловие»

• Чтобы философская мысль была признана антропологической, нужны какие-то предусловия.
  Павел Семенович Гуревич, Философское толкование человека, 2015
• Предыдущие знания считаются «семантическими предусловиями понимания».
  В. В. Знаков, Понимание в мышлении, общении, человеческом бытии, 2007
• Ответ: если все эти операции будут комбинированы между собой таким образом, что каждая из них будет условием совершения другой, то это не будет дозволенным с точки зрения шариата, так как весьма значимым правилом исламской правовой системы является то, что один контракт не может быть предусловием другого контракта.
  Мухаммад Таки Усмани, Исламские финансы, 2023
• (все предложения)

Цитаты из русской классики со словом «предусловие»

• Здоровою частью своей души Ницше интуитивно чуял ту основную истину, которою живо все живое, — истину о глубокой, неисчерпаемой самоценности жизни, не нуждающейся ни в каком «оправдании». Но чтобы человек познал эту истину, нужны известные предусловия, нужна почва, которая бы питала ее. Это подсказала Ницше больная, упадочная часть его души, слишком ясно и болезненно чувствовавшая отсутствие этой почвы.
  Вересаев В. В., Живая жизнь, 1914
• Дионисово вино мы можем здесь понимать в более широком смысле: грозный вихревой экстаз вакханок вызван в трагедии не «влагою, рожденной виноградом». Тиресий определенно указывает на ту огромную роль, какую играло это дионисово «вино» в душевной жизни нового эллинства: оно было не просто лишнею радостью в жизни человека, — это необходимо иметь в виду, — оно было основою и предусловием жизни, единственным, что давало силу бессчастному человеку нести жизнь.
  Вересаев В. В., Живая жизнь, 1914
• Одно только можно сказать: к такому богу и к такой религии совершенно неприложимы слова Геффдинга о лазарете, подбирающем в походе усталых и раненых, — слова, которые так подходили к религии Достоевского. Скорее вспоминается Ницше: «Кто богат, тот хочет отдавать; гордому народу нужен бог, чтобы приносить жертвы. Религия, при таких предусловиях, есть форма благодарности. Люди благодарны за самих себя: для этого им нужен бог».
  Вересаев В. В., Живая жизнь, 1914
• (все цитаты из русской классики)

Понятия, связанные со словом «предусловие»

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

Отправить комментарий

Дополнительно

• Как правильно пишется слово «предусловие»
• Цитаты со словом «предусловие» (подборка цитат)