ЛОГИКА ВЫСКАЗЫВАНИЙ: Алгебраические аспекты классической и интуиционистской логик. Полное подробное описание трех основных выводов логических исчислений. Около 100 примеров для лучшего усвоения матери
| ISBN | 978-5-9710-6218-9 |
| Автор | Гуров С.И. |
| Издательство | ЛЕНАНД |
| Переплет | ОБЛ |
| Формат | 60x90/16 |
| Серия | Классический учебник МГУ |
| Вес, гр | 235 |
| Год | 2023 |
| Стр. | 216 |
| ID | 40УР |
В настоящей книге подчеркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик, излагаются методы характеризации формул логики высказываний, подробно рассматриваются гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трех систем рассматривается соответствующая метатеория. Разбираются семантические методы характеризации формул. Большое количество примеров позволяет читателю легко освоиться с вводимыми понятиями.Пособие предназначено для студентов, начинающих изучать математическую логику, а также может быть использовано при самообразовании.