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

Описание


В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению.

Рейтинг издания


Нет оценки

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

Автор: 
Судоплатов С.В.
Издатель: 
Юрайт
Серия: 
Бакалавр. Академический курс
Переплет: 
твердый переплет
Страниц: 
255
Год издания: 
2016

Похожие издания:


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

В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка.

Математика: логика, множества, комбинаторика. Учебное пособие для академического бакалавриата

В учебном пособии представлен вводный курс математики, который направлен на формирование и развитие логико-математической культуры у студентов.

Математический анализ. Дифференциальное исчисление Ф.Н.П., уравнения и ряды. Учебник и практикум для академического бакалавриата

Учебник является продолжением курса математического анализа, начатого в других работах автора.

Математический анализ. Вещественные числа и последовательности. Учебное пособие для академического бакалавриата

Учебное пособие посвящено темам «Вещественные числа» и «Предел числовой последовательности».