Математическая логика. Учебник и практикум для СПО (Анатолий Геннадьевич Зыков) ; ЮРАЙТ, 2019
от 671 р. до 1284 р.
Автор(ы): Анатолий Геннадьевич Зыков;
Издатель: Юрайт
ISBN: 9785534116311
ID: SKU559925
Добавлено: 23.08.2021
Сравнить цены
Цена от 671 р. до 1284 р. в 3 магазинах
Магазин | Цена | Наличие |
---|---|---|
ЛитРес 5/5 | 671 р. 839 р. электронная книга | скачать фрагмент | |
Мегамаркет 5/5 | 1284 р. 1427 р. | |
Яндекс.Маркет 5/5 | 1284 р. 1427 р. | |
Лабиринт 5/5 | ||
Читай-город 5/5 | ||
МАЙШОП 5/5 | Один из первых книжных интернет-магазинов, работающий с 2002 года | |
Описание
В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях. Предлагаемые упражнения и примеры иллюстрированы доказательствами, по возможности вербальными, что позволяет приобрести опыт в работе с разными задачами и направлениями. Полезно знакомство с другими интерпретациями, сложившимися исторически в рамках классической логики. Не всегда это строгая теория и чаще требуется определение свойств новых областей и поиск подходящих методов работы с данными (фактами). Материал будет полезен для обучения бакалавриата, имеющего базовые знания в дискретной математике, алгоритмизации и программировании для понимания необходимости использования логики в любого рода деятельности. Соответствует актуальным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным требованиям. Для студентов широкого круга инженерных специальностей (проектирование вычислительных систем, программирование и др. ) и гуманитарных направлений, где предполагается создание и использование экспертных систем (экономика, медицина, менеджмент и др).
Смотри также Характеристики.
Яндекс.Маркет
Видео обзоры (2)
О книге
Автор(ы) | Анатолий Геннадьевич Зыков |
Издатель | ЮРАЙТ |
Год издания | 2019 |
Серия | Профессиональное образование |
Форматы электронной версии | |
ISBN | 978-5-534-11631-1 |
Вес, в граммах | 377 |
Издательство | Юрайт |
Назначение | для гуманитарных ВУЗов |
Тип обложки | твердая |
Количество страниц | 211 |
Автор | Скорубский Владимир Иванович; Поляков Владимир Иванович; Зыков Анатолий Геннадьевич |
Размеры | 70x100/16 |
Язык издания | Русский |
Кол-во страниц | 212 |
Книги с похожим названием
Книги где автор: Анатолий Геннадьевич Зыков