Издательство: (812) 336-25-09
Интернет-магазин: (812) 412-54-93 доб. 119
0
0
0 0 ₽
0 товаров
Поиск по автору

Герасимов А.С. - все книги автора. Издательство Лань

Сохранить список:
Excel Excel
Закрыть

Выгрузка списка книг доступна только авторизованным пользователям. Авторизоваться

PDF PDF
Закрыть

Выгрузка списка книг доступна только авторизованным пользователям. Авторизоваться

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