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