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

Описание


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

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


Нет оценки

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

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

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


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

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

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

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

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

Данное издание является учебно-справочным пособием по неопределенным интегралам.

Математический анализ. Функции многих переменных. Учебник и практикум для академического бакалавриата

Учебник посвящен изучению темы «Функции многих переменных». Издание состоит из двух частей.

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

Учебное пособие посвящено изучению темы «Дифференцирования функции одной переменной». В первой главе приводится основной теоретический материал.

Математический анализ: определенный интеграл в 2-х частях. Часть 2. Учебное пособие для академического бакалавриата

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