Математическая логика. Учебник и практикум для академического бакалавриата
Издательство:
Юрайт
Тип обложки: твердая
Страниц: 212
Вес: 0.380 кг
Год издания:
2016
ISBN: 978-5-9916-7711-0
Цена: 879 руб. (электронная книга)
Скачать
Цены в магазинах
ЛитРес |
879 руб.
Электронная версия
|
В магазин |
График изменения цены
На графике показано, как менялась цена на книгу "Математическая логика. Учебник и практикум для академического бакалавриата".
Границы области показывают минимальную и максимальную цену в указанный день.
Границы области показывают минимальную и максимальную цену в указанный день.
Краткое описание книги
В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения.Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях. Предлагаемые упражнения и примеры иллюстрированы доказательствами, по возможности вербальными, что позволяет приобрести опыт в работе с разными задачами и направлениями. Полезно знакомство с другими интерпретациями, сложившимися исторически в рамках классической логики. Не всегда это строгая теория, и чаще требуется определение свойств новых областей и поиск подходящих методов работы с данными (фактами). Материал будет полезен для обучения бакалавриата, имеющего базовые знания в дискретной математике, алгоритмизации и программировании для понимания необходимости использования логики в любого рода деятельности.Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования.Для бакалавров широкого круга инженерных специальностей (проектирование вычислительных систем, программирование и др.) и гуманитарных направлений, где предполагается создание и использование экспертных систем (экономика, медицина, менеджмент и др).
Книги с похожим названием
Часто можно найти ту же самую или очень похожую книгу среди книг со схожим названием. Это может быть и та же самая книга,
но другого года издания или в дургом переплете.
Показать книги с похожим названием
Еще предложения магазинов
Посмотрите предложения магазинов, которые очень похожи на данную книгу. Это может быть та же самая книга,
по каким-то причинам не указанная в списке цен выше, или другое ее издание. Так же тут будут книги с похожим
названием.
Показать другие предложения магазинов