Логика высказываний Учебное пособие (мБакалавУчПос) Гуров

—

Нет оценок

Нет отзывов

Аннотация

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

Не в наличии

Отзывы

0

Уже читали эту книгу? Поделитесь вашим мнением!

Описание и характеристики

Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании.При изложении материала подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая метатеория. Рассматриваются семантические методы характеризации формул (таблицы Э.Бета, семантика возможных миров С.Крипке). .Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.
Код2622386
Автор
ПереплетМягкий переплёт
Кол-во страниц268
Год издания2015
ISBN978-5-19-011105-7
РазделФилология
Размеры1.2 см × 15 см × 21 см
Вес0.3 кг
В магазине «Буквоед» закончилась книга «Логика высказываний Учебное пособие (мБакалавУчПос) Гуров» от автора Гуров Сергей Исаевич. Когда книга снова поступит в продажу, можно будет сделать заказ из любого города России: от Санкт-Петербурга и Москвы до Казани и Краснодара. Дождитесь, пока появится надпись «Купить», чтобы получить «Логика высказываний Учебное пособие (мБакалавУчПос) Гуров» в магазине сети или заказать доставку. Мы и сами любим читать, поэтому делаем всё, чтобы вы могли купить понравившуюся историю по приятной цене. Например, организуем конкурсы и проводим акции. Оставайтесь с нами, чтобы не упустить выгоду!