• русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • українська 
    • русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • Ввійти
Перегляд матеріалів 
  •   Головна сторінка DSpace
  • Genofond
  • Libgen
  • Перегляд матеріалів
  •   Головна сторінка DSpace
  • Genofond
  • Libgen
  • Перегляд матеріалів
JavaScript is disabled for your browser. Some features of this site may not work without it.

Элементы математической логики и теории множеств

Thumbnail
Переглянути
fad0c7fcfd56ad1a09b7942e82859e4c.djvu (1.513Mb)
Дата
1968
Автор
Пензов Ю.Е.
Metadata
Показати повний опис матеріалу
Короткий опис(реферат)
Настоящая книга является обработкой лекций, которые автор читал в Саратовском университете в 1962-66 гг. В параграфе 1 вводятся основные понятия теории множеств. В параграфах 2 и 3 излагаются элементы содержательного исчисления высказываний и предикатов. Содержательное исчисление предикатов представляет наибольшие трудности, этот раздел занимает в книге значительное место. Формальное исчисление высказываний и предикатов не затрагивается. В параграфах 4 и 5 логика предикатов применяется для построения начал алгебры подмножеств и теории бинарных отношений. В 6-ом на основе теории бинарных отношений излагаются начальные сведения по теории отображений и преобразований множеств. Каждый параграф книги снабжен упражнениями. Часть из них содержит дополнительные теоретические сведения. В конце книги приведен краткий список литературы, по которой можно более подробно познакомиться с математической логикой и теорией множеств.
URI
http://libarch.nmu.org.ua/handle/GenofondUA/67746
Collections
  • Libgen [81666]

DSpace software copyright © 2002-2016  DuraSpace
Контакти | Зворотній зв'язок
Theme by 
Atmire NV
 

 

Перегляд

Всі матеріалиФонди та колекціїЗа датою публикаціїАвториЗаголовкиТемиКолекціяЗа датою публикаціїАвториЗаголовкиТеми

Мій профіль

ВвійтиЗареєструватися

DSpace software copyright © 2002-2016  DuraSpace
Контакти | Зворотній зв'язок
Theme by 
Atmire NV