Элементы математической логики и теории множеств (djvu) ↓

Ю. Е. Пензов   Виктор Владимирович Вагнер

Аннотация

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

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

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

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

'

Отзывов 0    Просмотров  

   Распечатать

Другие новости по теме:

Элементы теории множеств и математической логики (pdf)

Математическая логика. Дополнительные главы (djvu)

Фундаментальные основы дискретной математики (djvu)

Математическая логика и теория алгоритмов (djvu)

Высшая математика. Учеб для немат. спец. вузов (djvu)

Элементы теории игр (djvu)

Комментарии