2025/2026

Введение в теорию моделей

Статус: Дисциплина общефакультетского пула

Кто читает: Факультет математики

Когда читается: 1, 2 модуль

Охват аудитории: для всех кампусов НИУ ВШЭ

Преподаватели: Шехтман Валентин Борисович

Язык: английский

Контактные часы: 30

Course Syllabus

Abstract

Model theory is a fast evolving area between mathematical logic, algebra and other disciplines: recursion theory, set theory, category theory, game theory et al. It studies connections between mathematical structures and their formal theories. Model-theoretic methods are applied to various problems - from abstract set theory and algebraic geometry to database theory and machine learning. The intention of the course is introduction to main model-theoretic notions and methods.