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

П.А. Эмман; В.И. Шульженко

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

Authors

П.А. Эмман
В.И. Шульженко

Abstract

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

Downloads

Published

2014-01-17

Issue

No. 6 (2006)

Section

Articles

License

This work is licensed under a Creative Commons Attribution 4.0 International License.

How to Cite

[1]

“Инструмент для изучения метода резолюций”, Компьютерные инструменты в образовании, no. 6, Jan. 2014, Accessed: Jul. 24, 2026. Available: http://cte.eltech.ru/ojs/index.php/kio/article/view/1044