Журналы
Email: Пароль: Войти Регистрация


Студент 4 курса факультета компьютерных технологий и информатики СПбГЭТУ "ЛЭТИ"

Статьи автора:

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