|
|
|
|
Математическая логика: Алгебра высказываний. Булевы функции. Логика предикатов. Формализованное исчисление высказываний.
Путилов С.В., Корпачева М.А., Сорокина М.М.
Код: 44472502
Страниц: 176
Переплет: мягкий Бумага: газетная Язык издания: русский Год издания: 2024 Возрастные ограничения: 16+ Размер: 14 x 21 x 0.7 см
Вес: 180 г.
ISBN: 978-5-00237-016-0
Наличие: распродано
|
Описание:
Учебное пособие содержит теоретический материал и практические задания по традиционным для высших учебных заведений разделам дисциплины «Математическая логика». Рассматриваются следующие темы и их приложения: алгебра высказываний, булевы функции, логика предикатов, формализованное исчисление высказываний. Для самостоятельной работы по каждой теме предлагается достаточное количество задач с алгоритмами их решения.
Пособие предназначено для студентов всех направлений подготовки бакалавров и специалистов, в учебных планах которых имеется дисциплина «Математическая логика».
|
|
|
|
|
