proof system angličtina

Význam proof system význam

Co v angličtině znamená proof system?

proof system podstatné jméno

— (logic) A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.

Doporučujeme

Patnáct vět anglickyZločin | CrimeJak mluvit a co říct, když jdete na policii oznámit trestný čin.Naučit se 15vet.cz »

Možná hledáte...

proof | system

proof sample | proof silver | proof spirit | proof sheet | proof stick | proof of absence | proof to the contrary | proof by exhaustion | proof by refutation | proof charge | proof corrector | proof factor

website statistics