- subproof
- Поддоказательство
Большой англо-русский и русско-английский словарь. 2001.
subproof
Смотреть что такое "subproof" в других словарях:
Fitch-style calculus — is a method for constructing formal proofs used in first order logic. It was invented by American logician Frederic Brenton Fitch. Fitch style proofs involve the atomic sentences of first order logic, which are arranged in premises, lemmas, and… … Wikipedia
SLD resolution — ( Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses. The SLD inference ruleGiven a goal clause: eg L… … Wikipedia
