курсовая «Структура исчисления предикатов - построение логического вывода»

Вид:курсовая

Описание

Синтаксис языка логики предикатов. Свободные и связные вхождения переменных в формулы. Семантика языка логики предикатов. Логика предикатов. Логическое следование. Закон логики предикатов. Исчисление предикатов. Натуральная система исчисления предикатов.

Скачать бесплатно [40 K]