Издательский Дом МГУ
Логика высказываний. Учебное пособие

Логика высказываний. Учебное пособие

Логика высказываний. Учебное пособие
Автор Гуров С.И.
буклист математика
ISBN: 978-5-19-011105-7 УДК: 510.63 ББК: 22.12 мягкий переплёт 2015 Формат: 60×90 1/16 страниц: 268

Учебное пособие

Рекомендовано для студентов, начинающих изучать математическую логику.

цена в магазине
350 руб.
  • бесплатный самовывоз
  • оплата картой или наличными
  • при заказе на сумму от 5000 рублей доставка в пределах МКАД бесплатная
Аннотация

Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании. При изложении материала подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая метатеория. Рассматриваются семантические методы характеризации формул (таблицы Э.Бета, семантика возможных миров С.Крипке). 

Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.

Для цитирования
Гуров С.И. Логика высказываний. Учебное пособие. – М.: Издательство Московского университета, 2015. – 268 с.
Об авторе
Гуров Сергей Исаевич

кандидат физико-математических наук, доцент

Работы С.И. Гурова посвящены математическим проблемам распознавания образов (в том числе обработке изображений), разработке методов синтеза логических структур БИС, вопросам математической кибернетики. При этом рассматриваются как теоретические аспекты проблемы, так и практические методы реализации алгоритмов.

подробнее об авторе и другие его книги
Все книги