SCI Библиотека

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

Учебное пособие содержит подборку заданий для проведения контрольных
и самостоятельных работ по разделу дискретной математики: логика высказы-
ваний, булева алгебра. Приведены необходимые теоретические сведения и при-
меры решения задач, содержится большой набор задач для самостоятельного
решения. Большое внимание уделено принципам строения математических тео-
рий и доказательства математических теорем.
Пособие предназначено для студентов направлений 01.03.02 «Прикладная
математика и информатика», 01.03.04 «Прикладная математика», 02.03.01 «Ма-
тематика и компьютерные науки».

Учебное пособие содержит подборку заданий для проведения контрольных
и самостоятельных работ по разделу дискретной математики: логика высказы-
ваний, булева алгебра. Приведены необходимые теоретические сведения и при-
меры решения задач, содержится большой набор задач для самостоятельного
решения. Большое внимание уделено принципам строения математических тео-
рий и доказательства математических теорем.
Пособие предназначено для студентов направлений 01.03.02 «Прикладная
математика и информатика», 01.03.04 «Прикладная математика», 02.03.01 «Ма-
тематика и компьютерные науки».

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

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

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

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