Авторизация | Регистрация
Авторы от А до Я Расширенный поиск
-
-
товара: 0 шт.
на сумму: 0 руб.
пн-пт с 1000 до 1800
8 (499)
973-25-13
Задать вопрос
Доставка
Оплата
Математика
Математическая логика и теория алгоритмов. Учебное пособие
Осталось всего: 3
270 р.
Купить

Математическая логика и теория алгоритмов. Учебное пособие

Автор: Набебин А.А., Кораблин Ю.П.
ISBN: 978-5-91522-001-9
Год издания: 2008
Формат книги: 60х90/16
Кол-во страниц: 343
Издательство: Научный мир
Тип обложки: Переплёт
Вес: 750 гр.

Описание

Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана алгоритмическая неразрешимость логики предикатов и аксиоматической арифметики. Дано понятие о теоремах Геделя. Предназначено студентам высших технических учебных заведений, специализирующимся в области прикладной математики, вычислительной техники, программирования, информатики.
Близкие по теме
  • Числа рациональные и иррациоальные
    Осталось всего: 1
    Автор: Нивен А.
    Рубрика: Математика
    ISBN: 978-5-9502-0914-7
    Год издания: 2022
    472 р.
    Купить
  • Введение в моделирование и управление для робототехнических систем
    Автор: Капитонов А.А.
    Рубрика: Математика
    ISBN: 978-5-4344-0404-4
    Год издания: 2016
    310 р.
    Предзаказ
  • Теория аналитических функций. Начала теории. Том 1. Учебник. 3-е изд.
    Автор: Маркушевич А.И.
    Рубрика: Математика
    ISBN: 978-5-8114-0927-3/1
    Год издания: 2009
    585 р.
    Предзаказ
  • Дифференциальные уравнения и устойчивость. Учебник. 1-е изд.
    Автор: Жабко А.П., Котина Е.Д., Чижова О.Н.
    Рубрика: Математика
    ISBN: 978-5-8114-1759-9
    Год издания: 2015
    910 р.
    Предзаказ
  • Курс математической логики и теории вычислимости. Учебное пос., 4-е изд., перераб. и доп.
    Автор: Герасимов А.С.
    Рубрика: Математика
    ISBN: 978-5-8114-1666-0
    Год издания: 2014
    1 045 р.
    Предзаказ
  • Практикум и индивидуальные задания по векторной алгебре и аналитической геометрии (типовые расчеты). Учебное пособие
    Автор: Авилова Л.В.
    Рубрика: Математика
    ISBN: 978-5-8114-1485-7
    Год издания: 2013
    824 р.
    Предзаказ