Рет қаралды 85
Oleg Vladimirovich
Лекция по неклассическим логикам. Начало 14 марта в 9:30. Темы: разрешающая процедура для системы 4 модальной логики, многозначная логика, нечеткие множества.