Маханькова Ирина Владимировна, Смирнов Николай Васильевич

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

: учебное электронное пособие для студентов, обучающихся по направлениям подготовки 01.03.01 «Математика», 01.03.02 «Прикладная математика и информатика», 09.03.01 «Информатика и вычислительная техника» (уровень бакалавриата)

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


Только зарегистрированные пользователи могут оставлять комментарии. Пожалуйста, зарегистрируйтесь.

Описание документа
Математическая логика. Алгебра и исчисление высказываний [Электронный ресурс] : учебное электронное пособие для студентов, обучающихся по направлениям подготовки 01.03.01 «Математика», 01.03.02 «Прикладная математика и информатика», 09.03.01 «Информатика и вычислительная техника» (уровень бакалавриата) / [авт.-сост.: И. В. Маханькова, Н. В. Смирнов]; М-во образования и науки Рос. Федерации, Федер. гос. бюджет. образоват. учреждение высш. образования Петрозав. гос. ун-т. — Электрон. дан. — Петрозаводск : Изд-во ПетрГУ, 2017. — 1 электрон. опт. диск (CD-R) ; 12 см. — Систем. требования : РС, МАС с процессором Intel 1,3 ГГц и выше ; Windows, MAC OSX ; 256 Мб ; видеосистема : разрешение экрана 800×600 и выше ; графический ускоритель (опционально) ; мышь или другое аналогичное устройство. — Загл. с этикетки диска. — URL: http://elibrary.petrsu.ru/books/27735 (дата обращения: 02.03.2024)

Издатель: Издательство ПетрГУ

Copyright: Петрозаводский государственный университет

Место издания: Петрозаводск

Год издания: 2017