English-Russian dictionary - terms added by user alex_: 13
6.04.2025 | 22:49:11 | PR intell. | framing | формирование информационного фона (метод дезинформации, сущность которого состоит в том, чтобы выбрать реальные ("зерно истины", препятствующее полному провалу дезинформационной операции) и добавить сфабрикованные сведения об аспектах действительности, фактах из прошлого определенного лица, сделать их более или менее заметными в информационных потоках, представить их в позитивном или негативном свете, популяризируя таким образом определенную трактовку проблемы, истолкование её причин, моральную оценку и возможное её решение в необходимом ключе, формируя отношение общественности к тому или иному лицу или фактам действительности, сущность и характер которого отвечает целям и задачам дезинформационной операции) |
4.08.2018 | 15:35:19 | gen. | we have an unknown future | никто не знает, какое будущее нам уготовано (подразумевается: и есть ли оно у нас вообще, поскольку далее в тексте говорится: " ... maybe they will kill us or maybe we will die in the war, or maybe after".; Washington Post, США) |
5.05.2008 | 12:38:48 | hunt. | O&U | двустволка (over-and-under "вертикалка") |
5.05.2008 | 12:36:14 | hunt. | SxS | двустволка (side-by-side "горизонталка") |
5.05.2008 | 12:35:02 | hunt. | double rifle | двустволка (для нарезных двуствольных винтовок (штуцеров) обычно тяжёлых и для охоты на крупного зверя или сафари) |
5.05.2008 | 12:30:38 | hunt. | double gun | двустволка |
5.05.2008 | 12:30:38 | hunt. | double shotgun | двустволка (для дробовых ружей) |
gen. | high-integrity | высоконадёжный (ПО с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций) | ||
gen. | high-integrity system | высоконадёжная система (с высокими требованиями по технической и информационной безопасности) | ||
gen. | prove absence of runtime errors | выполнить формальное доказательство отсутствия ошибок времени выполнения (overflows, reading of uninitialized variables etc.) | ||
gen. | have legal capacity | быть правомочным (to ... + inf) | ||
gen. | Davis-Putnam-Logemann-Loveland algorithm | алгоритм Дэвиса-Патнема-Логемана-Лавленда (полный алгоритм поиска с возвратом для определения выполнимости булевых формул, записанных в конъюнктивной нормальной форме. Опубликован в 1962 г. Мартином Дэвисом, Хилари Патнем, Джорджем Логеманом и Дональдом Лавлендом и представлял собой усовершенствование более раннего алгоритма Дэвиса-Патнема, метода, основанного на правиле резолюци) | ||
gen. | spiritual literature | духовная литература (проповеди на любые темы, толкование Священного Писания и канонов, жития святых, советы о внутренней борьбе со своими недостатками и пороками. Все это открывает духовный мир человеку. Человек учится глубже разбираться в) |