книги Без категории

ЛОГИКА ВЫСКАЗЫВАНИЙ: Алгебраические аспекты классической и интуиционистской логик. Полное подробное описание трех основных выводов логических исчислений. Около 100 примеров для лучшего усвоения материала. Изд. 2, испр

Код 5448530

Наличие на складе

Склад в Москве

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 22.09.2025; планируемая отправка: 23.09.2025

Склад в С.-Петербурге

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 25.09.2025; планируемая отправка: 26.09.2025

Аннотация к книге "ЛОГИКА ВЫСКАЗЫВАНИЙ: Алгебраические аспекты классической и интуиционистской логик. Полное подробное описание трех основных выводов логических исчислений. Около 100 примеров для лучшего усвоения материала. Изд. 2, испр"

В настоящей книге подчеркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик, излагаются методы характеризации формул логики высказываний, подробно рассматриваются гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трех систем рассматривается соответствующая метатеория. Разбираются семантические методы характеризации формул. Большое количество примеров позволяет читателю легко освоиться с вводимыми понятиями.

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

Оставить комментарий

Оцените книгу:

Издательство: URSS
Серия: Классический учебник МГУ
Дата выхода: август 2023
ISBN: 978-5-9519-4046-9
Объём: 216 страниц

Вместе с этой книгой покупают