Показати скорочений опис матеріалу

dc.contributor.authorПензов Ю.Е.
dc.date.accessioned2016-03-24T05:38:23Z
dc.date.available2016-03-24T05:38:23Z
dc.date.issued1968
dc.identifier.isbn
dc.identifier.issn
dc.identifier.urihttp://libarch.nmu.org.ua/handle/GenofondUA/67746
dc.description.abstractНастоящая книга является обработкой лекций, которые автор читал в Саратовском университете в 1962-66 гг. В параграфе 1 вводятся основные понятия теории множеств. В параграфах 2 и 3 излагаются элементы содержательного исчисления высказываний и предикатов. Содержательное исчисление предикатов представляет наибольшие трудности, этот раздел занимает в книге значительное место. Формальное исчисление высказываний и предикатов не затрагивается. В параграфах 4 и 5 логика предикатов применяется для построения начал алгебры подмножеств и теории бинарных отношений. В 6-ом на основе теории бинарных отношений излагаются начальные сведения по теории отображений и преобразований множеств. Каждый параграф книги снабжен упражнениями. Часть из них содержит дополнительные теоретические сведения. В конце книги приведен краткий список литературы, по которой можно более подробно познакомиться с математической логикой и теорией множеств.
dc.language.isoRussian
dc.publisher
dc.subjectМатематика\\Математическая логика
dc.subjectMathematics\\Logic
dc.subject.ddc
dc.subject.lcc
dc.titleЭлементы математической логики и теории множеств
dc.typeother
dc.identifier.aichJJI3A5ONOBA7W7J3W46JMZLY3DUPJE32
dc.identifier.crc325C5CBB48
dc.identifier.doi
dc.identifier.edonkeyF69E7FD1455D3B28ED90EB439C7EE866
dc.identifier.googlebookid
dc.identifier.openlibraryid
dc.identifier.udk
dc.identifier.bbk
dc.identifier.libgenid4637
dc.identifier.md5FAD0C7FCFD56AD1A09B7942E82859E4C
dc.identifier.sha1ED4YWC7TDSNR2AMFNTYY42XHELAPS6ES
dc.identifier.tthHGL72B6RNQVR7SVHHA7APT7ABBXLC6ICDG2TTYA


Долучені файли

Thumbnail

Даний матеріал зустрічається у наступних фондах

Показати скорочений опис матеріалу