Волшебная осень! По 19.09.19 получайте 7% дополнительной скидки по промокоду «СЕНТЯБРЬ».
×
Интернет-магазин My-shop.ru
Персональный раздел v
   Доставка    Оплата    Скидки    Форум    Помощь
для Москвы  +7 (495) 638-53-38
бесплатно для РФ  +7 (800) 100-53-38
 
0
%
^
Математическая логика. Учебник и практикум для СПО

Математическая логика. Учебник и практикум для СПО

Авторы/составители: Скорубский В.И., Поляков В.И., Зыков А.Г.
Издательство: Юрайт
Серия: Профессиональное образование

В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях. Предлагаемые упражнения и примеры иллюстрированы доказательствами, по возможности вербальными, что позволяет приобрести опыт в работе с разными задачами и направлениями. Полезно знакомство с другими интерпретациями, сложившимися исторически в рамках классической логики. Не всегда это строгая теория и чаще требуется определение свойств новых областей и поиск подходящих методов работы с данными (фактами). Материал будет полезен для обучения бакалавриата, имеющего базовые знания в дискретной математике, алгоритмизации и программировании для понимания необходимости использования логики в любого рода деятельности.
Соответствует актуальным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным требованиям.
Для студентов широкого круга инженерных специальностей (проектирование вычислительных систем, программирование и др.) и гуманитарных направлений, где предполагается создание и использование экспертных систем (экономика, медицина, менеджмент и др).

804 руб.
в наличии*
планируемая дата доставки: 20.09.2019 (Пт.)
шт.
отложить
С этим товаром покупают...