Курс математической логики и теории вычислимости. Учебное пособие
|
- Артикул:
- Наличие: 0
- Единица: шт.
Наличие: Есть в наличии
|
|
|
Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства.
Рассмотрены основные формальные аксиоматические теории: элементарная арифметика и теория множеств Цермело-Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма (машины Тьюринга, нормальные алгоритмы Маркова, лямбда-исчисление, частично рекурсивные функции) и доказана неразрешимость ряда проблем, среди которых проблема остановки машин Тьюринга, проблема равенства для полугрупп, проблемы общезначимости и выводимости для исчисления предикатов. Рассмотрены теоремы Гёделя о неполноте. Изложено исчисление Хоара для формального доказательства корректности программ некого императивного языка программирования. В книге имеется более 200 упражнений.
Учебное пособие адресовано в первую очередь студентам, обучающимся по направлениям подготовки укрупнённых групп «Компьютерные и информационные науки», «Информатика и вычислительная техника», но будет полезно и студентам группы направлений «Математика и механика», а также всем желающим начать систематическое изучение математической логики.
Издание 4-е, переработанное и дополненное.
Бегущая строка
🚀 Этот сайт сдается в аренду! Если вы продаете похожее оборудование, мы можем разместить ваши контакты на данном сайте и вы привлечете много новых клиентов!
Подробнее
Добавлен в каталог: Четверг, 26.10.2017
Внимание!
Цена товара
Курс математической логики и теории вычислимости. Учебное пособие не окончательна и может отличаться от правильной цены на сегодняшний день. Обновление стоимости оборудования на сайте в разделе интернет-магазин происходит раз в три месяца. Точную стоимость оборудования Вы можете скачать
ЗДЕСЬ. В любом случае при запросе оборудования, Вы можете расчитывать на значительные скидки!
Мы осуществляем
бесплатную доставку товаров до транспортных компаний, для отгрузки в любой регион России и стран СНГ. Все купленные товары отгружаются с сопроводительными документами, паспортами, сертификатами соответствия и качества, а также подробными инструкциями по эксплуатации и установке.
Если у вас большая заявка или спецификация, присылайте сразу на почту
teplorost@mail.ru
Обработаем заказ в течении часа!
Получить оперативную консультацию инженера Вы можете
Обращаем ваше внимание на то, что данный интернет-сайт www.relasko.ru носит исключительно информационный характер и ни при каких условиях не является публичной офертой, определяемой положениями Статьи 437 (2) Гражданского кодекса РФ. Цена товара может отличаться от действительной. Пожалуйста, уточняйте правильные цены у наших менеджеров.
38
