Верификация логического следования с использованием объёмных соотношений множеств и их соответствий

Ю. М. Сметанин, Л. П. Сметанина, Д. Н. Фёдоров

Аннотация


Верификация логического следования с использованием объёмных соотношений множеств и их соответствий


Полный текст:

PDF

Литература


Бочаров В. А., Маркин В. И. Силлогистические теории.— М.: Прогресс-Традиция, 2010. — 336 с.

Ю. М. Сметанин. «Верификация логического следования с использованием исчисления конституентных множеств и соответствий Галуа», Программные системы: теория и приложения, 2017, 8:2(33), с. 69–93.

В. Н. Вагин, Зо Мьо Хтет. «Параллельный вывод в методе аналитических таблиц», Программные продукты и системы, 2011, №3, с. 8–13.


Ссылки

  • На текущий момент ссылки отсутствуют.


Bookmark and Share


(c) 2018 Ю. М. Сметанин, Л. П. Сметанина, Д. Н. Фёдоров

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.