Математическая логика и теория алгоритмов: Учебник
В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов основы теории моделей и теории алгоритмов, а также элементы неклассических логик.Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов.
- Переплёт Твёрдый
- Кол-во стр. 224
- Вес 500 г
- Год издания 2004
Отзывы
Описание и характеристики
- Переплёт Твёрдый
- Кол-во стр. 224
- Вес 500 г
- Год издания 2004
- Издательство
- Серия
- Автор
- Размеры в см 0x21.5x14.5
- ID товара 2025698
- ISBN 978-5-16-001975-8
