-
41 program correctness proof
English-Russian information technology > program correctness proof
-
42 program proof
-
43 program proving
-
44 program proof
English-Russian dictionary of computer science > program proof
-
45 proof of termination
English-Russian dictionary of computer science > proof of termination
-
46 proof
pru:f
1. сущ.
1) а) подтверждение, доказательство to furnish, give, offer, present, produce, provide proof ≈ представить доказательство These suspicions are confirmed by the most direct proof. ≈ Эти подозрения подтверждаются самыми прямыми доказательствами. ample proof clear proof conclusive proof convincing proof definite proof documentary proof incontestable proof indisputable proof irrefutable proof mathematical proof positive proof undeniable proof unquestionable proof б) юр. доказательство (виновности) (в форме свидетельских показаний, вещественных доказательств или какой-л. другой)
2) а) проверка, испытание;
проба Syn: test
1., trial
1., experiment
1. ;
examination, probation;
assay
1. б) мат. проверка ( правильности арифметических действий)
3) а) установленный градус крепости спирта above (under) proof ≈ выше (ниже) установленного градуса б) спирт установленной крепости
4) пробирка
5) фото первый, пробный отпечаток с пленки
6) а) корректура;
гранка б) пробный оттиск( с гравюры)
7) непроницаемость, защищенность( от чего-л.)
2. прил.
1) а) непроницаемый (against) ;
непробиваемый the proofest steel of Milan ≈ самая крепкая миланская сталь б) перен. недоступный, не поддающийся( лести и т. п.) в) используется как компонент сложных слов со значением 'гарантированно защищающий от чего-л.' a waterproof raincoat ≈ непромокаемый плащ ∙ Syn: strong, impenetrable, impervious, invulnerable
2) установленной крепости, определенной крепости (об алкогольных напитках)
3. гл.
1) а) делать непроницаемым и пр. [см. proof
2. ] б) спец. делать водонепроницаемым, придавать водонепроницаемость Syn: waterproof
3.
2) проверять, оценивать, испытывать а) полигр. вычитывать текст, осуществлять корректуру б) давать подходить тесту перед выпечкой в) делать пробный отпечаток с фотопленки Syn: test
2., estimate
2. доказательство;
подтверждение - * positive неопровержимое доказательство - documentary *, * by documentary evidence документальное доказательство - to give *s представить доказательства испытание, проверка, проба - * stick щуп, зонд( шотландское) (юридическое) судебное разбирательство без участия суда присяжных (полиграфия) корректура, пробный оттиск - * in galley, galley * гранки, корректура в гранках( полиграфия) пробный оттиск с гравюры( полиграфия) необрезанные края более узких и коротких листов книги (фотографическое) пробный отпечаток крепость( спирта) - above * выше установленного градуса пробирка неуязвимость;
непробиваемость непроницаемость;
герметичность защита( от чего-либо) - fool * автоматическое защитное приспособление, защита от неосторожного или неправильного обращения > the * of the pudding is in the eating чтобы узнать, каков пудинг, надо его попробовать;
все проверяется на практике, обо всем судят по результатам непроницаемый;
непробиваемый - * against bullets пуленепробиваемый - * against weather непромокаемый - to be * against water не пропускать воду;
быть водонепроницаемым не поддающийся, недоступный ( чему-либо) установленной крепости (о спирте) испытанный;
выдержавший испытание;
проверенный - * armour испытанное оружие как компонент сложных слов - fire-proof огнестойкий, огнеупорный - water-proof водонепроницаемый делать не поддающимся воздействию;
придавать стойкость, непроницаемость, непробиваемость - to * cloth делать материю водонепроницаемой (полиграфия) делать пробный оттиск (полиграфия) читать корректуру, гранки (фотографическое) делать пробный отпечаток испытывать;
проверять ~ установленный градус крепости спирта;
above (under) proof выше (ниже) установленного градуса absolute ~ определенное доказательство constructive ~ конструктивное доказательство correctness ~ доказательство правильности fictitious ~ ложное доказательство final burden of ~ окончательная обязанность доказывания final burden of ~ окончательное бремя доказывания further ~ дополнительное доказательство page ~ полигр. корректурный оттиск со сверстанного набора page ~ страничная корректура press ~ полигр. сводка prima facie ~ доказательство, достаточное при отсутствии опровержения produce ~ предъявлять доказательство program ~ вчт. доказательство правильности программы proof делать непроницаемым ~ в сложных словах означает устойчивый, непроницаемый, не поддающийся действию ( чего-л.) ;
waterproof водонепроницаемый ~ делать пробный оттиск ~ доказательство;
this requires no proof это не требует доказательства ~ доказательство ~ доказывание ~ испытание;
проба;
to put (smth.) to the proof испытать( что-л.), подвергнуть( что-л.) испытанию ~ испытание ~ корректура;
гранка;
пробный оттиск (с гравюры) ~ корректура ~ недоступный, не поддающийся (лести и т. п.) ~ недоступный ~ непробиваемый ~ непроницаемый (against) ;
непробиваемый ~ непроницаемый ~ придавать непроницаемость ~ проба ~ пробирка ~ пробный оттиск ~ проверка ~ мат. проверка ~ (шотл.) рассмотрение дела судьей вместо суда присяжных ~ свидетельское показание ~ установленной крепости (о спирте) ~ установленный градус крепости спирта;
above (under) proof выше (ниже) установленного градуса ~ by appearance доказательство, достаточное при отсутствии опровержения ~ by appearance презумпция доказательства ~ in slips полигр. корректура в гранках ~ of debt банкрот. подтверждение доказательством заявления кредитора ~ of evidence свидетельское показание ~ of good character and repute рекомендательное письмо ~ of identity доказательство подлинности ~ of membership членский билет ~ of nonnegligent behaviour доказательство отсутствия небрежности ~ of paternity доказательство отцовства ~ of posting контроль проводки ~ of purchase доказательство покупки ~ of service доказательство оказания услуги ~ of termination вчт. доказательство правильности завершения работы ~ of will доказывание завещания ~ испытание;
проба;
to put (smth.) to the proof испытать (что-л.), подвергнуть (что-л.) испытанию reproduction ~ полигр. оттиск с набора, предназначенного для фоторепродуцирования specimen ~ print. пробный оттиск ~ доказательство;
this requires no proof это не требует доказательства ~ в сложных словах означает устойчивый, непроницаемый, не поддающийся действию (чего-л.) ;
waterproof водонепроницаемый water-repellent: water-repellent = waterproof waterproof: waterproof водонепроницаемый, непромокаемый ~ непромокаемый плащ ~ придавать водонепроницаемость written ~ письменное доказательство -
47 proof
[pru:f]proof установленный градус крепости спирта; above (under) proof выше (ниже) установленного градуса absolute proof определенное доказательство constructive proof конструктивное доказательство correctness proof доказательство правильности fictitious proof ложное доказательство final burden of proof окончательная обязанность доказывания final burden of proof окончательное бремя доказывания further proof дополнительное доказательство page proof полигр. корректурный оттиск со сверстанного набора page proof страничная корректура press proof полигр. сводка prima facie proof доказательство, достаточное при отсутствии опровержения produce proof предъявлять доказательство program proof вчт. доказательство правильности программы proof делать непроницаемым proof в сложных словах означает устойчивый, непроницаемый, не поддающийся действию (чего-л.); waterproof водонепроницаемый proof делать пробный оттиск proof доказательство; this requires no proof это не требует доказательства proof доказательство proof доказывание proof испытание; проба; to put (smth.) to the proof испытать (что-л.), подвергнуть (что-л.) испытанию proof испытание proof корректура; гранка; пробный оттиск (с гравюры) proof корректура proof недоступный, не поддающийся (лести и т. п.) proof недоступный proof непробиваемый proof непроницаемый (against); непробиваемый proof непроницаемый proof придавать непроницаемость proof проба proof пробирка proof пробный оттиск proof проверка proof мат. проверка proof (шотл.) рассмотрение дела судьей вместо суда присяжных proof свидетельское показание proof установленной крепости (о спирте) proof установленный градус крепости спирта; above (under) proof выше (ниже) установленного градуса proof by appearance доказательство, достаточное при отсутствии опровержения proof by appearance презумпция доказательства proof in slips полигр. корректура в гранках proof of debt банкрот. подтверждение доказательством заявления кредитора proof of evidence свидетельское показание proof of good character and repute рекомендательное письмо proof of identity доказательство подлинности proof of membership членский билет proof of nonnegligent behaviour доказательство отсутствия небрежности proof of paternity доказательство отцовства proof of posting контроль проводки proof of purchase доказательство покупки proof of service доказательство оказания услуги proof of termination вчт. доказательство правильности завершения работы proof of will доказывание завещания proof испытание; проба; to put (smth.) to the proof испытать (что-л.), подвергнуть (что-л.) испытанию reproduction proof полигр. оттиск с набора, предназначенного для фоторепродуцирования specimen proof print. пробный оттиск proof доказательство; this requires no proof это не требует доказательства proof в сложных словах означает устойчивый, непроницаемый, не поддающийся действию (чего-л.); waterproof водонепроницаемый water-repellent: water-repellent = waterproof waterproof: waterproof водонепроницаемый, непромокаемый proof непромокаемый плащ proof придавать водонепроницаемость written proof письменное доказательство -
48 program verification
- проверка правильности программы
- верификация программы
- верификация программ
- верификация (доказательство правильности) программы
верификация (доказательство правильности) программы
—
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
EN
верификация программ
1. Любой метод, который убеждает в том, что программа будет выполнять именно то, что от нее ожидается.
2. Доказательство того, что поведение программы соответствует спецификации на эту программу (ДСТУ 2873).
[Домарев В.В. Безопасность информационных технологий. Системный подход.]Тематики
EN
верификация программы
верификация
Доказательство того, что поведение программы соответствует спецификации на эту программу.
[ ГОСТ 19781-90]Тематики
- обеспеч. систем обраб. информ. программное
Синонимы
EN
проверка правильности программы
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Верификация
Program verification
Доказательство того, что поведение программы соответствует спецификации на эту программу
Источник: ГОСТ 19781-90: Обеспечение систем обработки информации программное. Термины и определения оригинал документа
Англо-русский словарь нормативно-технической терминологии > program verification
-
49 proof of termination
1) Компьютерная техника: доказательство правильности завершения работы2) Вычислительная техника: доказательство правильности завершения работы (программы)3) Программирование: доказательство правильности завершения (программы) -
50 evidence
1) средство или средства доказывания; доказательство, доказательства; подтверждение; улика | служить доказательством, подтверждать, доказывать2) свидетельское показание, свидетельские показания | свидетельствовать, давать показания3) дача показаний, представление или исследование доказательств ( как стадия судебного процесса); доказывание4) свидетель•admissible in evidence — допустимый в качестве доказательства;
evidence admissible in chief — доказательства или показания, допустимые при главном допросе;
evidence aliunde — внешнее доказательство, лежащее вне документа доказательство;
evidence at law — судебные доказательства;
evidence before trial — показания, данные или доказательства, представленные до начала судебного процесса;
evidence by affidavit — показания в форме аффидевита;
failure to give evidence — непредставление доказательств; невозможность дать показания; отказ от дачи показаний;
evidence for the defence — 1. доказательства защиты 2. показания свидетелей защиты;
evidence for the defendant — доказательства в пользу ответчика, подсудимого;
evidence for the plaintiff — доказательства в пользу истца;
evidence for the prosecution — 1. доказательства обвинения, улики 2. показания свидетелей обвинения;
evidence implicating the accused — доказательства, дающие основание полагать, что преступление совершено обвиняемым;
in evidence — в доказательство, в качестве доказательства;
evidence in corroboration — доказательство в подтверждение других доказательств;
evidence in cross-examination — свидетельские показания или доказательства, полученные при перекрёстном допросе ( стороной свидетеля противной стороны);
evidence in disproof — показания или доказательства в опровержение;
evidence in question — 1. оспариваемое доказательство 2. исследуемое и оцениваемое доказательство;
evidence in rebuttal — доказательство или показание в опровержение;
evidence in support of the opposition — пат. обоснование протеста, мотивированный протест;
evidence in the case — доказательства или показания по делу;
evidence is out — доказательства исчерпаны;
item in evidence — предмет, представленный в качестве доказательства;
evidence material to the case — доказательство, имеющее существенное значение для дела;
evidence on appeal — показания, доказательства по апелляции;
evidence on commission — показания по поручению;
evidence on hearing — доказательство на рассмотрении суда;
evidence on oath — показания под присягой;
on the evidence — на основании данных показаний или представленных доказательств;
evidence par excellence — лучшее доказательство;
piece of evidence — часть доказательственного материала; отдельное доказательство;
evidence relevant to credibility — доказательство, относящиеся к надёжности свидетеля, достоверности его показаний;
evidence relevant to weight — доказательства, относящиеся к убедительности других доказательств;
evidence sufficient to sustain the case — доказательства, достаточные для поддержания ( данной) версии;
to adduce evidence — представить доказательство;
to admit evidence — допустить доказательство;
to admit in evidence — допустить в качестве доказательства;
to appear in evidence — вытекать из представленных доказательств;
to become Commonwealth's [Crown's, government's, King's, People's, Queen's, State's] evidence — стать свидетелем обвинения, перейти на сторону обвинения, дав показания против сообвиняемого;
to call (for) evidence — истребовать доказательства;
to compare evidence — 1. сопоставить доказательства, показания 2. произвести очную ставку;
evidence to contradict — контрдоказательство; контрпоказание;
to develop evidence — представить доказательства;
to exaggerate evidence — преувеличить силу доказательства;
to fabricate evidence — сфабриковать доказательства;
to give evidence — 1. давать показания 2. представить доказательства;
to give in evidence — представить в качестве доказательства;
to give evidence under compulsion — давать показания по принуждению;
to introduce evidence — представить доказательства;
to introduce in evidence — представить в качестве доказательства;
to lead evidence — 1. заслушивать, отбирать показания 2. принимать доказательства;
evidence to meet — доказательство в поддержку, поддерживающее доказательство;
to offer evidence — представить доказательства;
to offer in evidence — представить в качестве доказательства;
to prepare evidence — 1. сфабриковать доказательства 2. подготовиться к даче показаний;
to prepare false evidence — сфабриковать ложные доказательства;
to produce evidence — представить доказательства;
to put in evidence — представить в качестве доказательства;
to read into evidence — зачитывать текст в доказательство правильности или неправильности его содержания;
evidence to rebut — доказательство в опровержение, опровергающее доказательство;
to receive evidence — 1. получить, отобрать показания 2. принять доказательства;
to receive in evidence — принять в качестве доказательства;
to review evidence — рассмотреть или пересмотреть доказательства;
to search for evidence — искать доказательства;
to sift evidence — тщательно исследовать, анализировать доказательства или показания;
to suppress evidence — скрыть доказательства;
to take evidence — 1. отобрать показания 2. принять доказательства;
to tender evidence — представить доказательства;
to tender in evidence — представить в качестве доказательства;
evidence to the contrary — доказательство противного;
to weigh evidence — оценить доказательства;
to withhold evidence — воздержаться, отказаться от дачи показаний или от представления доказательств;
- evidence of arrestevidence wrongfully obtained — доказательства, показания, полученные с нарушением закона
- evidence of blood grouping tests
- evidence of character
- evidence of confession
- evidence of credibility
- evidence of crime
- evidence of debt
- evidence of disposition
- evidence of fact
- evidence of guilt
- evidence of identification
- evidence of identity
- evidence of indebtedness
- evidence of opportunity
- evidence of practice
- evidence of reputation
- evidence of title
- acceptable evidence
- actual evidence
- additional evidence
- adduced evidence
- adequate evidence
- adminicular evidence
- admissible evidence
- admitted evidence
- adversary evidence
- affirmative evidence
- affirmative rebuttal evidence
- after-discovered evidence
- ample evidence
- ascertaining evidence
- autoptical evidence
- auxiliary evidence
- available evidence
- ballistics evidence
- ballistic evidence
- best evidence
- better evidence
- biological evidence
- casual evidence
- character evidence
- character-witness evidence
- circumstantial evidence
- civil evidence
- clear evidence
- closed evidence
- cogent evidence
- collateral evidence
- Commonwealth's evidence
- competent evidence
- completing evidence
- conclusive evidence
- concocted evidence
- concomittant evidence
- confirmatory evidence
- conflicting evidence
- consistent evidence
- contradicting evidence
- contrary evidence
- contributing evidence
- controverted evidence
- controvertible evidence
- convincing evidence
- copy evidence
- corroborated evidence
- corroborating evidence
- counteracting evidence
- counter evidence
- credible evidence
- criminal evidence
- criminating evidence
- Crown's evidence
- culpatory evidence
- cumulative evidence
- damaging evidence
- damning evidence
- decisive evidence
- demeanor evidence
- demonstrative evidence
- derivative evidence
- direct evidence
- disproving evidence
- doctored evidence
- documentary evidence
- empirical evidence
- entered evidence
- exact evidence
- excluded evidence
- exculpatory evidence
- expert evidence
- expert opinion evidence
- explaining evidence
- external evidence
- extrajudicial evidence
- extraneous evidence
- extrinsic evidence
- fabricated evidence
- false evidence
- final evidence
- fingerprint evidence
- firm evidence
- first hand evidence
- footprint evidence
- foundation evidence
- fragmentary evidence
- fresh evidence
- further evidence
- government's evidence
- habit evidence
- hard evidence
- hearsay evidence
- higher evidence
- identification evidence
- identifying evidence
- illegally obtained evidence
- illustrative evidence
- immaterial evidence
- immunized evidence
- impeaching evidence
- implicating evidence
- impugned evidence
- inadequate evidence
- inadmissible evidence
- incompetent evidence
- inconclusive evidence
- inconsistent evidence
- incontroverted evidence
- incontrovertible evidence
- incriminating evidence
- inculpatory evidence
- independent evidence
- indicative evidence
- indirect evidence
- indispensable evidence
- indubitable evidence
- inferential evidence
- inferior evidence
- insufficient evidence
- insufficient evidence for the defence
- internal evidence
- introduced evidence
- irrefutable evidence
- irrelevant evidence
- judicial evidence
- King's evidence
- legal evidence
- legally obtained evidence
- legitimate evidence
- manufactured evidence
- material evidence
- mathematical evidence
- moral evidence
- negative evidence
- negative rebuttal evidence
- newly-discovered evidence
- nonexculpatory evidence
- notarial evidence
- obtainable evidence
- obtained evidence
- offered evidence
- official evidence
- opinion evidence
- opinion evidence of character
- opposing evidence
- oral evidence
- original evidence
- out-of-court evidence
- overwhelming evidence
- parol evidence
- partial evidence
- pedigree evidence
- People's evidence
- perjured evidence
- persuasive evidence
- physical evidence
- police evidence
- positive evidence
- possible evidence
- preappointed evidence
- predominant evidence
- preferable evidence
- prejudicial evidence
- presuming evidence
- presumptive evidence
- prevailing evidence
- prima facie evidence
- primary evidence
- probable evidence
- proffered evidence
- proper evidence
- prosecution evidence
- prospectant evidence
- proving evidence
- pure expert opinion evidence
- Queen's evidence
- radar evidence of speed
- radar evidence
- real evidence
- reasonable evidence
- rebuttal evidence
- rebutted evidence
- rebutting evidence
- receivable evidence
- received evidence
- recognized evidence
- recollection evidence
- record evidence
- recorded evidence
- record evidence of title
- related evidence
- relevant evidence
- repelling evidence
- reputation evidence of character
- requisite evidence
- retrospectant evidence
- routine practice evidence
- satisfactory evidence
- scientific evidence
- secondary evidence
- second hand evidence
- shaken evidence
- significant evidence
- similar evidence
- slimmer evidence
- slim evidence
- solid evidence
- spoken evidence
- state's evidence
- strengthening evidence
- strong evidence
- stronger evidence
- strongest available evidence
- substantial evidence
- substantive evidence
- substitutionary evidence
- sufficient evidence
- supplementary evidence
- supporting evidence
- suspect evidence
- sworn evidence
- tainted evidence
- tendered evidence
- testimonial evidence
- trace evidence
- traditionary evidence
- uncontradicted evidence
- uncorroborated evidence
- unfavourable evidence
- unshaken evidence
- unsworn evidence
- untainted evidence
- verbal evidence
- visible evidence
- visual evidence
- vital evidence
- volunteer evidence
- weak evidence
- weaker evidence
- wiretap information evidence
- wiretap evidence
- written evidence
- evidence of criminality
- confirming evidence
- corroborative evidence
- explanatory evidence
- intrinsic evidence
- prime evidence -
51 read into evidence
Юридический термин: зачитывать текст в доказательство неправильности его содержания, зачитывать текст в доказательство правильности его содержания, зачитывать текст в доказательство правильности или неправильности его содержания -
52 programmas korektuma pierādījums
▪ Terminien program correctnes proof inf.lv Formāls matemātisks pierādījums tam, ka programmas semantika atbilst tām prasībām, kas ietvertas programmas specifikācijāru доказательство правильности программыLZAit▪ EuroTermBank terminiInf, Kom, ITru доказательство правильности программыETB -
53 verification
- проверка (подлинности)
- долговременная маркировка
- верификация (штрихового кода)
- верификация (с точки зрения электробезопасности)
- верификация (проверка)
- верификация (доказательство правильности)
- верификация (в менеджменте качества)
- верификация
верификация
контроль
проверка
Установление соответствия принятой и переданной информации с помощью логических методов [http://www.rol.ru/files/dict/internet/#].
[ http://www.morepc.ru/dict/]
верификация
(ITIL Service Transition)
Деятельность, которая гарантирует, что новая или измененная ИТ- услуга, процесс, план или другой результат - полный, точный, надежный и соответствует своей спецификации проектирования.
См. тж. подтверждение; приёмка; подтверждение и тестирование услуг.
[Словарь терминов ITIL версия 1.0, 29 июля 2011 г.]EN
verification
(ITIL Service Transition)
An activity that ensures that a new or changed IT service, process, plan or other deliverable is complete, accurate, reliable and matches its design specification.
See also acceptance; validation; service validation and testing.
[Словарь терминов ITIL версия 1.0, 29 июля 2011 г.]Тематики
Синонимы
EN
верификация
Подтверждение посредством представления объективных свидетельств того, что установленные требования были выполнены.
Примечания
1. Термин "верифицирован" используют для обозначения соответствующего статуса.
2. Деятельность по подтверждению требования может включать в себя:
- осуществление альтернативных расчетов;
- сравнение спецификации на новый проект с аналогичной документацией на апробированный проект;
- проведение испытаний и демонстраций;
- анализ документов до их выпуска.
[ ГОСТ Р ИСО 9000-2008]Тематики
EN
верификация (доказательство правильности)
контроль
проверка
—
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
Синонимы
EN
верификация (проверка)
1. Процесс определения соответствия качества или характеристик продукта или услуги тому, что предписывается, предопределяется или требуется. Верификация тесно связана с обеспечением качества и контролем качества. верификация компьютерной системы computer system verification Процесс, имеющий целью обеспечить, чтобы данный этап в жизненном цикле системы удовлетворял требованиям, введенным на предыдущем этапе. верификация модели model verification Процесс, имеющий целью определить, правильно ли отображает данная вычислительная модель искомую концептуальную модель или математическую модель. Верификация системного кода system code verification Анализ кодирования источника на предмет его соответствия описанию в документации системного кода. 2. Подтверждение на основе объективных свидетельств того, что установленные требования были выполнены. См. валидация (аттестация). Соответствующий статус – ‘верифицировано’. Верификация может включать такие операции, как: осуществление альтернативных расчетов; сравнение научной и технической документации по новому проекту с аналогичной документацией по апробированному проекту; проведение испытаний и демонстраций; и анализ документов до их выпуска.
[Глоссарий МАГАТЭ по вопросам безопасности]Тематики
EN
верификация
Подтверждение выполнения требований путем исследования и сбора объективных свидетельств.
Примечания
1. Адаптировано из ИСО 8402 путем исключения примечаний.
2. В контексте настоящего стандарта верификация представляет собой выполняемую для каждой стадии жизненного цикла соответствующей системы безопасности (общей, E/E/PES систем и программного обеспечения) путем анализа и/или тестирования демонстрацию того, что для используемых входных данных компоненты удовлетворяют во всех отношениях набору задач и требований для соответствующей стадии.
Пример
Процесс верификации включает в себя:
- просмотр выходных данных (документов, относящихся ко всем стадиям жизненного цикла систем безопасности) для того, чтобы убедиться в соответствии задачам и требованиям соответствующей стадии, с учетом конкретных входных данных для этой стадии;
- просмотр проектов;
- тестирование проектируемых продуктов для того, чтобы убедиться, что они работают в соответствии с их спецификациями;
- проверка интеграции, реализуемая внешними тестами, для всех систем, образующихся покомпонентным добавлением к исходной системе, и необходимая для того, чтобы убедиться, что все компоненты работают вместе в соответствии со спецификацией.
[ ГОСТ Р МЭК 61508-4-2007]Тематики
EN
верификация (штрихового кода)
Техническая процедура измерения показателей символа штрихового кода, в процессе которой определяется их соответствие требованиям, предъявляемым к символу.
[ ГОСТ 30721-2000]
[ ГОСТ Р 51294.3-99]Тематики
EN
DE
FR
проверка (подлинности)
верификация
Процесс сопоставления субъекта с заявленными о нем сведениями. В частности процедура сравнения подписи, созданной с помощью частного ключа, с соответсвующим открытым ключом.
[ http://www.rfcmd.ru/glossword/1.8/index.php?a=index&d=5048]Тематики
Синонимы
EN
4.55 верификация (verification): Подтверждение (на основе представления объективных свидетельств) того, что заданные требования полностью выполнены [3].
Примечание - Верификация в контексте жизненного цикла представляет собой совокупность действий по сравнению полученного результата жизненного цикла с требуемыми характеристиками для этого результата. Результатами жизненного цикла могут являться (но не ограничиваться ими): заданные требования, описание проекта и непосредственно система.
Источник: ГОСТ Р ИСО/МЭК 12207-2010: Информационная технология. Системная и программная инженерия. Процессы жизненного цикла программных средств оригинал документа
4.23 верификация (verification): Процесс, в результате которого приходят к заключению, что два изображения принадлежат одному и тому же человеку; сопоставление 1:1 («один к одному»).
Примечание - Термины и соответствующие определения к ним установлены только для использования в настоящем стандарте.
Источник: ГОСТ Р ИСО/МЭК 19794-5-2006: Автоматическая идентификация. Идентификация биометрическая. Форматы обмена биометрическими данными. Часть 5. Данные изображения лица оригинал документа
4.24 верификация (verification): Подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены [3].
Примечание - Верификация в контексте жизненного цикла системы является совокупностью действий по сравнению полученного результата жизненного цикла системы с требуемыми характеристиками для этого результата. Результатами жизненного цикла могут являться (но не ограничиваются только ими) установленные требования, описание проекта и непосредственно система.
Источник: ГОСТ Р ИСО/МЭК 15288-2005: Информационная технология. Системная инженерия. Процессы жизненного цикла систем оригинал документа
3.36 верификация (verification): Подтверждение экспертизой и представлением объективных доказательств того, что конкретные требования полностью реализованы.
Примечания
1 В процессе проектирования и разработки верификация связана с экспертизой результатов данной работы в целях определения их соответствия установленным требованиям.
2 Термин «верифицирован» используется для обозначения соответствующих состояний проверенного объекта. (См. 2.17 title="Управление качеством и обеспечение качества - Словарь").
Источник: ГОСТ Р ИСО/МЭК 12207-99: Информационная технология. Процессы жизненного цикла программных средств оригинал документа
3.18 верификация (verification): Подтверждение посредством предоставления объективных свидетельств того, что установленные требования были выполнены.
[ИСО 9000:2005]
Примечание - В качестве синонима может использоваться термин «проверка соответствия».
Источник: ГОСТ Р ИСО/МЭК 27004-2011: Информационная технология. Методы и средства обеспечения безопасности. Менеджмент информационной безопасности. Измерения оригинал документа
2.22 верификация (verification): Подтверждение на основе анализа и представления объективных свидетельств того, что установленные требования выполнены.
Примечание - При проектировании и разработке верификация означает процесс анализа результатов предпринятой деятельности с целью определения соответствия установленным к этой деятельности требованиям ([4], подпункт 3.8.4).
Источник: ГОСТ Р ИСО 14971-2006: Изделия медицинские. Применение менеджмента риска к медицинским изделиям оригинал документа
3.8.4 верификация (verification): Подтверждение посредством представления объективных свидетельств (3.8.1) того, что установленные требования (3.1.2) были выполнены.
Примечания
1 Термин «верифицирован» используют для обозначения соответствующего статуса.
2 Деятельность по подтверждению требования может включать в себя:
- осуществление альтернативных расчетов;
- сравнение спецификации (3.7.3) на новый проект с аналогичной документацией на апробированный проект;
- проведение испытаний (3.8.3) и демонстраций;
- анализ документов до их выпуска.
Источник: ГОСТ Р ИСО 9000-2008: Системы менеджмента качества. Основные положения и словарь оригинал документа
2.18 верификация (verification): Подтверждение посредством предоставления объективных свидетельств того, что установленные требования выполнены.
Примечание - Верификация это набор действий, с помощью которого происходит сопоставление характеристик системы или элемента системы с установленными требованиями к характеристикам. Верификация может охватывать установленные требования, описание проекта и саму систему.
Источник: ГОСТ Р ИСО 9241-210-2012: Эргономика взаимодействия человек-система. Часть 210. Человеко-ориентированное проектирование интерактивных систем оригинал документа
2.35 верификация (verification): Систематический, независимый и документально оформленный процесс оценки утверждения по ПГ на соответствие согласованным критериям верификации.
Примечание - В некоторых случаях, например при верификациях первой стороной, независимость может быть продемонстрирована невозложением на какое-либо лицо ответственности за подготовку данных и представление соответствующей информации по ПГ.
Источник: ГОСТ Р ИСО 14064-1-2007: Газы парниковые. Часть 1. Требования и руководство по количественному определению и отчетности о выбросах и удалении парниковых газов на уровне организации оригинал документа
2.28 верификация (verification): Систематический, независимый и документально оформленный процесс оценки утверждения по парниковым газам (2.10) на соответствие согласованным критериям верификации.
Примечание - В некоторых случаях, например при верификациях первой стороной, независимость может быть продемонстрирована невозложением на какое-либо лицо ответственности за подготовку данных и представление соответствующей информации по ПГ.
Источник: ГОСТ Р ИСО 14064-2-2007: Газы парниковые. Часть 2. Требования и руководство по количественной оценке, мониторингу и составлению отчетной документации на проекты сокращения выбросов парниковых газов или увеличения их удаления на уровне проекта оригинал документа
2.36 верификация (verification): Систематический, независимый и документально оформленный процесс оценки утверждения по ПГ (2.11)на соответствие согласованным критериям верификации (2.33).
Примечание - В некоторых случаях, например при верификации первой стороной, независимость может быть продемонстрирована невозложением на какое-либо лицо ответственности за подготовку данных и представление соответствующей информации по ПГ.
Источник: ГОСТ Р ИСО 14064-3-2007: Газы парниковые. Часть 3. Требования и руководство по валидации и верификации утверждений, касающихся парниковых газов оригинал документа
3.1.22 верификация (verification): Подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены.
[ИСО 9000, статья 3.8.4]
Источник: ГОСТ ИСО 14698-1-2005: Чистые помещения и связанные с ними контролируемые среды. Контроль биозагрязнений. Часть 1. Общие принципы и методы оригинал документа
3.116 верификация (verification): Экспертиза, призванная подтвердить, что деятельность, изделие или услуга соответствуют заданным требованиям.
Источник: ГОСТ Р 54382-2011: Нефтяная и газовая промышленность. Подводные трубопроводные системы. Общие технические требования оригинал документа
3.17 верификация (verification): Комплекс операций для проверки испытательного оборудования (например, испытательного генератора и соединительных кабелей), а также для демонстрации того, что испытательная система функционирует.
Примечание - Методы, используемые для верификации, отличаются от методов калибровки.
Источник: ГОСТ Р 51317.4.2-2010: Совместимость технических средств электромагнитная. Устойчивость к электростатическим разрядам. Требования и методы испытаний оригинал документа
3.26 верификация (verification): Процесс определения, соответствует ли качество продукта или услуги установленным требованиям.
[Справочник по безопасности МАГАТЭ, Издание 2.0, 2006]
Источник: ГОСТ Р МЭК 62340-2011: Атомные станции. Системы контроля и управления, важные для безопасности. Требования по предотвращению отказов по общей причине оригинал документа
3.7 верификация (verification): Подтверждение на основе объективных данных, что установленные требования были выполнены.
Примечание 1 -Адаптированный термин по ИСО 9000:2005, пункт 3.8.4 [1].
Примечание 2 - См. рисунок 1.
Примечание 3 - Данный термин часто используют совместно с термином «валидация», и оба термина составляют аббревиатуру «V&V» (верификация и валидация).
Источник: ГОСТ Р ИСО 11064-7-2010: Эргономическое проектирование центров управления. Часть 7. Принципы оценки оригинал документа
2.141 верификация (verification): Подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены.
Примечание - При аттестации (верификации) документированной системы контроля (2.70) могут использоваться методы текущего контроля и аудита, методики и проверки, в том числе случайный отбор проб и проведение анализа.
[ИСО 14698-1:2003, статья 3.1.22]
Источник: ГОСТ Р ИСО 14644-6-2010: Чистые помещения и связанные с ними контролируемые среды. Часть 6. Термины оригинал документа
3.43 верификация (verification): Подтверждение экспертизой и предоставлением иного объективного свидетельства того, что результаты функционирования соответствуют целям и требованиям, определенным для такого функционирования.
[МЭК 62138, пункт 3.35]
Источник: ГОСТ Р МЭК 60880-2010: Атомные электростанции. Системы контроля и управления, важные для безопасности. Программное обеспечение компьютерных систем, выполняющих функции категории А оригинал документа
3.18 верификация (verification): Подтверждение экспертизой и представление иного объективного доказательства того, что результаты функционирования отвечают целям и требованиям, определенным для такого функционирования (ИСО 12207).
[МЭК 62138:2004, определение 3.35]
Источник: ГОСТ Р МЭК 60987-2011: Атомные станции. Системы контроля и управления, важные для безопасности. Требования к разработке аппаратного обеспечения компьютеризованных систем оригинал документа
3.8.1 верификация (verification): Подтверждение выполнения требований путем исследования и сбора объективных свидетельств.
Примечания
1. Адаптировано из ИСО 8402 путем исключения примечаний.
2. В контексте настоящего стандарта верификация представляет собой выполняемую для каждой стадии жизненного цикла соответствующей системы безопасности (общей, E/E/PES систем и программного обеспечения) путем анализа и/или тестирования демонстрацию того, что для используемых входных данных компоненты удовлетворяют во всех отношениях набору задач и требований для соответствующей стадии.
ПРИМЕР - Процесс верификации включает в себя:
Источник: ГОСТ Р МЭК 61508-4-2007: Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 4. Термины и определения оригинал документа
3.8.4 верификация (verification): Подтверждение посредством представления объективных свидетельств (3.8.1) того, что установленные требования (3.1.2) были выполнены.
Примечания
1 Термин «верифицирован» используют для обозначения соответствующего статуса.
2 Деятельность по подтверждению требования может включать в себя:
- осуществление альтернативных расчетов;
- сравнение спецификации (3.7.3) на новый проект с аналогичной документацией на апробированный проект;
- проведение испытаний (3.8.3) и демонстраций;
- анализ документов до их выпуска.
Источник: ГОСТ ISO 9000-2011: Системы менеджмента качества. Основные положения и словарь
3.2.59 верификация (verification): Подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены.
Источник: ГОСТ Р 54147-2010: Стратегический и инновационный менеджмент. Термины и определения оригинал документа
5.1 верификация (verification):
в контексте маркировки и декларирования: Подтверждение посредством предоставления объективных свидетельств выполнения установленных требований.
[ИСО 14025:2006];
в контексте парниковых газов: Систематический, независимый и документально оформленный процесс (6.4) для оценки утверждения по парниковым газам (9.5.2) на соответствие согласованным критериям верификации (5.12).
Примечание - В некоторых случаях, например при верификациях первой стороной, независимость может быть продемонстрирована свободой от несения ответственности за подготовку данных и представление информации по парниковым газам.
[ИСО 14065:2007]
Источник: ГОСТ Р ИСО 14050-2009: Менеджмент окружающей среды. Словарь оригинал документа
3.3.7 верификация (verification): Систематический, независимый и документально оформленный процесс оценки утверждения по ПГ на соответствие согласованным критериям верификации.
Примечания
1 В некоторых случаях, например при верификациях первой стороной, независимость может быть продемонстрирована невозложением на какое-либо лицо ответственности за подготовку данных и представление соответствующей информации по ПГ.
2 В соответствии с ИСО 14064-3:2006, статья 2.36.
Источник: ГОСТ Р ИСО 14065-2010: Газы парниковые. Требования к органам по валидации и верификации парниковых газов для их применения при аккредитации или других формах признания оригинал документа
04.02.27 долговременная маркировка [ permanent marking]: Изображение, полученное с помощью интрузивного или неинтрузивного маркирования, которое должно оставаться различимым, как минимум, в течение установленного срока службы изделия.
Сравнить с терминологической статьей «соединение» по ИСО/МЭК19762-11).
______________
1)Терминологическая статья 04.02.27 не связана с указанной терминологической статьей.
<2>4 Сокращения
ECI интерпретация в расширенном канале [extended channel interpretation]
DPM прямое маркирование изделий [direct part marking]
BWA коррекция ширины штриха [bar width adjustment]
BWC компенсация ширины штриха [barwidth compensation]
CPI число знаков на дюйм [characters per inch]
PCS сигнал контраста печати [print contrast signal]
ORM оптический носитель данных [optically readable medium]
FoV поле обзора [field of view]
Алфавитный указатель терминов на английском языке
(n, k)symbology
04.02.13
add-on symbol
03.02.29
alignment pattern
04.02.07
aperture
02.04.09
auto discrimination
02.04.33
auxiliary character/pattern
03.01.04
background
02.02.05
bar
02.01.05
bar code character
02.01.09
bar code density
03.02.14
barcode master
03.02.19
barcode reader
02.04.05
barcode symbol
02.01.03
bar height
02.01.16
bar-space sequence
02.01.20
barwidth
02.01.17
barwidth adjustment
03.02.21
barwidth compensation
03.02.22
barwidth gain/loss
03.02.23
barwidth increase
03.02.24
barwidth reduction
03.02.25
bearer bar
03.02.11
binary symbology
03.01.10
characters per inch
03.02.15
charge-coupled device
02.04.13
coded character set
02.01.08
column
04.02.11
compaction mode
04.02.15
composite symbol
04.02.14
contact scanner
02.04.07
continuous code
03.01.12
corner marks
03.02.20
data codeword
04.02.18
data region
04.02.17
decodability
02.02.28
decode algorithm
02.02.01
defect
02.02.22
delineator
03.02.30
densitometer
02.02.18
depth of field (1)
02.04.30
depth of field (2)
02.04.31
diffuse reflection
02.02.09
direct part marking
04.02.24
discrete code
03.01.13
dot code
04.02.05
effective aperture
02.04.10
element
02.01.14
erasure
04.02.21
error correction codeword
04.02.19
error correction level
04.02.20
even parity
03.02.08
field of view
02.04.32
film master
03.02.18
finder pattern
04.02.08
fixed beam scanner
02.04.16
fixed parity
03.02.10
fixed pattern
04.02.03
flat-bed scanner
02.04.21
gloss
02.02.13
guard pattern
03.02.04
helium neon laser
02.04.14
integrated artwork
03.02.28
intercharacter gap
03.01.08
intrusive marking
04.02.25
label printing machine
02.04.34
ladder orientation
03.02.05
laser engraver
02.04.35
latch character
02.01.24
linear bar code symbol
03.01.01
magnification factor
03.02.27
matrix symbology
04.02.04
modular symbology
03.01.11
module (1)
02.01.13
module (2)
04.02.06
modulo
03.02.03
moving beam scanner
02.04.15
multi-row symbology
04.02.09
non-intrusive marking
04.02.26
odd parity
03.02.07
omnidirectional
03.01.14
omnidirectional scanner
02.04.20
opacity
02.02.16
optically readable medium
02.01.01
optical throw
02.04.27
orientation
02.04.23
orientation pattern
02.01.22
oscillating mirror scanner
02.04.19
overhead
03.01.03
overprinting
02.04.36
pad character
04.02.22
pad codeword
04.02.23
permanent marking
04.02.27
photometer
02.02.19
picket fence orientation
03.02.06
pitch
02.04.26
pixel
02.04.37
print contrast signal
02.02.20
printability gauge
03.02.26
printability test
02.02.21
print quality
02.02.02
quiet zone
02.01.06
raster
02.04.18
raster scanner
02.04.17
reading angle
02.04.22
reading distance
02.04.29
read rate
02.04.06
redundancy
03.01.05
reference decode algorithm
02.02.26
reference threshold
02.02.27
reflectance
02.02.07
reflectance difference
02.02.11
regular reflection
02.02.08
resolution
02.01.15
row
04.02.10
scanner
02.04.04
scanning window
02.04.28
scan, noun (1)
02.04.01
scan, noun (2)
02.04.03
scan reflectance profile
02.02.17
scan, verb
02.04.02
self-checking
02.01.21
shift character
02.01.23
short read
03.02.12
show through
02.02.12
single line (beam) scanner
02.04.11
skew
02.04.25
slot reader
02.04.12
speck
02.02.24
spectral response
02.02.10
spot
02.02.25
stacked symbology
04.02.12
stop character/pattern
03.01.02
structured append
04.02.16
substitution error
03.02.01
substrate
02.02.06
symbol architecture
02.01.04
symbol aspect ratio
02.01.19
symbol character
02.01.07
symbol check character
03.02.02
symbol density
03.02.16
symbology
02.01.02
symbol width
02.01.18
tilt
02.04.24
transmittance (l)
02.02.14
transmittance (2)
02.02.15
truncation
03.02.13
two-dimensional symbol (1)
04.02.01
two-dimensional symbol (2)
04.02.02
two-width symbology
03.01.09
variable parity encodation
03.02.09
verification
02.02.03
verifier
02.02.04
vertical redundancy
03.01.06
void
02.02.23
wand
02.04.08
wide: narrow ratio
03.01.07
X dimension
02.01.10
Y dimension
02.01.11
Z dimension
02.01.12
zero-suppression
03.02.17
<2>Приложение ДА1)
______________
1)
Источник: ГОСТ Р ИСО/МЭК 19762-2-2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 2. Оптические носители данных (ОНД) оригинал документа
Англо-русский словарь нормативно-технической терминологии > verification
-
54 validation
1. проверка правильностиvalidation criterion — критерий достоверности; критерий правильности
2. подтверждениеEnglish-Russian dictionary of Information technology > validation
-
55 verification
1) верификация, контроль, проверкасм. тж. data verificationб) в САПР электроники - проверка правильности электрических соединений принципиальной электрической схемы или соблюдения технологических норм изготовления печатных плат2) верификацияб) в программной инженерии - процесс оценки системы и/или её компонентов с целью установить, соответствуют ли в конце данного этапа разработки эти продукты спецификациям и условиям, налагаемым в его начале. Верификация не обнаружит ошибку, если входная спецификация была неверна, и эта ошибка может распространиться на дальнейшие этапы разработкиАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > verification
-
56 algorithm validation
validation criterion — критерий достоверности; критерий правильности
English-Russian dictionary of Information technology > algorithm validation
-
57 algorithm
ˈælɡərɪðm сущ.;
мат. алгоритм algorithm validation ≈ проверка правильности алгоритма(специальное) алгоритм - * validation проверка /доказательство/ правильности алгоритмаalgorithm мат. алгоритм ~ алгоритмalmost-dual ~ приближенно двойственный алгоритмbest-route ~ вчт. алгоритм выбора оптимального маршрутаbranching ~ вчт. ветвящийся алгоритмcompression ~ вчт. алгоритм сжатияdigit-by-digit ~ вчт. детальная программаdouble-sweep ~ вчт. алгоритм двойного поискаdual simplex ~ двойственный симплексный алгоритмestimation ~ вчт. алгоритм оцениванияexchange ~ вчт. перестановочный алгоритмgeneral ~ вчт. общий алгоритмgenetic ~ вчт. генетический алгоритмgreedy ~ вчт. поглощающий алгоритмinteger ~ целочисленный алгоритмmaximin ~ вчт. максиминный алгоритмminimax ~ вчт. минимаксный алгоритмnested ~ вчт. вложенный алгоритмnetwork ~ вчт. алгоритм решения задач сетевого планированияoperative ~ вчт. рабочий алгоритмoptimal path ~ алгоритм выбора оптимального маршрутаoptimization ~ вчт. алгоритм оптимизацииpainter's ~ вчт. алгоритм живописцаplacement ~ вчт. алгоритм размещенияproblem ~ вчт. алгоритм задачиrecursive ~ вчт. рекурсивный алгоритмrobus ~ вчт. живучий алгоритмrouting ~ вчт. алгоритм трассировкиscheduling ~ вчт. алгоритм планированияsearch ~ вчт. алгоритм поискаsimplex ~ вчт. симплексный алгоритмsmoothing ~ вчт. алгоритм хешированияstack ~ вчт. магазинный алгоритмtesting ~ вчт. алгоритм тестированияtext-to-speech ~ вчт. алгоритм речевого воспроизведенияtransportation ~ вчт. алгоритм решения транспортной задачиverification ~ вчт. алгоритм верификацииwave ~ вчт. волновой алгоритмБольшой англо-русский и русско-английский словарь > algorithm
-
58 algorithm validation
1) Общая лексика: доказательство правильности алгоритма2) Нефть: проверка правильности алгоритма -
59 algorithm validation
проверка правильности алгоритма, доказательство правильности алгоритмасм. тж. algorithmАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > algorithm validation
-
60 formal program validation
См. также в других словарях:
доказательство правильности — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN correctness proof … Справочник технического переводчика
доказательство правильности программы — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN program correctness proof … Справочник технического переводчика
верификация (доказательство правильности) — контроль проверка — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом Синонимы контрольпроверка EN verification … Справочник технического переводчика
верификация (доказательство правильности) программы — — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом EN program verification … Справочник технического переводчика
ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… … Философская энциклопедия
доказательство общей правильности — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN total correctness, proof of … Справочник технического переводчика
доказательство — ДОКАЗАТЕЛЬСТВО процедура, призванная убедить и убеждающая человека в истинности некоторого положения настолько, что с ее помощью он может убеждать в истинности этого положения других. В узком (собственно логическом) смысле под Д.… … Энциклопедия эпистемологии и философии науки
Доказательство — в логике, процесс (метод) установления истины (См. Истина), обоснование истинности суждения (См. Суждение). В соответствии с различными возможными аспектами и уровнями рассмотрения и употребления понятий «истина» («истинность») и… … Большая советская энциклопедия
Доказательство — установление или обоснование истинности высказывания, суждения, теории и т. п.; в самом широком смысле прием, с целью убедить в правильности тезиса, достоверности познания. В логике различают дедуктивное, индуктивное и косвенное доказательства, а … Начала современного естествознания
ДОКАЗАТЕЛЬСТВО — прием, к которому прибегают с той целью, чтобы убедить в правильности тезиса, достоверности познания или в том случае, если данное положение оспаривается, еще раз его дополнить и подтвердить; противоположностью доказательства является… … Профессиональное образование. Словарь
Математическое доказательство — У этого термина существуют и другие значения, см. Доказательство. В математике доказательством называется цепочка логических умозаключений, показывающая, что при каком то наборе аксиом и правил вывода верно некоторое утверждение. В зависимости от … Википедия