Система поддержки принятия решений по налогообложению предприятия, основанная на построении выводов в исчислении предикатов

Авторы

  • Рената Халитовна Зарипова

Ключевые слова:

Система поддержки принятия решений; логика предикатов; логический вывод; налогообложение

Аннотация

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

Загрузки

Опубликован

2018-18-09

Выпуск

Том 11 № 1 (28) (2008): Вестник УГАТУ

Раздел

ИНФОРМАТИКА, ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА И УПРАВЛЕНИЕ