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

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

Podrobná bibliografie
Hlavní autor:	Клини С. К. Стивен Коул
Další autoři:	Минц Г. Е. (редактор), Гастев Ю. А. (переводчик)
Shrnutí:	Имя одного из крупнейших специалистов в области математической логики С. К. Клини знакомо читателю по русскому переводу его фундаментального труда «Введение в метаматематику» (Изд. 2. М.: УРСС, 2005), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики, Настоящая книга представляет собой существенно усовершенствованный, расширенный и приближенный к нуждам университетского преподавания вариант «чисто логической» части этой всемирно известной монографии. Тщательно продуманные иллюстративные упражнения помогают читателю усвоить излагаемый материал. Книга может быть использована как учебное пособие по курсу математической логики в университетах и пединститутах; таким образом, она адресована прежде всего преподавателям, аспирантам и студентам; может привлечь также внимание всех занимающихся или интересующихся математической логикой.
Jazyk:	ruština
Vydáno:	Москва, Едиториал УРСС, 2005
Vydání:	Изд. 2-е, стер.
Témata:	математическая логика исчисление высказывания предикаты предикаты с равенством вычислимость разрешимость модели теория доказательства равенство счетные множества абстрактные множества парадоксы аксиоматическая математика интуитивная математика формальная арифметика машина Тьюринга тезис Черча теорема Черча теорема Геделя теорема Генцена парадокс Скулема теорема Эрбрана теорема Крейга теорема Бета теорема Робинсона
Médium:	Kniha
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=81254

Podobné jednotky

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Ч. 1. Электростатика и электрический ток; Основания учения об электрических и магнитных явлениях
Vydáno: (1897)

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

Приближения алгебраических чисел
Autor: Фельдман Н. И. Наум Ильич
Vydáno: (Москва, Изд-во МГУ, 1981)