Курс математической логики и теории вычислимости Учебное пособие Лань 978-5-8114-1666-0, Герасимов Александр Сергеевич
Цена: 1966 1278 руб.
Категория: Образование, учебная литература, ВУЗовская литература, Математика. Алгебра, Учебники: доп. пособия
| Цены на книгу в магазинах: | ||
 | My-shop.ru | - 1278 руб. 0% |
| Лабиринт | - 1474 руб. 0% |
| books.ru | - 1882 руб. 0% |
Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства. Рассмотрены основные формальные аксиоматические теории: элементарная арифметика и теория множеств Цермело-Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма (машины Тьюринга, нормальные алгоритмы Маркова, лямбда-исчисление, частично рекурсивные функции) и доказана неразрешимость ряда проблем, среди которых проблема остановки машин Тьюринга, проблема равенства для полугрупп, проблемы общезначимости и выводимости для исчисления предикатов. Рассмотрены теоремы Гёделя о неполноте. Изложено исчисление Хоара для формального доказательства корректности программ некого императивного языка программирования. В книге имеется более 200 упражнений. Учебное пособие адресовано в первую очередь студентам, обучающимся по направлениям подготовки укрупнённых групп «Компьютерные и информационные науки», «Информатика и вычислительная техника», но будет полезно и студентам группы направлений «Математика и механика», а также всем желающим начать систематическое изучение математической логики.
Издательство: Лань
ISBN: 978-5-8114-1666-0
Штрих-код: 9785811416660
Страна происхождения: Россия
Цвет: Белый
Объем: 416
Ширина: 134 мм
Длина: 207 мм
Высота: 23 мм
Серия: Математика
Автор: Герасимов Александр Сергеевич
Формат: 84x108/32
Год: 2014
Вес: 430 г
Группа: Книги
Обложка: твердый переплёт
vat: VAT_10
подробнее...
ISBN: 978-5-8114-1666-0
Штрих-код: 9785811416660
Страна происхождения: Россия
Цвет: Белый
Объем: 416
Ширина: 134 мм
Длина: 207 мм
Высота: 23 мм
Серия: Математика
Автор: Герасимов Александр Сергеевич
Формат: 84x108/32
Год: 2014
Вес: 430 г
Группа: Книги
Обложка: твердый переплёт
vat: VAT_10
подробнее...
Комментарии, отзывы о "Курс математической логики и теории вычислимости. Учебное пособие":
Добавить первый отзыв ...
Посетители интересовались:
