Логика направленности измененияЛогика направленности изменения В монографии исследуется логика направленности изменения. Пропозициональные основы этой логики в виде аксиоматической системы были созданы польским логиком Л. Роговским. Автор монографии продолжил разработку пропозициональной стороны этой логики. Исследовал логику направленности изменения как функциональную систему, изучил ее нормальные формы. Построил секвенциональное исчисление и аналитические таблицы этой логики. Автор создал и исследовал первопорядковую логику направленности изменения, в частности, доказал теорему корректности. Итого: 200.00руб. Купить Вы можете купить электронную версию издания «Логика направленности изменения». После оплаты (для архивов) оно будет доступно в Личном Кабинете в разделе «Электронные издания». В случае оформления подписки, издание будет доступно по мере поступления от издателя. Формат PDF/HTML. Стоимость — от 200.00 руб. |