23.11 USD
Наличие на складе:
Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 08.09.2024; планируемая отправка: 09.09.2024
Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 11.09.2024; планируемая отправка: 12.09.2024
Издательство: | Физматлит |
Дата выхода: | август 2011 |
ISBN: | 978-5-9221-1301-4 |
Объём: | 356 страниц |
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов.