Скачать приложение
educalingo
verifiable

Значение слова "verifiable" в словаре английский языка

СЛОВАРЬ

ПРОИЗНОШЕНИЕ СЛОВА VERIFIABLE

ˌvɛrɪˈfaɪəbəl


ГРАММАТИЧЕСКАЯ КАТЕГОРИЯ СЛОВА VERIFIABLE

существительное
прилагательное
глагол
наречие
местоимение
предлог
союз
определяющее слово
восклицание

ЧТО ОЗНАЧАЕТ СЛОВО VERIFIABLE

Формальная проверка

В контексте аппаратных и программных систем формальная проверка - это акт доказательства или опровержения правильности предполагаемых алгоритмов, лежащих в основе системы, в отношении определенной формальной спецификации или свойства с использованием формальных методов математики. Формальная проверка может быть полезной при проверке правильности таких систем, как: криптографические протоколы, комбинационные схемы, цифровые схемы с внутренней памятью и программное обеспечение, выраженные в виде исходного кода. Проверка этих систем осуществляется путем предоставления формального доказательства абстрактной математической модели системы, соответствия между математической моделью и характером системы, которая иначе известна по конструкции. Примерами математических объектов, часто используемых для моделирования систем, являются: машины с конечным состоянием, маркированные системы перехода, сети Петри, таймерные автоматы, гибридные автоматы, алгебра процессов, формальная семантика языков программирования, такие как оперативная семантика, денотационная семантика, аксиоматическая семантика и логика Хоар.

Значение слова verifiable в словаре английский языка

Определение поддающегося проверке словаря может быть подтверждено, подтверждено или обосновано.

СЛОВА, РИФМУЮЩИЕСЯ СО СЛОВОМ VERIFIABLE

amplifiable · certifiable · emulsifiable · falsifiable · identifiable · justifiable · modifiable · notifiable · pacifiable · quantifiable · rectifiable · satisfiable · solidifiable · specifiable · unclassifiable · unidentifiable · unjustifiable · unquantifiable · unsatisfiable · unverifiable

СЛОВА, НАЧИНАЮЩИЕСЯ КАК СЛОВО VERIFIABLE

veridical · veridicality · veridically · veridicous · verier · veriest · verifiability · verifiableness · verifiably · verification · verification principle · verificative · verificatory · verified · verifier · verifies · verify · verily · verisimilar · verisimilarly

СЛОВА, ЗАКАНЧИВАЮЩИЕСЯ КАК СЛОВО VERIFIABLE

able · amiable · appreciable · dependent variable · depreciable · diable · dummy variable · enviable · independent variable · insatiable · liable · negotiable · pliable · random variable · reliable · sociable · undeniable · unreliable · unsociable · variable · viable

Синонимы и антонимы слова verifiable в словаре английский языка

СИНОНИМЫ

СИНОНИМЫ СЛОВА «VERIFIABLE»

Указанные слова имеют то же или сходное значение, что у слова «verifiable», и относятся к той же грамматической категории.

Перевод слова «verifiable» на 25 языков

ПЕРЕВОДЧИК

ПЕРЕВОД СЛОВА VERIFIABLE

Посмотрите перевод слова verifiable на 25 языков с помощью нашего многоязыкового переводчика c английский языка.

Переводы слова verifiable с английский языка на другие языки, представленные в этом разделе, были выполнены с помощью автоматического перевода, в котором главным элементом перевода является слово «verifiable» на английский языке.
zh

Переводчик с английский языка на китайский язык

可验证
1,325 миллионов дикторов
es

Переводчик с английский языка на испанский язык

verificable
570 миллионов дикторов
en

английский

verifiable
510 миллионов дикторов
hi

Переводчик с английский языка на хинди язык

निरीक्षण
380 миллионов дикторов
ar

Переводчик с английский языка на арабский язык

التحقق منها
280 миллионов дикторов
ru

Переводчик с английский языка на русский язык

проверке
278 миллионов дикторов
pt

Переводчик с английский языка на португальский язык

verificável
270 миллионов дикторов
bn

Переводчик с английский языка на бенгальский язык

প্রতিপাদ্য
260 миллионов дикторов
fr

Переводчик с английский языка на французский язык

vérifiable
220 миллионов дикторов
ms

Переводчик с английский языка на малайский язык

Boleh diverifikasi
190 миллионов дикторов
de

Переводчик с английский языка на немецкий язык

nachprüfbar
180 миллионов дикторов
ja

Переводчик с английский языка на японский язык

検証できる
130 миллионов дикторов
ko

Переводчик с английский языка на корейский язык

검증
85 миллионов дикторов
jv

Переводчик с английский языка на яванский язык

Verifiable
85 миллионов дикторов
vi

Переводчик с английский языка на вьетнамский язык

kiểm chứng
80 миллионов дикторов
ta

Переводчик с английский языка на тамильский язык

சரிபார்க்க
75 миллионов дикторов
mr

Переводчик с английский языка на маратхи язык

तपासण्यायोग्य
75 миллионов дикторов
tr

Переводчик с английский языка на турецкий язык

doğrulanabilir
70 миллионов дикторов
it

Переводчик с английский языка на итальянский язык

verificabile
65 миллионов дикторов
pl

Переводчик с английский языка на польский язык

weryfikowalne
50 миллионов дикторов
uk

Переводчик с английский языка на украинский язык

перевірці
40 миллионов дикторов
ro

Переводчик с английский языка на румынский язык

verificabile
30 миллионов дикторов
el

Переводчик с английский языка на греческий язык

επαληθεύσιμα
15 миллионов дикторов
af

Переводчик с английский языка на африкаанс язык

verifieerbare
14 миллионов дикторов
sv

Переводчик с английский языка на шведский язык

verifierbar
10 миллионов дикторов
no

Переводчик с английский языка на норвежский язык

verifiserbar
5 миллионов дикторов

Тенденции использования слова verifiable

ТЕНДЕНЦИИ

ТЕНДЕНЦИИ ИСПОЛЬЗОВАНИЯ ТЕРМИНА «VERIFIABLE»

Тенденции основных поисковых запросов и примеры использования слова verifiable
Список основных поисковых запросов, которые пользователи ввели для доступа к нашему онлайн-словарю английский языка и наиболее часто используемые выражения со словом «verifiable».

Примеры использования в литературе на английский языке, цитаты и новости о слове verifiable

ПРИМЕРЫ

ЦИТАТЫ СО СЛОВОМ «VERIFIABLE»

Известные цитаты и высказывания со словом verifiable.
1
John Burroughs
If we take science as our sole guide, if we accept and hold fast that alone which is verifiable, the old theology must go.
2
Gerald Edelman
Science is imagination in the service of the verifiable truth, and that service is indeed communal. It cannot be rigidly planned. Rather, it requires freedom and courage and the plural contributions of many different kinds of people who must maintain their individuality while giving to the group.
3
Remy de Gourmont
Man associates ideas not according to logic or verifiable exactitude, but according to his pleasure and interests. It is for this reason that most truths are nothing but prejudices.
4
Glenn Greenwald
I personally think honestly disclosing rather than hiding one's subjective values makes for more honest and trustworthy journalism. But no journalism - from the most stylistically 'objective' to the most brazenly opinionated - has any real value unless it is grounded in facts, evidence, and verifiable data.
5
Dean Ornish
A valid scientific theory is predictive, verifiable, and replicable. To me, that's beautiful.
6
Talcott Parsons
The implications of these considerations justify the statement that all empirically verifiable knowledge even the commonsense knowledge of everyday life - involves implicitly, if not explicitly, systematic theory in this sense.

КНИГИ НА АНГЛИЙСКИЙ ЯЗЫКЕ, ИМЕЮЩЕЕ ОТНОШЕНИЕ К СЛОВУ «VERIFIABLE»

Поиск случаев использования слова verifiable в следующих библиографических источниках. Книги, относящиеся к слову verifiable, и краткие выдержки из этих книг для получения представления о контексте использования этого слова в литературе на английский языке.
1
Verifiable Programming
Software -- Software Engineering. Verifiable Programming is concerned with the techniques of reasoning about program specification.
Ole-Johan Dahl, 1992
2
Principles of Verifiable RTL Design: A Functional Coding ...
The first edition of Principles of Verifiable RTL Design offered a common sense method for simplifying and unifying assertion specification by creating a set of predefined specification modules that could be instantiated within the designer ...
Lionel Bening, Harry D. Foster, 2001
3
VoteBox: A Tamper-evident, Verifiable Voting Machine
This work uniquely demonstrates how these disparate approaches can be used in concert to increase assurance in a voting system; the resulting design also offers a number of pragmatic benefits that can help reduce the frequency and impact of ...
Daniel Robert Sandler, 2009
4
Interactive and Verifiable Web Services Composition, ...
The work described above contributed to the design and implementation of MoSCoE---an open-source platform for modeling and executing complex Web services (http://www.moscoe.org).
Jyotishman Pathak, 2007
5
Papers in Philosophical Logic:
SPECIAL COMPOSITIONAL PRINCIPLE. REFORMULATED. If V,, . . . are verifiable and D is directly verifiable, and if T(Vh . . . ) is any truth-functional compound of the Vs. then unless it is analytic, the disjunction 'T(V:, . . . ) or D' also is verifiable ...
David Lewis, 1998
6
Knowledge and Mind: A Philosophical Introduction
Given this, consider the only two options to reach the skeptical conclusion: it's either verifiable or it's not. Let's consider each option. Suppose that C1, i.e., the claim that you can't know how things really are outside of you, is unverifiable. Then ...
Andrew Brook, Robert Stainton
7
Philosophical Analysis in the Twentieth Century: The dawn of ...
ATTEMPT 5 S is directly verifiable iff (a) S is an observation statement; or (b) S by itself, or in conjunction with one or more observation statements P, Q, R, . . . , logically entails an observation statement that is not entailed by P, Q, R, . . . alone .
Scott Soames, 2003
8
Knowledge and Critical Pedagogy: An Introduction
Empirically verifiable knowledge includes: what the eye sees, what the ear hears, what one can count, what can be expressed mathematically, etc. Critical complex analysts contend to the contrary that many aspects of the social, cultural, ...
Joe L. Kincheloe, 2008
9
Metaphysical Investigations
To say, however, that every word and sentence has a meaning is not to say that every word is applicable to some empirical phenomenon or that every sentence is empirically verifiable or falsifiable. Strictly speaking, the sentence "Material ...
Ramon M. Lemos, 1988
10
Mind, Matter and Method: Essays in Philosophy and Science in ...
Then using these we may show of any statement S whatever that either it or its negation is verifiable, as follows. Let G1 and .§ be the negations of O1 and S respectively. Then (under Ayer's definition) (5102 v O38 is directly verifiable, because ...
Paul K. Feyerabend, Grover Maxwell, 1966

НОВОСТИ, В КОТОРЫХ ВСТРЕЧАЕТСЯ ТЕРМИН «VERIFIABLE»

Здесь показано, как национальная и международная пресса использует термин verifiable в контексте приведенных ниже новостных статей.
1
Cochran worries if Iran Deal is “verifiable and enforceable”
"Iran cannot be allowed to gain nuclear weapons capabilities, and I am skeptical whether the agreement reached by the Obama administration is truly verifiable ... «Yall Politics, Июл 15»
2
Key to the Iran deal: What's verifiable?
President Obama says the nuclear deal with Iran is built on verification, not trust. But can the U.S. and the other great power signatories verify that Iran — a ... «USA TODAY, Июл 15»
3
Verifiable Deception Used to Attack Donald Trump on Illegal …
Arguments ripe with deception, trickery, and data manipulation are being presented to attack Donald Trump's assertions on illegal immigrants who come from ... «Breitbart News, Июл 15»
4
Defense Secretary Says Iran Nuclear Deal Must Be Verifiable
The international nuclear deal with Iran now in the final stages of negotiation must be verifiable and cannot be based on trust, Defense Secretary Ashton Carter ... «Washington Free Beacon, Июл 15»
5
Clinton: Hopeful US can reach 'verifiable deal' with Iran
GLEN, N.H. (AP) — Hillary Rodham Clinton said Saturday that she remains hopeful the U.S. can reach a "strong verifiable deal" to curb Iran's nuclear weapons ... «Yahoo News UK, Июл 15»
6
Take time for a verifiable Iran nuclear deal
A rushed, bad deal is more dangerous than no deal at all. So negotiators are right to extend the deadline to reach agreement with Iran on its nuclear program. «Sacramento Bee, Июл 15»
7
Any nuclear deal with Iran must be verifiable: France
Jerusalem (AFP) - French Foreign Minister Laurent Fabius said Sunday any nuclear deal with Iran must be verifiable as he prepared to meet his Iranian ... «Yahoo News, Июн 15»
8
Still no guarantees on verifiable Iran nuclear deal: Fabius
"We want a deal with Iran but ... the deal must be verifiable, solid, robust and today we don't have guarantees on this," he said. "A deal that cannot be verified ... «Reuters, Июн 15»
9
International Bar Association Launches Mobile App that Captures …
... a new tool for documenting and reporting human rights atrocities in a secure and verifiable way so the information can be used as evidence in a court of law. «Business Wire, Июн 15»
10
Obama says 'verifiable' deal with Iran the 'best way forward'
Obama says 'verifiable' deal with Iran the 'best way forward'. In Israeli TV interview, US president says there is no military option to contain Tehran's nuclear ... «The Times of Israel, Июн 15»
ССЫЛКИ
« EDUCALINGO. Verifiable [онлайн]. Доступно на <https://educalingo.com/ru/dic-en/verifiable>. Июн 2024 ».
Скачать приложение educalingo
RU