Математическая логика
Математические науки 2011 год 158
Цена: 1694.00 руб.
Автор: Ершов Юрий Леонидович, Палютин Евгений АндреевичОписание
В книге приведены главные традиционные исчисления математической логики: исчисление изречений и исчисление предикатов; имеется краткое изложение главных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - приведены более детально, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов.
ISBN: 978-5-9221-1301-4
Ссылка: https://ventriculus.ru/book/366795.html
Категория: Математические науки
Книга 2011 года
Цена: 1694.00 руб.