Содержание модуля:

Тема 5.1. Бинарные отношения.

Тема 5.2. Основные понятия логики предикатов.

Тема 5.3. Формулы логики предикатов.

Тема 5.4. Применение логики предикатов к логико-математической практике.