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