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

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

Издательство:

МФТИ

Год издания:

2019

Количество страниц:

158

Полный текст книги доступен студентам и сотрудникам МФТИ через Личный кабинет https://profile.mipt.ru/services/.

После авторизации пройдите по ссылке «Books.mipt.ru Электронная библиотека МФТИ»