BookHub

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

Тип обложки: мягкая
Страниц: 272
Тираж: 100
Вес: 0.325 кг
Год издания: 2015
ISBN: 978-5-19-011105-7

Цены в магазинах

Вы можете найти эту книгу здесь.

График изменения цены

На графике показано, как менялась цена на книгу "Логика высказываний. Учебное пособие".
Границы области показывают минимальную и максимальную цену в указанный день.

Краткое описание книги

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

Книги с похожим названием

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

Еще предложения магазинов

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