учебник по математике

Математическая логика, Ершов Ю.Л., Палютин Е.А., 1987.

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

Занимательная математика, Множества и отношения, Дунаев В.В., 2008.

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

Математика, Алгебра и начала математического анализа, 11 класс, Виленкин Н.Я., Ивашев-Мусатов О.С., Шварцбурд С.И., 2014.

   Учебник соответствует требованиям ФГОС среднего общего образования. В книге выделены типовые задачи для подготовки учащихся к Единому государственному экзамену, предложены алгоритмы их выполнения и варианты заданий для самоконтроля. В учебнике реализованы современные подходы к формированию проектно-исследовательских умений и ИКТ-компетенций. Темы индивидуальных проектов, предложенные в учебнике, входят в базовое академическое образование по экономике.

Математика, Алгебра и начала математического анализа, 10 класс, Виленкин Н.Я., Ивашев-Мусатов О.С., Шварцбурд С.И., 2014.

   Учебник соответствует требованиям Федерального государственного стандарта среднего образования и предназначен для изучения курса алгебры и начал математического анализа в 10-м классе на углублённом уровне.
В учебнике выделены типовые задачи для подготовки учащихся к Единому государственному экзамену, предложены алгоритмы их выполнения и варианты заданий для самоконтроля, реализованы современные подходы к формированию проектно-исследовательских умений и ИКТ-компетенций. Темы индивидуальных проектов, предложенные в учебнике, входят в базовое академическое образование по экономике.

Дискретная математика, Графы, матроиды, алгоритмы, Асанов М.О., Баранский В.А., Расин В.В., 2010.

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

Основы дискретной математики, Учебное пособие для студентов вузов, Гаджиев А.А., 2005.

   Учебное пособие состоит из двух частей. В части 1 излагаются основы теории четких и нечетких множеств, общей теории графов и графов-сетей. Часть 2 книги состоит из двух разделов. В разделе 1 "Логические методы анализа и синтеза схем" рассмотрены основы алгебры логики, сформированы задачи анализа. Кратко изложены основы пороговой и нейронной логики, нечеткой логики, элементы теории временных булевых функций и многозначной логики. В разделе 2 "Математическая логика. Анализ рассуждений и алгоритмы вывода" формальная теория логики высказываний, логики предикатов первого порядка, даны теоретические основы доказательства теорем, а также стратегии поиска эффективного доказательства теорем и некоторые алгоритмы для построения программ машинного доказательства. Учебное пособие рекомендуется студентам при изучении дисциплин "Дискретная математика", "Математическая логика и теория алгоритмов" и "Системы искусственного интеллекта" специальностей направления 230100 — "Информатика и вычислительная техника".

Занимательная логика, Кольман Э., Зих О., 1966.

   Кое-кто из читателей, знакомых с характером прежнего преподавания логики в школе, возможно, поставит под сомнение целесообразность занимательной логики. Однако читатель, наверное, согласится с тем, что мыслить последовательно, судить доказательно, опровергать неправильные выводы должен уметь всякий: физик и поэт, тракторист и химик. Особенно в наше время, постоянно приносящее множество необыкновенных и удивительных открытий и изобретений в разнообразных областях: в географии, политике, в общественной жизни.

Введение в математическую логику, Колмогоров А.Н., Драгалин А.Г., 1982.

   Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и логики предикатов. Изложение не предполагает специальных знаний и рассчитано на студентов младших курсов.