Инструмент для изучения метода резолюций

Authors

  • Pavel Emman
  • Vitaliy Shulzhenko

Abstract

В данной статье описывается программа, с помощью которой студент, изучающий метод резолюций, сможет рассмотреть его на примере любого множества логических формул любой интерпретации.

Downloads

Published

2006-12-31

Issue

No. 6 (2006)

Section

Subject Teaching

License

Public offer

How to Cite

[1]
“Инструмент для изучения метода резолюций”, Comput. Tools Educ., no. 6, Dec. 2006, Accessed: Oct. 23, 2026. Available: http://cte.eltech.ru/ojs/index.php/kio/article/view/1044