Mostra i principali dati dell'item
Введение в математическую логику
dc.contributor.author | Мендельсон Эллиот | |
dc.date.accessioned | 2016-02-22T06:53:08Z | |
dc.date.available | 2016-02-22T06:53:08Z | |
dc.date.issued | 1971 | |
dc.identifier.isbn | ||
dc.identifier.issn | ||
dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/48654 | |
dc.description.abstract | В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Следует однако отметить, что в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики. Изложение материала в книге ясное и лаконичное. Основной текст перемежается с большим числом примеров и упражнений. В упражнения автор вынес также некоторые результаты, используемые затем в основном тексте. Это, наряду с лаконичностью изложения, способствовало сокращению размеров книги при весьма обширном содержании. Переводчик и редактор перевода позволили себе без специальных оговорок и примечаний исправить ряд неточностей и опечаток, имевшихся в оригинале, а также привести терминологию и обозначения в соответствие с принятыми в русской литературе. Книгу Э. Мендельсона можно рекомендовать в качестве пособия не только студентам и аспирантам, специализирующимся по математической логике, но также всякому, кто захочет начать систематическое изучение этого предмета. | |
dc.language.iso | Russian | |
dc.publisher | ФМЛ | |
dc.subject | ||
dc.subject | ||
dc.subject.ddc | ||
dc.subject.lcc | ||
dc.title | Введение в математическую логику | |
dc.type | other | |
dc.identifier.aich | KFOZW2UE3LKTGEC6NQINWUMTJXQE4GUW | |
dc.identifier.crc32 | 84F26A9C | |
dc.identifier.doi | ||
dc.identifier.edonkey | 762AF0C240C852A4FA02E61E8FCE1903 | |
dc.identifier.googlebookid | ||
dc.identifier.openlibraryid | ||
dc.identifier.udk | ||
dc.identifier.bbk | ||
dc.identifier.libgenid | 1287615 | |
dc.identifier.md5 | 625fc8e6d627510f98e67c01a8ec3930 | |
dc.identifier.sha1 | A2VMJBH4T5QOEESBV5VFQFKAYLM72COY | |
dc.identifier.tth | 5IEOPZMWLR6I4IGJXNUQUOFA6DIHZBUG3RTSGHY |
Files in questo item
Questo item appare nelle seguenti collezioni
-
Libgen [81666]