Герб МГТУ им. Н.Э. БауманаНаучно-техническая библиотека МГТУ им. Н.Э. Баумана

Подробное описание документа

Скорубский В. И., Поляков В. И., Зыков А. Г.
   Математическая логика : учебник и практикум для академического бакалавриата / Скорубский В. И., Поляков В. И., Зыков А. Г. ; Университет ИТМО. - М. : Юрайт, 2017. - 210 с. : ил., портр. - (Бакалавр. Академический курс). - Библиогр.: с. 176-178. - ISBN 978-5-534-01114-2.

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

510.6 Математическая логика
3 экз.
Вы можете получить данный документ в одном из следующих отделов
  1. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
  2. Преподавательский абонемент ауд.313, ГУК, ауд. 313
  3. Читальный зал ауд.305л, УЛК, ауд. 305л
  4. Читальный зал ауд.313, ГУК, ауд. 313