Введение в математическую логику. Множества и отношения: учебное пособие
Дашков Е. В.

Излагаются элементы теории множеств ZFC, посредством которых моделируются основные понятия содержательной математики: отношение, функция, биекция, порядок, эквивалентность, факторизация. Приводятся сведения о соответствиях Галуа и операторах замыкания; различных формах аксиомы выбора. Рассматриваются разные варианты индукции, рекурсии и индуктивных определений, теория конечных и счетных множеств, основы теории формальных языков. Предназначено для студентов младших курсов. Может быть полезно для самостоятельного изучения математической логики и при знакомстве с математическими курсами, использующими формализм теории множеств.

Издательство:
МФТИ
Год издания:
2019
Количество страниц:
158

Доступ к данной книге есть только из локальной сети МФТИ.