Mostrar el registro sencillo del ítem
Конструктивная математическая логика с точки зрения классической
dc.contributor.author | Новиков П.С. | |
dc.date.accessioned | 2016-02-22T05:01:01Z | |
dc.date.available | 2016-02-22T05:01:01Z | |
dc.date.issued | 1977 | |
dc.identifier.isbn | ||
dc.identifier.issn | ||
dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/46533 | |
dc.description.abstract | Настоящая книга написана на основе лекций, читавшихся П. С. Новиковым во второй половине пятидесятых годов. В ней излагаются вопросы математической логики, не рассмотренные в первой книге. В этом смысле она как бы дополняет предыдущую книгу. В то же время книга написана так, что ее можно читать независимо от предыдущей. В частности, в ней подробно излагается весь нужный по ходу дела материал, относящийся к классическим логическим исчислениям. В книге рассматриваются интерпретации конструктивных формальных систем в классических терминах и с использованием средств классической математики. Вопросы семантики конструктивной логики изложены в ней в оригинальной и доступной для читателя форме. Доказательства основных утверждений приводятся во всех деталях. Только в последней главе опущены доказательства некоторых утверждений, относящихся к теории рекурсивных функций и теореме Гёделя о неполноте формальной арифметики. Несмотря на то, что со времени чтения соответствующих курсов Петра Сергеевича прошло около 20 лет, затронутые в них вопросы не потеряли своей актуальности. Книга доступна широкому кругу читателей. Для ее чтения не требуется специальной подготовки. В то же время, насыщенность разнообразными техническими деталями делает ее полезной для лиц, занимающихся исследованием математических аспектов конструктивной логики. Книга может также служить основой для спецкурсов. | |
dc.language.iso | Russian | |
dc.publisher | Наука | |
dc.subject | Математика\\Математическая логика | |
dc.subject | Mathematics\\Logic | |
dc.subject.ddc | ||
dc.subject.lcc | ||
dc.title | Конструктивная математическая логика с точки зрения классической | |
dc.type | other | |
dc.identifier.aich | 55NIXQUD4BN2I2JFYJSFSSL3DWEFP5HP | |
dc.identifier.crc32 | 23061088 | |
dc.identifier.doi | ||
dc.identifier.edonkey | 737031BF791FDA0B0F6518FF388FD4B7 | |
dc.identifier.googlebookid | ||
dc.identifier.openlibraryid | ||
dc.identifier.udk | ||
dc.identifier.bbk | ||
dc.identifier.libgenid | 1411776 | |
dc.identifier.md5 | 58988afe64b6d4e512918c2c988bbc89 | |
dc.identifier.sha1 | 4CZILCIKXUYOJT5BA4F4Q2Y6KZCUASBZ | |
dc.identifier.tth | XCE7O4XCIF5E24A33EBGZLJ6CIGHPRCIXEUAGJY |
Ficheros en el ítem
Este ítem aparece en la(s) siguiente(s) colección(ones)
-
Libgen [81666]