Математическая логика: пер. с англ.

Математическая логика: пер. с англ.

Dettagli Bibliografici
Autore principale:	Клини С. К. Стивен Коул
Altri autori:	Минц Г. Е. (редактор), Гастев Ю. А. (переводчик)
Riassunto:	Имя одного из крупнейших специалистов в области математической логики С. К. Клини знакомо читателю по русскому переводу его фундаментального труда «Введение в метаматематику» (Изд. 2. М.: УРСС, 2005), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики, Настоящая книга представляет собой существенно усовершенствованный, расширенный и приближенный к нуждам университетского преподавания вариант «чисто логической» части этой всемирно известной монографии. Тщательно продуманные иллюстративные упражнения помогают читателю усвоить излагаемый материал. Книга может быть использована как учебное пособие по курсу математической логики в университетах и пединститутах; таким образом, она адресована прежде всего преподавателям, аспирантам и студентам; может привлечь также внимание всех занимающихся или интересующихся математической логикой.
Lingua:	russo
Pubblicazione:	Москва, Едиториал УРСС, 2005
Edizione:	Изд. 2-е, стер.
Soggetti:	математическая логика исчисление высказывания предикаты предикаты с равенством вычислимость разрешимость модели теория доказательства равенство счетные множества абстрактные множества парадоксы аксиоматическая математика интуитивная математика формальная арифметика машина Тьюринга тезис Черча теорема Черча теорема Геделя теорема Генцена парадокс Скулема теорема Эрбрана теорема Крейга теорема Бета теорема Робинсона
Natura:	MixedMaterials Libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=81254

Documenti analoghi

Вычислимость. Введение в теорию рекурсивных функций: пер. с англ.
di: Катленд Н. Найджел
Pubblicazione: (Москва, Мир, 1983)

Введение в метаматематику: пер. с англ.
di: Клини С. К. Стефен К.
Pubblicazione: (Москва, Изд-во иностранной литературы, 1957)

Определимость и вычислимость
di: Ершов Ю. Л. Юрий Леонидович
Pubblicazione: (Москва, Экономика, 2000)

Курс математической логики и теории вычислимости: учебное пособие для вузов
di: Герасимов А. С. Александр Сергеевич
Pubblicazione: (Санкт-Петербург, Лань, 2014)

Принцесса или тигр: пер. с англ.
di: Смаллиан Р. М. Рэймонд М.
Pubblicazione: (Москва, Мир, 1985)

Вычислимое и невычислимое
di: Манин Ю. И. Юрий Иванович
Pubblicazione: (Москва, Сов. радио, 1980)

Мера и категория: пер. с англ.
di: Окстоби Дж. Джон
Pubblicazione: (Москва, Мир, 1974)

Математика: учебное пособие
di: Березина Н. А.
Pubblicazione: (Москва, РИОР, 2007)

Математическая логика: пер. с англ.
di: Клини С. К. Стефан Коул
Pubblicazione: (Москва, Мир, 1973)

Математика и семантика. Номинализм как интерпретация математики
di: Рвачев Л. А. Леонид Алексеевич
Pubblicazione: (Киев, Наукова думка, 1966)

Вводный курс математической логики
di: Успенский В. А. Владимир Андреевич
Pubblicazione: (Москва, Физматлит, 2007)

Основы гладкого анализа в многомерных пространствах. Теория рядов; Курс математического анализа
Pubblicazione: (2000)

Ч. 3: Мощности и порядки; Введение в математику
Pubblicazione: (2003)

Комбинаторные свойства дискретных структур и приложения к криптологии
di: Таранников Ю. В. Юрий Валерьевич
Pubblicazione: (Москва, Изд-во МЦНМО, 2011)

Комбинаторные исчисления: учебное пособие
di: Шабунин Л. В. Леонид Васильевич
Pubblicazione: (Чебоксары, Изд-во ЧГУ, 1984)

Математическая логика. Курс лекций. Задачник-практикум и решения
di: Лихтарников Л. М.
Pubblicazione: (Санкт-Петербург, Лань, 2022)

Дифференцирование функций: Методическое пособие по технике дифференцирования
di: Терехина Л. И. Людмила Ивановна
Pubblicazione: (Томск, 1997)

Автоматизированные системы управления технологическими процессами
di: Усачев Ю. И.
Pubblicazione: (Москва, МГТУ им. Н.Э. Баумана, 2016)

Элементы выпуклого и сильно выпуклого анализа
di: Половинкин Е. С. Евгений Сергеевич
Pubblicazione: (Москва, Физматлит, 2004)

Последняя теорема Ферма для любителей: пер. с англ.
di: Рибенбойм П. Пуало
Pubblicazione: (Москва, Мир, 2003)

Основы высшей математики
di: Туганбаев А. А.
Pubblicazione: (Санкт-Петербург, Лань, 2022)

Лекции о Q-многообразиях: пер. с англ.
di: Чепмэн Т.
Pubblicazione: (Москва, Мир, 1981)

Основы математической логики учебное пособие
di: Репницкий В. Б.
Pubblicazione: (Екатеринбург, ЕАСИ, 2015)

Математическая логика и теория алгоритмов: учебное пособие
di: Игошин В. И. Владимир Иванович
Pubblicazione: (Москва, Академия, 2008)

Дифференцирование функций: Методическое пособие по технике дифференцирования
di: Терехина Л. И. Людмила Ивановна
Pubblicazione: (Томск, Изд-во ТПУ, 1996)

Теория размерности и смежные вопросы; статьи общего характера: избранные труды
di: Александров П. С. Павел Сергеевич
Pubblicazione: (Москва, Наука, 1978)

Теория функций действительного переменного. Часть 2 Учебное пособие
di: Авраменко В. С.
Pubblicazione: (Елец, ЕГУ им. И.А. Бунина, 2012)

Дискретная математика. Часть 1
di: Лежнина Ю. А.
Pubblicazione: (Москва, РТУ МИРЭА, 2023)

Т. 201: Исследования по линейным операторам и теории функций. 20; Записки научных семинаров ПОМИ
Pubblicazione: (1992)

Введение в КАМ-теорию: пер. с англ.
di: Яве Р. де ла Рафаэль
Pubblicazione: (Москва, Институт компьютерных исследований, 2003)

Математика XX века. Взгляд из Петербурга
Pubblicazione: (Москва, МЦНМО, 2010)

Об одной модели множества действительных чисел; Перспективы развития фундаментальных наук; Т. 2
di: Сухотин А. М. Александр Михайлович
Pubblicazione: (2009)

Введение в аналитическую теорию чисел: пер. с англ.
di: Чандрасекхаран К. Комараволу
Pubblicazione: (Москва, Мир, 1974)

Комбинаторика: пер. с англ.
di: Холл М. Маршалл
Pubblicazione: (Москва, Мир, 1970)

Устойчивые многочлены
di: Постников М. М. Михаил Михайлович
Pubblicazione: (Москва, Наука, 1981)

Заметки о динамических системах: пер. с англ.
di: Мозер Ю. Юрген
Pubblicazione: (Москва, Регулярная и хаотическая динамика, 2011)

Лекции по теории интегральных уравнений
di: Петровский И. Г. Иван Георгиевич
Pubblicazione: (Москва, Физматлит, 2009)

Последняя теорема Ферма. Генетическое введение в алгебраическую теорию чисел: пер. с англ.
di: Эдвардс Г.
Pubblicazione: (Москва, Мир, 1980)

Наглядная топология
di: Болтянский В. Г. Владимир Григорьевич
Pubblicazione: (Москва, Наука, 1982)

Мера и интеграл
di: Толстов Г. П. Георгий Павлович
Pubblicazione: (Москва, Наука, 1976)