Логика предикатов с одним переменным. (реферат)

Описание

СОДЕРЖАНИЕ
Введение . . .3
Основные понятия . . . .4
§1. Логика предикатов с одним переменным . . .5
§2. Практика по решению проблемы разрешимости формул, содержащих предикаты от одного переменного . . . . .9
Литература .. . . 12

Логика предикатов с одним переменным. (реферат) (Решение → 34719)