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

Общая информация о дисциплине

Цели изучения дисциплины
Цель дисциплины - дать основные сведения из теории моделей, которые необходимы специалистам по базам данных.
Предварительные знания и навыки, требуемые для изучения дисциплины
Студент должен владеть основными понятиями логики предикатов (сигнатура, формула, алгебраическая система, истинность, исчисление высказываний), быть знакомым с основами алгебры (иметь основные понятия о группах, кольцах, полях).
Получаемые знания и навыки
Студент должен усвоить основной аппарат теории моделей, в частности средства, используемые при анализе выразительной силы языков.