Электронная библиотека

ЭЛЕКТРОННАЯ БИБЛИОТЕКА






Добро пожаловать на сайт электронной библиотеки!
Здесь можно найти произведения русских и зарубежных авторов.
Скачать множество книг и журналов различных жанров и направлений.
Большой выбор художественной, бизнес, учебной и технической литературы.
Все представленные здесь книги и журналы имеют подробное описание и обложку.
Наша библиотека регулярно пополняется только новыми и интересными материалами!

«Подробнее о сайте»            «Правила сайта»            «Написать нам»            «Статьи»

Машины Тьюринга и рекурсивные функции

Наука и познание >> Математика





Разместил: ra0lhs

20-08-2013, 04:05

Просмотров: 417





Машины Тьюринга и рекурсивные функции


Этот коллективный труд немецких математиков содержит элементарное изложение теории машин Тьюринга и рекурсивных функций - важного раздела современной математической логики, нашедшего широкое применение в кибернетике. Помимо основ этой теории, книга содержит ряд существенных результатов, включая достижения последнего времени (в частности, результаты Колмогорова о связи машин Тьюринга с основаниями теории вероятностей). Изложение ведется строго, но доступно, содержит много примеров и пояснений. Книгу с интересом прочтут читатели разных категорий, начиная от учащихся старших классов школ с математической специализацией и кончая научными работниками и преподавателями высшей школы.

Название: Машины Тьюринга и рекурсивные функции
Авторы: Эббинхауз Г.-Д., Якобс К., Ман Ф.-К., Хермес Г.
Серия: Современная математика
Издательство: Мир
Год издания: 1972
Формат: djvu
Размер: 3.49 Mб
Страниц: 264










Похожие публикации

Теория алгоритмов Теория алгоритмов
Теория алгоритмов - В учебном пособии изложены основы качественной и количественной теории алгоритмов; рассмотрены основные модели вычислений (машины Тьюринга, машины с неограниченными регистрами, рекурсивные функции) и связанные с ними подходы к

Верещагин Н. К., Шень А. - Современные лекционные курсы по математической логике и теории алгоритмов в 3-х книгах (4-е изд.) Верещагин Н. К., Шень А. - Современные лекционные курсы по математической логике и теории алгоритмов в 3-х книгах (4-е изд.)
Часть 1. Начала теории множеств Часть 2. Языки и исчисления Часть 3. Вычислимые функции

Программирование: Алгоритмы и теории Программирование: Алгоритмы и теории
Собранные за несколько лет, лекции, обзоры и статьи, описывающие разнообразные алгоритмы поиска, сортировок, обработки деревьев, поиска пути, создание AI, дифуры, Машины Тьюринга, квантовые вычисления, психоанатомию времени, принципы создания

Письменный Д. Т. - Конспект лекций по теории вероятностей, математической статистике и случайным процессам. 3-е издание Письменный Д. Т. - Конспект лекций по теории вероятностей, математической статистике и случайным процессам. 3-е издание
Настоящая книга представляет собой курс лекций по теории вероятностей, случайным процессам и математической статистике. Первая часть книги содержит основные понятия и теоремы теории вероятностей, такие как случайные события, вероятность, случайные

Лекции по математике. Том 6 - От Диофанта до Тьюринга Лекции по математике. Том 6 - От Диофанта до Тьюринга
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта — вот рассматриваемый круг

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

Принципы современной математической физики. Том 2 Принципы современной математической физики. Том 2
Продолжение известной книги американского ученого с тем же названием (М.: Мир, 1982) содержит дальнейшее изложение математического аппарата современной теоретической физики (группы, представления групп, многообразия, риманова геометрия) и описание

Математическая логика Математическая логика
В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина "Введение в математическую логику" и "Математическая логика. Дополнительные главы», ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и

Роберт Столл - Множества. Логика. Аксиоматические теории Роберт Столл - Множества. Логика. Аксиоматические теории
Описание: В книге дается элементарное изложение важнейших понятий, идей, методов и результатов теории множеств (включая алгебру операций надмножествами).

Босс В. - Лекции по математике. Том 6. От Диофанта до Тьюринга Босс В. - Лекции по математике. Том 6. От Диофанта до Тьюринга
Описание: Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта — вот рассматриваемый




Отзывы и Комментарии





Добавление комментария

Ваше Имя:
Ваш E-Mail:(необязательно)
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent

Книги




Союз образовательных сайтов