АКСІОМАТИЧНИЙ ПІДХІД
АКСІОМАТИЧНИЙ ПІДХІД 1 Формальні системи 2 Фундаментальні властивості формальних теорій 3 Числення висловлень 4Автоматичне доведення...
ЛОГІКА ПРЕДИКАТІВ привычки
ЛОГІКА ПРЕДИКАТІВ [if !supportLists]1. [endif]Поняття предиката. Формули логіки предикатів. Загальнозначущі формули логіки предикатів...