Категории

Математическая логика. Курс лекций

Модель: 04938260
Наличие: Распродано

Товар распродан.

"В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач, помогающих усвоить и закрепить излагаемый материал.
Для студентов, аспирантов и преподавателей технических вузов"
Свойства
Формат 24x17x2.5 см
Переплет мягкий
Иллюстрации ч/б иллюстрации
Автор Шапорев Сергей Дмитриевич
ISBN 978-5-9775-3806-0
Страниц 416

Написать отзыв

Примечание: HTML разметка не поддерживается! Используйте обычный текст.
    Плохо           Хорошо
Защита от роботов