Маханькова Ирина Владимировна, Смирнов Николай Васильевич
Математическая логика. Алгебра и исчисление высказываний
учебное электронное пособие
В пособии рассмотрены основные разделы математической логики. Приведены краткие теоретические сведения, алгоритмы и образцы решения типовых задач. Содержит задачи для самостоятельного выполнения. Предназначено для студентов, изучающих курсы «Математическая логика», «Математическая логика и теория алгоритмов».
Только зарегистрированные пользователи могут оставлять комментарии. Пожалуйста, зарегистрируйтесь.
Описание документа
Математическая логика. Алгебра и исчисление высказываний : учебное электронное пособие для студентов, обучающихся по направлениям подготовки 01.03.01 «Математика», 01.03.02 «Прикладная математика и информатика», 09.03.01 «Информатика и вычислительная техника» (уровень бакалавриата) / [авт.-сост.: И. В. Маханькова, Н. В. Смирнов]. — Петрозаводск : Изд-во ПетрГУ, 2017. — 61 с. — URL: http://elibrary.petrsu.ru/books/27735 (дата обращения: 24.04.2024)
Издатель: Издательство ПетрГУ
Copyright: Петрозаводский государственный университет
Место издания: Петрозаводск
Год издания: 2017