Ершов Ю.Л. Теория нумераций

формат djvu
размер 3.39 МБ
добавлен 08 июля 2011 г.

М.: Наука, 1977. - 416 с.

Предисловие:

Книга представляет собой введение в проблематику и методы теории нумераций — развивающегося раздела теории алгоритмов. Насколько известно автору, впервые идею о систематическом изучении нумерованных множеств высказал А. Н. Колмогоров в середине пятидесятых годов. Реализацией этой идеи для вычислимых нумераций в то время занялся В. А. Успенский. Параллельно ряд зарубежных математиков (Райе, Деккер, Майхилл, Фридберг, Лахлан, Ла-комб, Пур-Эль и др.) также занимались изучением различных вопросов, связанных с вычислимыми нумерациями.

Независимо были осуществлены попытки изучения нумерованных алгебр (Фрелих — Шепердсон, Рабин), которые также обнаружили интересные специфические «нумерационные» особенности.

Похожие разделы

Смотрите также

Барвайс. Дж. Справочная книга по математической логике

формат djvu
размер 17.63 МБ
добавлен 30 июля 2009 г.

В четырех частях. Ч. 1. Теория моделей [DjVu], Ч. 2. Теория множеств [DjVu], Ч. 3. Теория рекурсии[ DjVu] . Ч. 4. Теория доказательств и конструктивная математика [DjVu]. Издательство "Наука" - 1982. Каждый из томов снабжен статьями русских ученых, осуществлявших перевод.

Джонстон П. Теория топосов

формат djvu
размер 6 МБ
добавлен 20 февраля 2011 г.

М.: Наука, 1986. — 440 с. В книге излагается теория топосов, приобретающая в последнее время важное значение не только в логике, но и в геометрии и топологии. Существенно дополняет вышедшую в 1983 г. в издательстве «Мир» книгу Р. Голдблатта «Топосы. Категорный анализ логики». Для математиков разных специальностей, аспирантов и студентов университетов. Оглавление: Предварительные сведения. Элементарные топосы. Внутренняя теория категорий. Топол...

Ершов Ю.Л. Определимость и вычислимость

формат djvu
размер 2.22 МБ
добавлен 24 сентября 2010 г.

Новосибирск: Научная книга, 1996. 300 с. Книга открывает учрежденную в 1995 г. Сибирским фондом алгебры и логики математическую книжную серию «Сибирская школа алгебры и логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Новое доказательство теоремы Гёделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Нов...

Ершов Ю.Л. Проблемы разрешимости и конструктивные модели

формат djvu
размер 5.19 МБ
добавлен 08 июля 2011 г.

М.: Наука, 1980. - 416 с. Серия "Математическая логика и основания математики" Современное развитие математики и электронно-вычислительной техники приводит к тому, что понятие алгоритма становится одним из важнейших понятий современной математики. Теория алгоритмов, наряду со своим внешним успехом и яркими внутренними достижениями, оказывает плодотворное влияние и на смежные разделы математики. Так, например, в алгебре и теории чисел кроме тради...

Ершов Ю.Л., Палютин Е.А. Математическая логика

формат pdf
размер 11.76 МБ
добавлен 25 ноября 2011 г.

М.: Наука, 1987. - 336 с. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.

Ершов Ю.Л., Палютин Е.А. Математическая логика: Учеб. пособие для вузов

формат djvu
размер 5.22 МБ
добавлен 28 декабря 2008 г.

В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.

Кочергин В.И. Теория многомерных цифровых множеств в приложениях к электроприводам и системам электропитания

формат pdf
размер 6.52 МБ
добавлен 18 октября 2011 г.

Томск: Изд-во Том. ун-та, 2002. – 444 с. ISBN 5-7511-1583-Х Рассматривается широкий круг вопросов, связанных с синтезом цифровых устройств и систем электропитания, который выполняется на основе разработанного автором метода многомерных цифровых множеств – аналога аналитической теории нумераций. Основанием этого метода является идея упаковки пространства, которая была предложена в «новой геометрии» основоположником современной структурной крист...

Математическая логика и основания математики (23 выпуска)

формат djvu
размер 105.57 МБ
добавлен 05 ноября 2010 г.

М., Физматгиз, Наука, 1959-1984. В 1959 году Физматгиз (впоследствии - издательство Наука) приступил к реализации беспрецедентного проекта по изданию серии Математическая логика и основания математики. Большинство литературных источников по математической логике на русском языке увидело свет в рамках этого проекта и к настоящему времени превратилось в недоступные широкому кругу читателей раритеты. Список книг, представленных в серии: Гильберт Д.,...

Математическая логика и теория алгоритмов

формат djvu
размер 3.45 МБ
добавлен 10 ноября 2010 г.

Отв. редактор С. Л. Соболев М.: Наука, 1982. - 177 с. В сборник входят работы, представляющие важные результаты исследований по проблемам теории нумераций, теории моделей, теории доказательств, а также по приложениям математической логики в теоретическом программировании. Книга будет полезна научным работникам, аспирантам и студентам, специализирующимся в указанных областях математики.

Мендельсон Э. Введение в математическую логику

формат djvu
размер 2.63 МБ
добавлен 09 апреля 2009 г.

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