Курс математической логики и теории вычислимости. Учебное пособие

Герасимов Александр Сергеевич

Код товара: 1840796
(0 оценок)Оценить
ОтзывНаписать отзыв
ВопросЗадать вопрос
1 / 2
1 278
1 966
Доставим в
г. Москва
Планируемая дата
23 мая (Чт)
Курьером
Л-Пост
бесплатно от 10 000 ₽
В пункт выдачи
от 155 ₽
бесплатно от 10 000 ₽
Точная стоимость доставки рассчитывается при оформлении заказа
Издательство:
Год издания:
2014 г.
Наш комментарий:
Издание 4-е, переработанное и дополненное.

Описание

Характеристики

Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства.
Рассмотрены основные формальные аксиоматические теории: элементарная арифметика и теория множеств Цермело-Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма (машины Тьюринга, нормальные алгоритмы Маркова, лямбда-исчисление, частично рекурсивные функции) и доказана неразрешимость ряда проблем, среди которых проблема остановки машин Тьюринга, проблема равенства для полугрупп, проблемы общезначимости и выводимости для исчисления предикатов. Рассмотрены теоремы Гёделя о неполноте. Изложено исчисление Хоара для формального доказательства корректности программ некого императивного языка программирования. В книге имеется более 200 упражнений.
Учебное пособие адресовано в первую очередь студентам, обучающимся по направлениям подготовки укрупнённых групп «Компьютерные и информационные науки», «Информатика и вычислительная техника», но будет полезно и студентам группы направлений «Математика и механика», а также всем желающим начать систематическое изучение математической логики.
издание
4
количество томов
1
количество страниц
416 стр.
переплет
Твёрдый переплёт
размеры
207x134x23 мм
страна изготовления
Россия
цвет
Белый
тип бумаги
офсетная (60-220 г/м2)
наличие иллюстраций
рисунки
тип иллюстраций
черно-белые
формат
84x108/32 (130x200 мм)
ISBN
978-5-8114-1666-0
тираж
1000 экз.
стандарт
возрастная категория
18+ (нет данных)
вес
область образования
математика, алгебра
код в Майшоп
1840796
язык
русский

Содержание

Предисловие
Начальные соглашения об обозначениях
Глава 1. Исчисления высказываний
Глава 2. Исчисления предикатов
Глава 3. Формальные аксиоматические теории
Глава 4. Метод резолюций для логики предикатов
Глава 5. Теория вычислимости
Глава 6. Исчисление Хоара для доказательства
корректности программ
Приложение А. Свойства секвенциального
исчисления предикатов и формальные
аксиоматические теории на его основе
Приложение Б. Указания к некоторым упражнениям
Литература
Предметный указатель

Отзывы

Вопросы

Поделитесь своим мнением об этом товаре с другими покупателями — будьте первыми!

Дарим бонусы за отзывы!

За какие отзывы можно получить бонусы?
  • За уникальные, информативные отзывы, прошедшие модерацию
Как получить больше бонусов за отзыв?
  • Публикуйте фото или видео к отзыву
  • Пишите отзывы на товары с меткой "Бонусы за отзыв"
Правила начисления бонусов
Задайте вопрос, чтобы узнать больше о товаре
Если вы обнаружили ошибку в описании товара «Курс математической логики и теории вычислимости. Учебное пособие» (авторы: Герасимов Александр Сергеевич), то выделите её мышкой и нажмите Ctrl+Enter. Спасибо, что помогаете нам стать лучше!
Ваш населённый пункт:
г. Москва
Выбор населённого пункта