Математическая логика : пер. с англ. / С. К. Клини ; под ред. Г. Е. Минца; пер. Ю. А. Гастев
Language: русский ; of original work, английский.Country: Россия.Edition Statement: Изд. 2-е, стер.Publication: Москва : Едиториал УРСС, 2005Description: 480 с. ; 22 см.ISBN: 535401011X.Abstract: Имя одного из крупнейших специалистов в области математической логики С. К. Клини знакомо читателю по русскому переводу его фундаментального труда «Введение в метаматематику» (Изд. 2. М.: УРСС, 2005), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики, Настоящая книга представляет собой существенно усовершенствованный, расширенный и приближенный к нуждам университетского преподавания вариант «чисто логической» части этой всемирно известной монографии. Тщательно продуманные иллюстративные упражнения помогают читателю усвоить излагаемый материал. Книга может быть использована как учебное пособие по курсу математической логики в университетах и пединститутах; таким образом, она адресована прежде всего преподавателям, аспирантам и студентам; может привлечь также внимание всех занимающихся или интересующихся математической логикой..Bibliography: Авторский и предметный указатель: с. 470-478; Библиогр.: с. 451-465.Subject: математическая логика | исчисление | высказывания | предикаты | предикаты с равенством | вычислимость | разрешимость | модели | теория | доказательства | равенство | счетные множества | абстрактные множества | парадоксы | аксиоматическая математика | интуитивная математика | формальная арифметика | машина Тьюринга | тезис Черча | теорема Черча | теорема Геделя | теорема Генцена | парадокс Скулема | теорема Эрбрана | теорема Крейга | теорема Бета | теорема Робинсона| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Books | НТБ ТПУ Читальный зал технической литературы (309 НТБ) | 510 К493 | Available | 13821000269727 |
Авторский и предметный указатель: с. 470-478
Библиогр.: с. 451-465
Имя одного из крупнейших специалистов в области математической логики С. К. Клини знакомо читателю по русскому переводу его фундаментального труда «Введение в метаматематику» (Изд. 2. М.: УРСС, 2005), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики, Настоящая книга представляет собой существенно усовершенствованный, расширенный и приближенный к нуждам университетского преподавания вариант «чисто логической» части этой всемирно известной монографии. Тщательно продуманные иллюстративные упражнения помогают читателю усвоить излагаемый материал. Книга может быть использована как учебное пособие по курсу математической логики в университетах и пединститутах; таким образом, она адресована прежде всего преподавателям, аспирантам и студентам; может привлечь также внимание всех занимающихся или интересующихся математической логикой.
There are no comments on this title.