Книга: Элементы математической логики и теории множеств

Скачать

Курс «Элементы математической логики и теории множеств» впервые был прочитан для студентов 1-го курса механико-математического факультета Саратовского университета в 1961 году профессором В. В. Вагнером. С тех пор он читается ежегодно с сохранением в основном первоначальной программы.

С 1963 года этот курс введен в учебные планы мехматов университетов. Настоящая книга является обработкой лекций, которые автор читал в Саратовском университете в 1962—66 гг. В § 1 вводятся основные понятия теории множеств. В § 2 и § 3 излагаются элементы содержательного исчисления высказываний и предикатов. Содержательное исчисление предикатов представляет наибольшие трудности, этот раздел занимает в книге значительное место. Формальное исчисление высказываний и предикатов не затрагивается.

В § 4 и § 5 логика предикатов применяется для построения начал алгебры и теории бинарных отношений. В § 6 на основе теории бинарных отношений излагаются начальные понятия по теории отображений и объединений множеств. Каждый параграф заканчивается упражнениями, которые построены по принципу прогрессии трудности. В конце книги приведен список литературы, включающей основное пособие и рядом классик с математической логики и теории множеств.

Информация о документе

Формат документа: PDF, DJVU
Кол-во страниц: 143 страницы
Загрузил(а): Арбатова Юлия
Лицензия: —
Доступ: Всем

Информация о книге

Издательство: Сарат. ун-т
Год публикации: 1968
Автор(ы): Пензов Ю. Е.
Ключевые фразы: элементы математической логики, ТЕОРИЯ МНОЖЕСТВ
Каталог SCI: Математика
ББК: 22.1. Математика
УДК: 51. Математика

Статистика просмотров

Статистика просмотров книги за 2025 год.

Все права на тексты и товарные знаки принадлежат их законным владельцам. Подробнее...

Сайт https://scinetwork.ru (далее – Сайт) представляет собой платформу, на которой пользователи самостоятельно добавляют и публикуют метаинформацию о материалах разных видов (названия, обложки, аннотации, данные об авторах и т.п.). Администрация Сайта не занимается самостоятельным сбором или первоначальной публикацией этих сведений.

Модерация контента

На Сайте действует постмодерация. Это означает, что материалы, добавляемые пользователями, становятся общедоступными сразу после публикации и проверяются Администрацией Сайта постфактум в разумные сроки.

Использование информации

Администрация Сайта не использует метаданные и обложки документов в коммерческих или рекламных целях для продвижения товаров или услуг и не заявляет о каких-либо правах на представленные объекты интеллектуальной собственности. Все права на документы и сопутствующие материалы принадлежат их законным правообладателям.

Отказ от гарантий

Администрация Сайта не гарантирует точность, полноту и достоверность метаинформации, размещенной пользователями, поскольку не осуществляет ее предварительную проверку.

Ответственность

Сайт носит исключительно информационно-справочный характер. Администрация Сайта не несет ответственности за содержание и достоверность информации, добавленной пользователями, а также за любые убытки, возникшие в связи с использованием или невозможностью использования Сайта и размещенной на нем информации.