| Номер документа в системі: | 133167 |
| Автор: | Пензов Ю.Е. |
| Назва документа: | Элементы математической логики и теории множеств |
| Видавництво: | Издательство Саратовского университета |
| Місто видання: | Саратов |
| Рік видання: | 1968 |
| УДК | 517 |
| Мова документу | Російська |
| Аннотація | Настоящая книга является обработкой лекций, которые автор читал в Саратовском университете в 1962-66 гг. В § 1 вводятся основные понятия теории множеств. В § 2 и § 3 излагаются элементы содержательного исчисления высказываний и предикатов. Содержательное исчисление предикатов представляет наибольшие трудности, этот раздел занимает в книге значительное место. Формальное исчисление высказываний и предикатов не затрагивается. |
| Кількість сторінок | 143 с. |