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