Зарегистрироваться

Теория рекурсивных функций и эффективная вычислимость

Душский В.А., Ногина Е.Ю., Успенский В.А., Канович М.И., Роджерс Х.

Научная монография (1972)

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

Смотри категорию знания: математическая логика

Уровень подготовки аудитории: студенты вузов, профессиональный

Другие произведения в категории:

Название Год Текст Тип Действия
1. Раскрыть Алгоритмы и рекурсивные функции
Мальцев А. И.
1965 научная монография
Посвящается одному из актуальных и бурно развивающихся разделов математической логики – теории алгоритмов, а также важнейшим ее связям с другими разделами математики. Является одним из лучших пособий для знакомства с основными направлениями, идеями и методами теории алгоритмов.
Смотри категорию знания: математическая логика
Раздел каталога: математика
Уровень подготовки аудитории: студенты вузов, профессиональный
2. Раскрыть Введение в математическую логику
Мендельсон Э.
1984 учебник
В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств.
Смотри категорию знания: математическая логика
Раздел каталога: математика
Уровень подготовки аудитории: студенты вузов
3. Раскрыть Введение в математическую логику, том 1
1956 учебное пособие, научная монография
Эта монография принадлежит перу одного из самых известных современных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника. Предполагая у читателя только общую математическую культуру, книга с первых же страниц вводит его в глубокую проблематику, связанную с основными понятиями...
Смотри категорию знания: математическая логика
Уровень подготовки аудитории: студенты вузов, профессиональный
4. Раскрыть Вводный курс математической логики
Успенский В. А., Верещагин Н. К., Плиско В. Е.
1991 учебное пособие
В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых...
Смотри категорию знания: математическая логика
Уровень подготовки аудитории: студенты вузов
5. Раскрыть Вычислимость и логика
Булос Дж., Джеффри Р.
1994
В книге известных американских математиков излагаются разделы теории вычислимости. Связанные с логической проблематикой. Излагаются основные методы теории вычислимости, приводятся доказательства теорем о неразрешимости логики предикатов пеервого порядка, тьюрингова вычислимость, теоремы Геделя о неполноте, нестандартные модели и многое другое.
Смотри категории знания: математическая логика, логика
6. Раскрыть Вычислительные машины и труднорешаемые задачи
Гэри М., Джонсон Д.
1982 научная монография
Монография американских ученых, посвященная вопросам сложности решения комбинаторных задач, возникающих в дискретной оптимизации, математическом программировании, алгебре, теории чисел, теории автоматов, математической логике, теории множеств, теории графов и т.п. Книга отличается строгим и систематическим изложением теории в приложении содержится более 300 труднорешаемых...
Смотри категорию знания: математическая логика
Уровень подготовки аудитории: студенты вузов, профессиональный
7. Раскрыть Математическая логика
Ершов Ю. Л., Палютин Е. А.
1987 учебное пособие
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может...
Смотри категорию знания: математическая логика
Уровень подготовки аудитории: студенты вузов, профессиональный
8. Раскрыть Проблемы математической логики
1970 сборник научных статей
Сборник содержит работы, посвященные оценкам сложности алгоритмов и вычислений, классификациям рекурсивных функций и различным типам вычислительных устройств, связанных с такими классификациями. Рассматриваются «ограниченные» машины Тьюринга, обощения конечных автоматов.
Смотри категории знания: математическая логика, логика
9. Раскрыть Формирование математической логики
Стяжкин Н. И.
1967 научная монография
В книге описываются узловые моменты становления наиболее заметных концепций в истории логики с древнейших времен до начала XX столетия. Особое внимание уделяется зарождению и развитию алгебраических методов в логике.
Смотри категории знания: математическая логика, логика