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

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

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

Отзывы

Оставьте отзыв и получите бонусы

Оставьте первый отзыв и получите за него бонусы.

Это поможет другим покупателям сделать правильный выбор.

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

Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании.При изложении материала подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая метатеория. Рассматриваются семантические методы характеризации формул (таблицы Э.Бета, семантика возможных миров С.Крипке). .Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.
  • Переплёт
    Мягкий
  • Кол-во стр.
    268
  • Вес
    300 г
  • Год издания
    2015
  • Автор
    Сергей Исаевич Гуров
  • Размер
    1.2x15x21
  • ID товара
    2622386
  • ISBN
    978-5-19-011105-7, 978-5-1901-1105-7
Книга «Логика высказываний Учебное пособие (мБакалавУчПос) Гуров» есть в наличии в интернет-магазине «Читай-город» по привлекательной цене. Если вы находитесь в Москве, Санкт-Петербурге, Нижнем Новгороде, Казани, Екатеринбурге, Ростове-на-Дону или любом другом регионе России, вы можете оформить заказ на книгу Сергей Гуров «Логика высказываний Учебное пособие (мБакалавУчПос) Гуров» и выбрать удобный способ его получения: самовывоз, доставка курьером или отправка почтой. Чтобы покупать книги вам было ещё приятнее, мы регулярно проводим акции и конкурсы.