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

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

Издательство:
МФТИ
Год издания:
2019
Количество страниц:
158
Нельзя скачать PDF (74.4 MB)
Вы находитесь на официальном сайте библиотеки МФТИ, здесь представлен каталог электронных книг, доступных для скачивания и чтения студентам и сотрудникам МФТИ, а также посетителям сайта, находящимся в локальной сети МФТИ. Для доступа к полным текстам необходимо пройти авторизацию на портале https://profile.mipt.ru, после чего вернуться на сайт библиотеки https://books.mipt.ru. В случае возникновения затруднений при выполнении указанных действий, пожалуйста, свяжитесь с нами.
Если Вы считаете нужным сообщить об опечатке, ошибке или о другой проблеме, Вы можете это сделать.