Элементы математической логики и теории множеств — Електронна бібліотека НУ «Запорізька політехніка»

•

Пензов Ю.Е.
Элементы математической логики и теории множеств

УДК: 517
Автори: Пензов Ю.Е.
Рік видання: 1968
Видавництво: Издательство Саратовского университета / Саратов
Мова: Російська
Обсяг: 143с.
Вид документа: Електронна книга

Дисципліни: Математика, Математична логіка

Анотація:

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

Ключові слова:

множин теорія, множеств теория, теория множеств, предікати, предикаты, алгебра висловлювань, алгебра высказываний

Файл документа доступний читачам бібліотеки: увійдіть або зареєструйтесь.