Pobierz aplikację
educalingo
verifiable

Znaczenie słowa "verifiable" w słowniku

SŁOWNIK

WYMOWA SŁOWA VERIFIABLE

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


KATEGORIA GRAMATYCZNA SŁOWA VERIFIABLE

rzeczownik
przymiotnik
czasownik
przysłówek
zaimek
przyimek
spójnik
określnik
wykrzyknik

CO OZNACZA SŁOWO VERIFIABLE

Weryfikacja formalna

W kontekście systemów sprzętowych i programowych weryfikacja formalna polega na udowodnieniu lub odrzuceniu poprawności przewidywanych algorytmów leżących u podstaw systemu w odniesieniu do określonej specyfikacji lub własności, używając formalnych metod matematyki. Weryfikacja formalna może być pomocna w udowodnieniu poprawności systemów, takich jak: protokoły kryptograficzne, układy kombinowane, obwody cyfrowe z pamięcią wewnętrzną i oprogramowanie wyrażone jako kod źródłowy. Weryfikacja tych systemów odbywa się poprzez dostarczenie formalnego dowodu na temat abstrakcyjnego modelu matematycznego systemu, korespondencji pomiędzy modelem matematycznym a naturą systemu, znanego inaczej przez konstrukcję. Przykładami obiektów matematycznych często wykorzystywanych do modelowania systemów są: maszyny stanu skończonego, oznakowane systemy przejściowe, sieci Petri, automaty czasowe, automaty hybrydowe, algebra procesów, formalne semantyki języków programowania, takie jak semantyka operacyjna, semantyka denotacyjna, semantyka aksjomatyczna i logika Hoare.

Definicja słowa verifiable w słowniku

Definicja sprawdzalnego w słowniku może być zweryfikowana, potwierdzona lub uzasadniona.

SŁOWA, KTÓRE RYMUJĄ SIĘ ZE SŁOWEM VERIFIABLE

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

SŁOWA, KTÓRE ZACZYNAJĄ SIĘ TAK JAK SŁOWO VERIFIABLE

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

SŁOWA, KTÓRE KOŃCZĄ SIĘ TAK JAK SŁOWO 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

Synonimy i antonimy słowa verifiable w słowniku synonimów

SYNONIMY

SYNONIMY SŁOWA «VERIFIABLE»

Następujące słowa mają podobne lub identyczne znaczenie jak słowo «verifiable» i należą do tej samej kategorii gramatycznej.

Tłumaczenie słowa «verifiable» na 25 języków

TŁUMACZ

TŁUMACZENIE SŁOWA VERIFIABLE

Poznaj tłumaczenie słowa verifiable na 25 języków dzięki naszemu tłumaczowi wielojęzycznemu.

Tłumaczenie słowa verifiable na inne języki w tej sekcji zostało uzyskane za pomocą automatycznego tłumaczenia statystycznego, gdzie podstawową jednostką tłumaczeniową jest słowo «verifiable».
zh

Tłumacz angielski - chiński

可验证
1,325 mln osób
es

Tłumacz angielski - hiszpański

verificable
570 mln osób
en

angielski

verifiable
510 mln osób
hi

Tłumacz angielski - hindi

निरीक्षण
380 mln osób
ar

Tłumacz angielski - arabski

التحقق منها
280 mln osób
ru

Tłumacz angielski - rosyjski

проверке
278 mln osób
pt

Tłumacz angielski - portugalski

verificável
270 mln osób
bn

Tłumacz angielski - bengalski

প্রতিপাদ্য
260 mln osób
fr

Tłumacz angielski - francuski

vérifiable
220 mln osób
ms

Tłumacz angielski - malajski

Boleh diverifikasi
190 mln osób
de

Tłumacz angielski - niemiecki

nachprüfbar
180 mln osób
ja

Tłumacz angielski - japoński

検証できる
130 mln osób
ko

Tłumacz angielski - koreański

검증
85 mln osób
jv

Tłumacz angielski - jawajski

Verifiable
85 mln osób
vi

Tłumacz angielski - wietnamski

kiểm chứng
80 mln osób
ta

Tłumacz angielski - tamilski

சரிபார்க்க
75 mln osób
mr

Tłumacz angielski - marathi

तपासण्यायोग्य
75 mln osób
tr

Tłumacz angielski - turecki

doğrulanabilir
70 mln osób
it

Tłumacz angielski - włoski

verificabile
65 mln osób
pl

Tłumacz angielski - polski

weryfikowalne
50 mln osób
uk

Tłumacz angielski - ukraiński

перевірці
40 mln osób
ro

Tłumacz angielski - rumuński

verificabile
30 mln osób
el

Tłumacz angielski - grecki

επαληθεύσιμα
15 mln osób
af

Tłumacz angielski - afrikaans

verifieerbare
14 mln osób
sv

Tłumacz angielski - szwedzki

verifierbar
10 mln osób
no

Tłumacz angielski - norweski

verifiserbar
5 mln osób

Trendy użycia słowa verifiable

TRENDY

TRENDY UŻYCIA SŁOWA «VERIFIABLE»

Główne trendy wyszukiwania i najpowszechniejsze użycia słowa verifiable
Lista najczęstszych wyszukiwań przez użytkowników, aby uzyskać dostęp do naszego słownika online oraz najczęstsze użycia wyrażeń ze słowem «verifiable».

Przykłady użycia słowa verifiable w literaturze, cytatach i wiadomościach

PRZYKŁADY

CYTATY ZE SŁOWEM «VERIFIABLE»

Słynne cytaty i zdania ze słowem 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.

KSIĄŻKI POWIĄZANE ZE SŁOWEM «VERIFIABLE»

Poznaj użycie słowa verifiable w następujących pozycjach bibliograficznych Książki powiązane ze słowem verifiable oraz krótkie ich fragmenty w celu przedstawienia kontekstu użycia w literaturze.
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

WIADOMOŚCI, KTÓRE ZAWIERAJĄ SŁOWO «VERIFIABLE»

Sprawdź, o czym dyskutuje się w prasie krajowej i zagranicznej oraz jak jest stosowane słowo verifiable w wiadomościach.
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, Lip 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, Lip 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, Lip 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, Lip 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, Lip 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, Lip 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, Cze 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, Cze 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, Cze 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, Cze 15»
ŹRÓDŁO
« EDUCALINGO. Verifiable [online]. Dostępny <https://educalingo.com/pl/dic-en/verifiable>. Maj 2024 ».
Pobierz aplikację educalingo
PL