Translators - Translator Resources
ProZ.com global directory of translation services
 The translation workplace

Polish: metoda zero-jedynkowa sprawdzania tautologii

English translation: tautology verification by the zero-one method







KudoZ
The KudoZ network provides a framework for translators... More



GLOSSARY ENTRY (DERIVED FROM QUESTION BELOW)
Polish term or phrase:metoda zero-jedynkowa sprawdzania tautologii
English translation:tautology verification by the zero-one method
Entered by:Lota
Options:
- Contribute to this entry

11:47am Aug 8, 2005Login or register (free) for more options.
Polish to English translations [PRO]
Science - Mathematics & Statistics
Polish term or phrase: metoda zero-jedynkowa sprawdzania tautologii
z logiki
Lota
United States
tautology verification by the zero-one method
Explanation:
http://www.kul.lublin.pl/efk/angielski/hasla/a/algebraboolea...
Selected response from:

M_M
Poland
Note from asker to answerer
Thank you.
4 KudoZ points were awarded for this answer



Summary of answers provided
4 +1tautology verification by the zero-one methodM_M
3zero-one method of tautology verification
bartek


  

Answers

25 mins   confidence: Answerer confidence 4/5Answerer confidence 4/5 peer agreement (net): +1
tautology verification by the zero-one method

Explanation:
http://www.kul.lublin.pl/efk/angielski/hasla/a/algebraboolea...

M_M
Poland
Works in field
Native speaker of: Native in PolishPolish
PRO pts in category: 27
Note from asker to answerer
Thank you.

Peer comments on this answer (and responses from the answerer)
agree TranslateThis
2 mins
  -> dziękuję
Login to enter a peer comment (or grade)


26 mins   confidence: Answerer confidence 3/5Answerer confidence 3/5
zero-one method of tautology verification

Explanation:
The verification of whether the formula is a tautology is in this case a common
verification by the zero-one method of truth for the formula. ...
www.kul.lublin.pl/efk/angielski/hasla/a/algebraboolean.htm

This device, which we call the zero-one method, cannot be used when systems ...
4.1 The zero-one method Consider a time-invariant UC model and suppose that ...
staff.feweb.vu.nl/koopman/papers/weights.ps

bartek
Poland
Native speaker of: Native in PolishPolish
PRO pts in category: 44
Login to enter a peer comment (or grade)





Return to KudoZ list