proof system
proof system · proof systems
Beweissystem
A set of axioms and a set of inference rules which are jointly used to deduce…A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.
Значение
значений: 1A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.
Beweissystem
Переводы
языков: 2Deutsch
По значениям 1
Translations:
Формы
мн. число: proof systems| Ед. число | proof system |
|---|---|
| Мн. число | proof systems |
правильный