Понедельник, 17 марта 2025 — 00:15
USD: 85.57 р. EUR: 93.61 р.
15.03.2025
СкидкаГИД

Курс математической логики и теории вычислимости. Учебное пособие (Герасимов Александр Сергеевич); Лань, 2014

Книга: Курс математической логики и теории вычислимости. Учебное пособие (Герасимов Александр Сергеевич); Лань, 2014

1007 

  • Издатель: Лань

  • ISBN: 978-5-8114-1666-0

  • EAN: 9785811416660

  • Книги: Прикладная математика. Вычислительная математика

  • ID: 1734308

  • Добавлено: 12.12.2017


Описание


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

Курс математической логики и теории вычислимости. Учебное пособие (Герасимов Александр Сергеевич) - фото №1

Курс математической логики и теории вычислимости. Учебное пособие (Герасимов Александр Сергеевич) - фото №2

Курс математической логики и теории вычислимости. Учебное пособие (Герасимов Александр Сергеевич) - фото №3

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

Смотри также о книге.

СкидкаГИД инфо +

Сервис сравнения цен СкидкаГИД предлагает сравнить цены на товар «Книга: Курс математической логики и теории вычислимости. Учебное пособие (Герасимов Александр Сергеевич); Лань, 2014»

По данным нашего сервиса товар предлагался к продаже в 4 магазинах. На сегодняшний день доступен в 1 магазине: Яндекс.Маркет. По цене от 1007 р. до 1007 р. В случае, если для вас на данный момент цена слишком высока, вы можете воспользоваться сервисом «Сообщить о снижении цены» - мы оповестим вас как только цена опустится до желаемого значения. Но будьте внимательны, используя сервис «История цены» можно спрогнозировать в какую сторону изменяется цена, возможно сейчас самое время для покупки.

Кроме сервиса сравнеция цен, наш сайт также позволяет экономить еще двумя способами: промокодный сервис (информация о промокодах, а также скидки и акции на товары), а также собственный кэшбэк сервис. Купить с кешбеком можно в следующих магазинах: Яндекс.Маркет. А информация о промокодах доступна рядом с ценой от магазина и постоянно обновляется.

О книге

Основные характеристики товара
ПараметрЗначение
ISBN978-5-8114-1666-0
Автор(ы)
Год издания2014
ИздательЛань
ИздательствоИздательство "Лань"
Кол-во страниц416
Количество страниц416
Обложкатвердый переплёт
Размеры84x108/32
СерияМатематика
Тип обложкитвердая
Формат84*108/32
Язык изданияrus

Где купить (1)

Как купить или где мы находимся +

Цена от 1007 руб до 1007 руб в 1 магазине

Также рекомендуем ознакомиться с ценами на Яндекс.Маркет.

Похожие предложения вы можете найти в нашей подборке:
Книги: Прикладная математика. Вычислительная математика - издательство "Лань"
Книги: Прикладная математика. Вычислительная математика с ценой 805-1208 р.

сообщить о снижении цены
Книга: Курс математической логики и теории вычислимости. Учебное пособие (Герасимов Александр Сергеевич); Лань, 2014
МагазинЦенаНаличие
Яндекс.Маркет

5/5

1007 

Кэшбэк до 3.8%

Промокоды на скидку


обновлено 17.06.2024
Avito

5/5

Avito доставка позволит получить любой товар, не выходя из дома

Кэшбэк до 538 

История цены

МагазинПоследняя известная ценаОбновлено
Лабиринт
2106 
26.10.2024
МАЙШОП
1278 
23.06.2024
Мегамаркет
1228 
24.12.2024

Кэшбэк сервис СкидкаГИД

На сегодняшний день товар «Книга: Курс математической логики и теории вычислимости. Учебное пособие (Герасимов Александр Сергеевич); Лань, 2014» можно купить с кешбеком в 1 магазине: Яндекс.Маркет

Кэшбэк – это возврат части денег, потраченных Вами в интернет-магазинах. Всего на нашем сайте более 500 магазинов, с многими из которых Вы наверняка уже знакомы. У каждого магазина свои условия. Кто-то возвращает процент от покупки, а кто-то фиксированную сумму.

Заказывайте он-лайн и получайте часть денег обратно, подробнее..


Пункты выдачи СДЭК г. Подольск

Вы можете получить свои товары в ближайшем пункте выдачи СДЭК


Цены в соседних городах

Отзывы (0)

    Добавить отзыв



     

    Книги: Прикладная математика. Вычислительная математика - издательство "Лань"

    Категория 805 р. - 1208 р.

    Прикладная математика. Вычислительная математика - издательство "Лань" »

    Книги: Прикладная математика. Вычислительная математика в Подольске

    ADS
    закладки (0) сравнение (0)

     

    подписаться на новинки, скидки
    preloader