|
|
libcats.org
Элементы математической логики и теории множествПензов Ю.Е.Настоящая книга является обработкой лекций, которые автор читал в Саратовском университете в 1962-66 гг. В параграфе 1 вводятся основные понятия теории множеств. В параграфах 2 и 3 излагаются элементы содержательного исчисления высказываний и предикатов. Содержательное исчисление предикатов представляет наибольшие трудности, этот раздел занимает в книге значительное место. Формальное исчисление высказываний и предикатов не затрагивается. В параграфах 4 и 5 логика предикатов применяется для построения начал алгебры подмножеств и теории бинарных отношений. В 6-ом на основе теории бинарных отношений излагаются начальные сведения по теории отображений и преобразований множеств. Каждый параграф книги снабжен упражнениями. Часть из них содержит дополнительные теоретические сведения. В конце книги приведен краткий список литературы, по которой можно более подробно познакомиться с математической логикой и теорией множеств.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)Автор: Robert C. Martin
Размер книги: 6.06 Mb
Только что пользователи скачали эти книги:
В.Г.Дорогунцев, Н.И.Овчаренко. Элементы автоматических устройств (1979, djvu)Автор:
Размер книги: 6.53 Mb
Римский бетон: (Из истории стр-ва и строит. техники Древ. Рима)Автор: В. А. Кочетов
Размер книги: 2.59 Mb
Journeys In A Small Canoe: The Life And Times Of a Solomon IslanderАвтор: Lloyd Maepeza Gina, Автор: Judith A. Bennett, Автор: Khyla J. RussellКатегория: history_military
Размер книги: 1.80 Mb
Oracle Business Intelligence: The Condensed Guide to Analysis and ReportingАвтор: Yuli VasilievКатегория: Компьютеры, Базы данных
Размер книги: 4.12 Mb
Статистика для менеджеров с использованием Microsoft Excel (+ CD-ROM)Автор: Дэвид М. Левин, Автор: Дэвид Стефан, Автор: Тимоти С. Кребиль, Автор: Марк Л. Беренсон
Размер книги: 62.72 Mb
|
|
|