Сравнить цены на книгу: Курс математической логики и теории вычислимости. Учебное пособие; Лань, 2014
от 1007 р. до 2106 р.
- Издатель: Лань
- ISBN: 978-5-8114-1666-0
- Книги: Прикладная математика. Вычислительная математика
- ID:1734308
Где купить (4)
Цена от 1007 р. до 2106 р. в 4 магазинах
Магазин | Цена | Наличие |
---|---|---|
Предложения банков
Компания | Предложение |
---|---|
Описание
Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства. Рассмотрены основные формальные аксиоматические теории: элементарная арифметика и теория множеств Цермело-Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма (машины Тьюринга, нормальные алгоритмы Маркова, лямбда-исчисление, частично рекурсивные функции) и доказана неразрешимость ряда проблем, среди которых проблема остановки машин Тьюринга, проблема равенства для полугрупп, проблемы общезначимости и выводимости для исчисления предикатов. Рассмотрены теоремы Гёделя о неполноте. Изложено исчисление Хоара для формального доказательства корректности программ некоторого императивного языка программирования. В книге имеется более 200 упражнений.
Учебное пособие адресовано в первую очередь студентам, обучающимся по направлениям подготовки укрупнённых групп "Компьютерные и информационные науки", "Информатика и вычислительная техника", но будет полезно и студентам группы направлений "Математика и механика", а также всем желающим начать систематическое изучение математической логики.
4-е издание, переработанное и дополненное.
Смотри также о книге.
О книге
Параметр | Значение |
---|---|
Автор(ы) | Герасимов Александр Сергеевич |
Издатель | Лань |
Год издания | 2014 |
Серия | Математика |
ISBN | 978-5-8114-1666-0 |
Размеры | 84x108/32 |
Обложка | твердый переплёт |
Язык издания | rus |
Кол-во страниц | 416 |
Издательство | Издательство "Лань" |
Количество страниц | 416 |
Тип обложки | твердая |
Формат | 84*108/32 |
Отзывы (0)
Добавить отзыв
Книги: Прикладная математика. Вычислительная математика - издательство "Лань"
Категория 805 р. - 1208 р.
Книги: Прикладная математика. Вычислительная математика
Категория 805 р. - 1208 р.