Маханькова Ирина Владимировна, Смирнов Николай Васильевич
Математическая логика. Алгебра и исчисление высказываний
электронное учебное пособие для студентов, обучающихся по направлениям подготовки 01.03.01 «Математика», 01.03.02 «Прикладная математика и информатика», 09.03.01 «Информатика и вычислительная техника» (уровень бакалавриата)
В пособии рассмотрены основные разделы математической логики. Приведены краткие теоретические сведения, алгоритмы и образцы решения типовых задач. Содержит задачи для самостоятельного выполнения. Предназначено для студентов, изучающих курсы «Математическая логика», «Математическая логика и теория алгоритмов».
Только зарегистрированные пользователи могут читать полные тексты и оставлять комментарии. Пожалуйста, зарегистрируйтесь.