Герасимов А.С. Курс математической логики и теории вычислимости. Учебн.пос., 4-е изд., перераб. и до

1 290 руб.

В наличии на складе
В корзину
1 290 руб.
* - Обязательно для заполнения
Ф.И.О. *
E-Mail *
Телефон *
Комментарий к заказу
Купить в 1 клик
Самовывоз из офиса в СПб:
09.12
Доставим: 11.12
*Указанные даты доставки приведены для Санкт-Петербурга.
О сроках доставки в другие города уточняйте по телефону.
Артикул:59783
Год издания: 2014
Страниц: 416
Переплет: пер.
Возраст: 6+
ISBN: 978-5-81141-666-0

Анонс:

Герасимов А.С. Курс математической логики и теории вычислимости. Учебн.пос., 4-е изд., перераб. и до

Описание:

Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и языклогики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства. Рассмотрены основные формальные аксиоматические теории элементарная арифметика и теория множеств Цермело-Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма (машины Тьюринга, нормальные алгоритмы Маркова, лямбда-исчисление, частично рекурсивные функции) и доказана неразрешимость ряда проблем, среди которых проблема остановки машин Тьюринга, проблема равенства для полугрупп, проблемы общезначимости и выводимости для исчисления предикатов. Рассмотрены теоремы Гёделя о неполноте. Изложено исчисление Хоара для формального доказательства корректности программ некоторого императивного языка программирования. В книге имеется более 200 упражнений.Это учебное пособие адресовано в первую очередь студентам, специализирующимся по информатике, но будет полезно студентам разных математических специальностей (направлений подготовки), а также всем желающим начать систематическое изучение математической логики.

Отзывы покупателей:

Отправить отзыв

Ваше имя:
*

Ваше e-mail:
*

Текст отзыва:
*
что то нето"*"не то 2