Естествознание \ Математика

Теория R-функций

Кемеровский государственный университет (КемГУ)

Конспекты лекций

• Алгебро-логические свойства R-функций. Дифференциальные свойства R-функций. Алгоритмически полные системы R-функций
• Булевы предикаты замкнутых областей. R-отображения и R-предикаты. Основные системы R-функций
• Переход от предикатных уравнений к обычным. Примеры построения уравнений элементарных чертежей