Показать сокращенную информацию

dc.contributor.authorШенфилд Д.
dc.date.accessioned2016-02-22T12:02:58Z
dc.date.available2016-02-22T12:02:58Z
dc.date.issued1975
dc.identifier.isbn
dc.identifier.issn
dc.identifier.urihttp://ir.nmu.org.ua/handle/GenofondUA/54526
dc.description.abstractКнига известного американского логика Дж.Шенфилда посвящена основам современной математической логиги и теории алгоритмов. В книге систематически изучаются такие важные разделы, как теории первого порядка, теория моделей, вычислимость, иерархии, формальная арифметика, аксиоматическая теория множеств. Имеются два приложения: одно алгебраическое - проблема тождества слов в группах, другое - изложение результатов, связанных с исследованиями континуум-гипотезы в аксиоматической теории множеств. Является одним из основных источников для изучения оснований математики. Из предисловия: Предлагаемая вниманию читателей книга сочетает в себе (относительную) простоту изложения с почти энциклопедической полнотой содержания. Ее выход в русском переводе будет полезен широкому кругу читателей. Полнота изложения книги весьма впечатляюща. При сравнительно небольшом объеме она содержит практически все теоремы, заслужившие всеобщее признание специалистов, в области математической логики, теории моделей и теории алгоритмов. Краткость книги достигнута многими авторскими находками в способе подачи материала. Многие важные результаты излагаются в упражнениях, которые составляют необходимую органическую часть книги.
dc.language.isoRussian
dc.publisherНаука
dc.subjectМатематика\\Математическая логика
dc.subjectMathematics\\Logic
dc.subject.ddc
dc.subject.lcc
dc.titleМатематическая логика
dc.typeother
dc.identifier.aichWFPC3T6QISO24KHJER3QWMMSD7U5MMTJ
dc.identifier.crc32BA3DA7BB
dc.identifier.doi
dc.identifier.edonkeyE889871E39658601C213153F476A6441
dc.identifier.googlebookid
dc.identifier.openlibraryid
dc.identifier.udk
dc.identifier.bbk
dc.identifier.libgenid1252002
dc.identifier.md57c43aae22996acb0c383ccad040ef741
dc.identifier.sha15UBMYY3GHHWXUVZYBG6IX2PWHUOLL4PU
dc.identifier.tthDLLYP7LZK5Y7KS42XJMJTQ44AK3NU4QOYEPCOOQ


Файлы в этом документе

Thumbnail

Данный элемент включен в следующие коллекции

Показать сокращенную информацию