|
|
|
|
|
|
|
|
|
Глазам не верить
Глоссарий синонимов |
Глазам не верить , удивляться
|
Удивляться, русский
Удивляться, дивиться, изумляться, недоумевать, ахнуть, диву даваться, глазам не верить, приходить в удивление (изумление); (от удивления) раскрыть рот (глаза), разинуть рот, таращить глаза, хлопать глазами, разводить (всплеснуть) руками; (от удивления) об
|
Вериги, русский
- Вериги , бремя, оковы , нести вериги
- , тяжелые железные цепи, обручи и т. п., носимые на голом теле для доказательства преданности богу.
Вериго-бора, русский
Верижна структура, болгарский
Сцепление (1. система запоминаний, связанных друг с другом записей, при котором каждая запись содержит поле связи, позволяющее восстановить, цепочку записей, а логический порядок записей не обязательно совпадает с физическим 2. объединение записей данных в последовательность иди цепочку)
Верижно свързани набори на данните, болгарский
Сцепленнще наборы данных (группа логически связанных наборов данных, которые при выполнении шага задания рассматриваются как единое целое)
Веризм, русский
(от итал . vero - правдивый), реалистическое направление в итальянской литературе (дж. верга, л. капуана, г. деледда), опере (п. масканьи, р. леонкавалло, дж. пуччини), изобразительном искусстве (скульптор в. вела, живописец дж. пеллицца) кон. 19 в., близкое к натурализму; характерны интерес к быту бедняков, особенно крестьян, внимание к переживаниям героев, острые драматические коллизии, подчеркнуто эмоциональный стиль.
Веримент, русский
Операции банков, состоящие в перечислении определенной суммы денег с текущего счета одного клиента на текущий счет другого.
Веринг эйр, русский
Верисиму, русский
(verissimo) эрику (1905-75) , бразильский писатель. социально-психологические романы ("скрестившиеся пути", 1935), историческая дилогия "время и ветер" (1949-62). в романах "господин посол" (1965), "пленник" (1967) разоблачает экспансионистскую политику сша в латинской америке и азии. гротескный роман "происшествие в антаресе" (1971) из современной жизни.
Веритель, русский
Веритель [доверитель, поручающий кому-л. что-л. с известным полномочием; давший кому-л. доверенность (даль, вера)] , клиент
Верительная грамота, русский
- (франц . lettre de creance), документ, удостоверяющий назначение лица дипломатическим представителем в другой стране; вручается при вступлении в должность главе иностранного государства.
- Документ, которым снабжается глава дипломатического представительства класса послов или посланников для удостоверения его представительного характера и аккредитования в иностранном государстве.
Верительные данные, русский
Данные для установления подлинности личности, за которую выдает себя пользователь ресурса вос.
Верить, русский
Верить, веровать, исповедовать веру, держать закон; доверять, придавать веру, принимать за истину (за чистую монету, всерьез), доверяться (вверяться) кому, полагаться на кого, питать доверие к кому; поверить, убеждаться, взять (забрать) себе что в голову.
Вериться, русский
Вериться , верить
Верификатор, русский
Верификатор условий, русский
Программа, анализирующая текст другой программы, снабженной условиями и операторами контроля, которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях.
Верификационная теория значения, русский
Концепция логического эмпиризма (позитивизма), согласно которой смыслом обладают только те предложения, которые сводимы к протокольным предложениям.
Верификация, русский
- (от лат. verificare- доказать истину) один из исходных методов логического позитивизма, согласно которому истинность любого утверждения о действительности должна быть установлена в его сопоставлении с чувственными данными.
- При проверке научных понятий – доказательство или иная убедительная демонстрация того, что явления, включенные в объем и содержание данного понятия, действительно существуют и соответствуют определению понятия. это же предполагает наличие методики опытной
- Контроль, проверка, подтверждение.
- При проверке научных понятий – доказательство или иная убедительная демонстрация того, что явления, включенные в объем и содержание данного понятия, действительно существуют и соответствуют определению понятия. это же предполагает наличие методики опытной проверки явления, описываемого понятием. проверка выполняется посредством соответственной психодиагностической процедуры.
- (от лат . verus - истинный и facio - делаю), проверка, эмпирическое подтверждение теоретических положений науки путем сопоставления их с наблюдаемыми объектами, чувственными данными, экспериментом. принцип верификации (или верифицируемости) - одно из основных понятий логического позитивизма.
- Проверка документов, расчетов и др.
- (от лат. verus – истинный и facio – делаю) – подтверждение. предположение (гипотеза) может быть верифицировано, т.е. его истинность может быть доказана как с помощью опыта, так и с помощью связного логического доказательства. неопозитивизм требует, чтобы предположение было верифицируемо в принципе, т.е. чтобы переживания, которые его подтверждают, или были налицо, или могли быть получены.
- Процесс сравнения двух уровней спецификации средств вычислительной техники или их комплексов на надлежащее соответствие. еще - в программировании доказательство правильности программ. различают два подхода к верификации: статические и конструктивные методы. еще - процесс сопоставления двух уровней спецификаций системы (например, модели политики безопасности и спецификаций системы, спецификаций системы и исходных кодов, исходных кодов и выполняемых кодов) для установления необходимого 14 соответствия между ними. этот процесс может быть полностью или частично автоматизирован. верификация и подтверждение правильности [verification andvalidation (v & v)] - общий термин для обозначения полного набора проверок, которым подвергается система для получения гарантий ее соответствия своему назначению. в число таких проверок могут входить жесткий набор функциональных тестов, контроль пропускной способности, проверка надежности и т. д.
- Процесс сравнения двух уровней спецификации средств вычислительной техники или автоматизированных систем на надлежащее соответствие.
- Оценка правильности исходных данных для производства всех требований к будущему продукту, так и к его производству.
- Подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены.
- Подтверждение посредством представления объективных свидетельств того, что установленные требования были выполнены.
- Доказательство, подтверждение; понятие, употребляемое в методологии пауки для обозначения процесса установления истинности научных утверждений в результате их эмпирической проверки.
- Подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены. термин используется для обозначения соответствующего статуса. данная деятельность может включать проверку методов приемки объектов (проектов, продукции), этапов проектирования и производства, а также характеристик объектов для подтверждения выполнения требований
- Проверка, проверяемость, способ подтвер- ждения, проверка с помощью доказательств, каких-либо теорети- ческих положений, алгоритмов, программ и процедур путем их сопоставления с опытными (эталонными или эмпирическими) дан- ными, алгоритмами и программами. [10]. вид. в логике видом называется понятие, подчиненное более общему – роду и занимающее (по объему и содержанию) среднее место между родовым и индивидуальными понятиями. [61]. 19
Верификация говорящего, русский
Верификация говорящего [проверка справедливости утверждений говорящего о том, что данная речевая запись принадлежит ему /отражает его голос/]
Верификация и подтверждение правильности, русский
Верификация прогноза, русский
Verification de prevision (de la prospective)
Верификация программ, русский
Любой метод, который убеждает в том, что программа будет выполнять именно то, что от нееожидается. еще - доказательство того, что поведение программы соответствует спецификации на эту программу (дсту 2873).
|
Глазенапы, русский
Глазенапы , запускать глазенапы
Глаза разгорелись, русский
Глаза разгорелись , желать
|
|
|
|
|
|
|