-
1 ациклическая резольвента
Mathematics: acyclic resolventУниверсальный русско-английский словарь > ациклическая резольвента
См. также в других словарях:
Resolution (logic) — In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem proving technique for sentences in propositional logic and first order logic. In other words, iteratively applying the… … Wikipedia