Основы теории моделей

Содержание самостоятельной работы

Основы теории множеств
Выполнение домашних заданий, подготовка к контрольной работе.
Исчисление предикатов
Выполнение домашних заданий, подготовка к контрольной работе.
Теории и модели
Написание ревератов, подготовка к контрольной работе.
Типы
Выполнение домашних заданий, подготовка к контрольной работе.