+38 044 223 9060, 095 820 7848, 098 702 5697, order@bookshop.ua Пн-Пт: 10-18.

Доставка:
по Киеву и Украине от 35 грн
подробнее

Скидки:
до 15% на товар и до 50% на доставку
подробнее

Оплата:
при получении или предоплата
подробнее

Книги, лучшее за 30 дней:

0

Книжный калейдоскоп 2 / Книги) / Научная и научно-популярная литература) / Математика)

Научная, учебная литература для специалистов)

Логика высказываний. Гуров С.И.

ID: 15004137

Гуров С.И.

Логика высказываний

  704.00 грн. -10%

633.60 грн.
21.12 USD

Купить

Срок формирования заказа: 11-15 дней 
+ время доставки

Издательство: Московский государственный университет имени М.В. Ломоносова (МГУ)
c. 268
2015 г.
ISBN: 978-5-19-011105-7



Все издания этой книги
 

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

Вы посмотрели следующие позиции: 
Время генерации страницы : 0