Автор: Соар Р.И.
Название: Вычислимо перечислимые множества и степени. Изучение вычислимых функций и вычислимо перечислимых множеств. Recursively Enumerable Sets and Degrees. A Study of Computable Functions and Computable Generated Sets
Издательство: Казань: Казанское математическое общество
Год: 2000
ISBN: 5-900975-22-3
Язык: Русский
Формат: djvu
Размер: 24,3 Мб
Качество: хорошее, текстовый слой, оглавление.
Кол-во страниц: 576

Описание: Теория вычислимости, также известная как теория рекурсивных функций, — это раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики, возникшей в результате изучения понятий вычислимости и невычислимости.

Автор: Подниекс К.М.
Название: Вокруг теоремы Геделя. Around Goedel's Theorem
Издательство: Рига: Зинатне
Год: 1992
ISBN: 5-7966-0928-9
Язык: Русский
Формат: djvu
Размер: 17,00 Мб
Качество: хорошее, текстовый слой, оглавление.
Кол-во страниц: 178

Описание: Платонистское отношение к объектам своего исследования неизбежно для математика: в своей повседневной работе он оперирует числами, функциями, точками, прямыми и т.д. как объектами, составляющими некоторое подобие мира, как "последней реальностью", за которой нет никакой другой, "более подлинной" реальности.

Автор: Михайлов А.Б., Швецкий М.В., Рыжова Н.И.
Название: Лекции по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета (бакалавриат) . Упражнения по основам математической логики
Издательство: СПб.: РГПУ
Год: 1998
Язык: Русский
Формат: djvu
Размер: 35,8 Мб
Качество: хорошее, текстовый слой, оглавление.
Кол-во страниц: 300

Описание: Являясь математической дисциплиной, математическая логика исследует математические теории средствами самой математики. Наиболее завершенной формой математической теории служит аксиоматическая теория.

Автор: Беркли Э.
Название: Символическая логика и разумные машины. Symbolic Logic and Intelligent Machines
Издательство: М.: Издательство иностранной литературы
Язык: русский
Год: 1961
Формат: djvu
Размер: 10,31 Мб
Кол-во страниц: 260

Описание: Одним из важнейших теоретических инструментов развития современных «частичных мозговых машин» и сложных умственных и рабочих автоматов вообще является математическая, или (как ее еще нередко называют) символическая, логика.

Автор: Дж. Барвайс (редактор)
Название: Справочная книга по математической логике: В 4-х частях. Ч. I. Теория моделей. Ч. II. Теория множеств. Ч. III. Теория рекурсии. Ч. IV. Теория доказательств и конструктивная математика.
Издательство: М.: Наука. Главная редакции физико-математической литературы
Язык: русский
Год: 1982, 1983
Формат: djvu
Размер: 45,37 Мб
Кол-во страниц: 1516

Описание: Четыре части содержит этот справочник : «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». Каждая из четырех частей начинается с короткого предисловия к следующим за ним главам.

Автор: Лакатос Имре
Название: Доказательства и опровержения. Как доказываются теоремы
Издательство: М.: Наука
Язык: русский
Год: 1967
Формат: djvu
Размер: 5,46 Мб
Кол-во страниц: 152

Описание: Диалогическая форма должна отразить диалектику рассказа; она должна содержать своего рода рационально реконструированную или «дистиллированную» историю.

Автор: Ходжес Э.
Название: Вселенная Алана Тьюринга
Издательство: АСТ
Язык: Русский
Год: 2015
Формат: rtf, fb2 / rar
Размер: 10,32 Mb
Кол-во страниц: 330, 9 ил.

Описание: За свою короткую жизнь английский математик, логик, криптограф Алан Тьюринг (1912–1954) успел прославиться тем, что был везде первым. Он первым начал разрабатывать основы информатики, современного программирования. Первым стал создавать искусственный интеллект. Первым использовал термин «компьютер» в современном понимании. Стал первым в мире хакером, взломщиком кодов. Благодаря его таланту британские войска одержали победу над германским флотом во время Второй мировой войны: Тьюринг вскрыл секретные коды самого неприступного шифровального устройства нацистов «Энигма».

Автор: Чёрч А.
Название: Введение в математическую логику. Том 1
Издательство: М.: Издательство иностранной литературы
Язык: русский
Год: 1960
Формат: djvu
Размер: 13,32 Мб
Качество: хорошее, текстовый слой, оглавление.
Кол-во страниц: 484

Описание: Изложение автора книги отличается необычайной полнотой — как в смысле полноты рассмотрения каждого вопроса, так и в смысле полноты круга рассматриваемых вопросов.

Название : Математическая логика
Автор: Глухов М.М.
Издательство: Наука
Язык: русский
Год: 1981
Формат: djvu
Размер: 9.5 Мб
Страниц: 117

Описание:Данное учебное пособие состоит из введения и семи глав. Во введении приводятся краткие исторические сведения о развитии математической логики, о причинах, стимулирующих ее развитие, и о вкладе советских ученых в разработку проблем математической логики и ее приложений.

Название : Конструктивная математическая логика с точки зрения классической
Автор: Новиков П.С.
Издательство: Наука
Язык: русский
Год: 1977
Формат: djvu
Размер: 3,8 Мб
Страниц: 328

Описание:В книге проводится четкое различие между классическими и конструктивными логическими операциями. С этой целью для одноименных операций используются различные обозначения в классическом и конструктивном случаях. Книга доступна широкому кругу читателей. Для ее чтения не требуется специальной подготовки. В то же время, насыщенность разнообразными техническими деталями делает ее полезной для лиц, занимающихся исследованием математических аспектов конструктивной логики.