Аннотация

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

С 1963 года этот курс введён в учебные планы мехматов университетов.

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

Впечатления о книге:  

Прочитавшие эту книги читали: