Название: Элементы математической логики и теории множествАвтор: Пензов Ю.Е.
Издательство: Саратовский университет
Год: 1968
Формат: pdf
Страниц: 143
Размер: 25,4 Мб
Язык: Русский
Настоящая книга является обработкой лекций, которые автор читал в Саратовском университете в 1962-66 гг. В параграфе 1 вводятся основные понятия теории множеств. В параграфах 2 и 3 излагаются элементы содержательного исчисления высказываний и предикатов. Содержательное исчисление предикатов представляет наибольшие трудности, этот раздел занимает в книге значительное место.