Раздел 1.

Теория множеств

Тема 1.1. Общие понятия теории множеств. Язык теории множеств.

Понятие Мно́жество — одно из ключевых понятий математики; это математический объект,

«множество», сам являющийся набором, совокупностью, собранием каких-либо объектов,
элемент которые называются элементами этого множества и обладают общим для всех их
множества. характеристическим свойством

Способы Имеется два существенно различных способа задания множеств. Можно либо
задания перечислить все элементы множества, либо указать правило для определения
множеств: того, принадлежит или не принадлежит рассматриваемому множеству любой
указание данный объект. Таким образом, множество можно задать с помощью перечисления
характеристичес или с помощью описания.
кого свойства,
перечисление
элементов

Пустое Пусто́е мно́жество (в математике) — множество, не содержащее ни одного

множество. элемента. Из аксиомы объёмности следует, что есть только одно множество,
обладающее таким свойством. Пустое множество является своим (тривиальным)
подмножеством, но не является своим элементом.

Изображение
множеств (круги
Эйлера,
диаграммы
Венна).

Понятие
«подмножества» ● Множество является подмножеством множества , если любой
элемент, принадлежащий также принадлежит . Пишут: или
. Таким образом,

● Множество в таком случае называется надмно́жеством множества

, и этот факт часто записывают: или

1. Множество детей является подмножеством всего населения.

2. Пересечением множества целых чисел с множеством положительных чисел
является множество натуральных чисел.
3. Объединением множества рациональных чисел с множеством иррациональных
чисел является множество действительных чисел.
4. Нуль является дополнением множества натуральных чисел относительно
множества неотрицательных целых чисел.
Универсальное Универса́льное мно́жество — в математике множество, содержащее все
множество объекты и все множества. В тех аксиоматиках, в которых универсальное
множество существует, оно единственно.

Равные Равные множества — это множества, которые включают в себя одни и те же

множества. элементы, то есть являются эквивалентными по отношению друг к другу.

Мощность Мо́щность мно́жества, кардина́льное число́ мно́жества — характеристика

множества. множеств, обобщающая понятие количества элементов конечного множества

Тема 1.2. Основные операции над множествами.

Введение
операций над
множествами.
Свойства
операций над
множествами

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

Законы
пересечения и 1. Переместительный (коммутативный) закон пересечения и объединения
объединения множеств.
множеств. АUВ=ВUА А∩В=В∩А
2. Сочетательный (ассоциативный) закон пересечения и объединения
множеств.
(А U В) U С = А U (В U С) (А ∩ В) ∩ С = А ∩ (В ∩ С)
3. Распределительный закон пересечения и объединения множеств: ( А ⋂ B )
Ç С = A Ç ( ВÇ С)
(А U В) ∩ С = (А ∩ С) U(В ∩ С) (А ∩ В) U С = (А U С) ∩ (В U С)

Прямое Прямо́е, или дека́ртово произведе́ние двух множеств — множество, элементами

(декартово) которого являются все возможные упорядоченные пары элементов исходных
произведение множеств:
множеств A × B = {(a; b) | a ∈ A, b ∈ B}.
Основные
тождества
алгебры
множеств

Тема 1.3. Соответствие между множествами. Отображения.

Основные
понятия:
соответствие
между
множествами,
образ и
прообраз
элемента,
множество
значений,
область
определений,
обратное
соответствие
Задание
соответствий:
аналитический,
табличный,
графический

Виды
отображений:
взаимно-однозна
чное, обратное
отображение,
равносильное,
эквивалентное,
равномощные.

Композиция
функций
Тождественное
отображение

Раздел 2. Формулы логики

Тема 2.1. Логические операции. Формулы логики. Таблица истинности.

Алгебра логики. Алгебра логики — раздел математической логики, в котором изучаются логические
операции над высказываниями.

Высказывания и Выска́зывание в математической логике — предложение, выражающее суждение.

высказывательн Если суждение, составляющее содержание некоторого высказывания, истинно, то
ые формы и о данном высказывании говорят, что оно истинно. Сходным образом ложным
называют такое высказывание, которое является выражением ложного суждения.
Высказывательная форма — это повествовательное предложение, которое
прямо или косвенно содержит хотя бы одну переменную и становится
высказыванием, когда все переменные замещаются своими значениями. Алгебра
логики рассматривает любое высказывание только с одной точки зрения —
является ли оно истинным или ложным.

Отрицание Отрицание высказывания А – это высказывание А (или ¬А) (читается «не А»,
высказываний «неверно, что А»), которое истинно, когда исходное высказывание А ложно, и
ложно, когда А истинно.

Конъюнкция и Конъюнкция – это высказывание истинное, если и одновременно истинны, и

дизъюнкция ложное, если хотя бы одно из высказываний и ложно. Дизъюнкция – это
высказывание истинное, если хотя бы одно из высказываний и истинно, и ложное,
если и одновременно ложны.

Союзы языка и Итак, каждая из введенных логических операций является неким математическим
логические образом, моделью соответствующего логического союза нашего языка. Но при
операции (Язык переходе от высказываний на естественном языке к логическим формулам
и логика) некоторые связки могут иметь другой смысл. Например, рассмотрим предложение
«он испугался И нажал кнопку». Это предложение имеет другой смысл, чем
предложение «Он нажал кнопку И испугался». В этих предложениях второе
высказывание по времени следует за первым, является следствием первого
высказывания. С точки зрения формальной логики первое высказывание
тождественно высказыванию «он нажал кнопку, потому что испугался», второе –
 «он испугался, потому что нажал на кнопку».

Импликация, Импликация( -> ) — бинарная

эквиваленция, логическая связка, по своему
сумма по применению приближенная к
модулю два. союзам «если…, то…»

эквивале́нция( <-> ) — двойная

импликация

Исключа́ющее «или»
(+)(сложе́ние по мо́дулю 2)

Таблицы Таблица истинности — таблица, описывающая логическую функцию. Под

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

Тема 2.2. Законы логики. Равносильные преобразования.

Формулы
алгебры логики

Составление ....
таблиц
истинности для
формул.
Классификация Формулы алгебры высказываний подразделяются на следующие типы:
формул алгебры выполнимые, тавтологии, опровержимые и тождественно ложные (противоречия).
логики
● Формула называется выполнимой, если некоторая ее конкретизация
является истинным высказыванием. То есть формула
выполнима, если существуют такие конкретные высказыванияА, В, …, С, что
.
● Формула называется тождественно истинной или тавтологией, если
любая ее конкретизация является истинным высказыванием.
● Формула называется опровержимой, если некоторая ее конкретизация
является ложным высказыванием.
● Формула называется тождественно ложной или противоречием, если
любая ее конкретизация является ложным высказыванием.

Равносильные Определение 4.1. Формулы и

преобразования алгебры высказываний называются равносильными (эквивалентными), если
при любых значениях входящих в них пропозициональных переменных логические
значения получающихся из формул и высказываний совпадают. Для
указания равносильности формул используют обозначение .
Теорема 4.2 (признак равносильности формул). Две формулы и
алгебры высказываний равносильны тогда и только тогда, когда формула
является тавтологией:

(4.2)

Упрощение ...
формул

Закон ● Зако́н двойственности — закон математической логики, который гласит:

двойственности «если формулы А и В равносильны, то и двойственные им формулы
в алгебре равносильны».
логики. ● Двойственные формулы — в алгебре логики — это такие формулы,
которые получаются одна из другой путём замены в них каждого знака
конъюнкции на знаки дизъюнкции и наоборот при этом предполагается, что
формулы построены лишь с помощью операций ∧, ∨, —.

Раздел 3. Булевы функции

Тема 3.1. Функции алгебры логики.

Логические В логике логи́ческими опера́циями называют действия, вследствие которых

функции. порождаются новые понятия, с использованием уже существующих

Равенство Определение 6.2. Функции и называют равными, если их существенные

функций переменные соответственно равны и на каждом наборе значений этих
переменных функции и принимают равные значения.

Формулы 1. Если f(x1, ..., xn) ∈ P, то f(x1, ..., xn) — формула.

2. Если f(x1, ..., xn) ∈ P и U1, U2, ..., Un — формулы или логические переменные,
то f(U1, ..., Un) — формула.
Булевы функции
одной
переменной:
тождественный
нуль,
тождественная
единица,
отрицание.

Булевы функции
двух
переменных.

Способы 1) Задание булевой функции таблицей истинности. Так называется таблица,

задания булевых состоящая из двух частей: в левой части перечисляются все наборы
функций значений аргументов (булевы векторы пространства Bn) в естественном
порядке, то есть по возрастанию значений чисел, представляемых этими
векторами, а в правой части – значения булевой функции на
соответствующих наборах.
Пример. Таблица истинности для f1(x1, x2), f2(x1, x2) и f3(x1, x2):
 2) Задание булевой функции характеристическими множествами. Так
называются два множества:
M1f, состоящее из всех наборов, на которых функция принимает значение 1, то
есть M1f = {α Bn:f(α) = 1};
M0f, состоящее из всех наборов, на которых функция принимает значение 0, то
есть M0f = {α Bn:f(α) = 0}.
Пример (мажоритарная функция).
M1f = {011,101,110,111}, M0f = {000,001,010,100}.
3) Задание булевой функции вектором ее значений.
Пример (мажоритарная функция).
φf=00010111.
4) Задание булевой функции матрицей Грея. Булево пространство задается
матрицей Грея, и наборы (клетки матрицы), на которых булева функция f(x1,
…, xn) принимает значение 1, отмечаются и называются точками.
Пример (мажоритарная функция).

5) Интервальный способ задания булевой функции. Булеву функцию f(x1,

…, xn) можно задать множеством интервалов If = {I1, I2, …, Ik}, объединение
которых образует характеристическое множество M1f, то есть I1 I2 … Ik
1
= M f. Множество интервалов If называется достаточным для функции f(x1,
…, xn).
Пример. Мажоритарная функция может быть задана достаточным
множеством If = {I1, I2, I3} интервалов:

6) Задание булевой функции формулами: просто функции

Соглашение о хз о чем тут речь

написании
формул.

Тема 3.2. Минимизация булевых функций

Разложение Рассмотрим вопрос представления n-местной булевой функции f(x1,x2,…,xn)
функций по какой-нибудь формулой алгебры высказываний.
переменным
Введем обозначение , где - параметр, равный 0 или 1.

Очевидно, что

Теорема 1.1. Каждую функцию алгебры логики f(x1,x2,…,xn) при любом

m(1£m£n) можно представить в следующей форме:

, где
дизъюнкция берется по всевозможным наборам значений переменных
.

Следствие 1 (разложение по одной переменной).

В этом случае функции и называются

компонентами разложения.

Следствие 2 (разложение по всем переменным).

Нормальные Дизъюнкти́вная норма́льная фо́рма (ДНФ) в булевой логике — нормальная

формы (ДНФ, форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов.
СДНФ, КНФ, Любая булева формула может быть приведена к ДНФ.[1] Для этого можно
СКНФ) использовать закон двойного отрицания, закон де Моргана, закон
дистрибутивности. Дизъюнктивная нормальная форма удобна для автоматического
доказательства теорем.

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

Упрощение Сокращенная ДНФ (англ. reduced disjunctive normal form) — форма записи
формул логики функции, обладающая следующими свойствами:
до минимальной ● любые два слагаемых различаются как минимум в двух позициях,
ДНФ. ● ни один из конъюнктов не содержится в другом.

Минимальная ДНФ (англ. minimal disjunctive normal form) — такая сокращенная

ДНФ, в которой содержится минимальное количество вхождений переменных.
Каждая минимальная ДНФ является сокращенной, но не каждая сокращенная —
минимальна.

Тема 3.3. Основные классы функций. Полнота множества. Теорема Поста.

Функционально Замкнутый класс в алгебре логики - такое множество функций алгебры логики,
замкнутые замыкание которого относительно операции суперпозиции совпадает с ним самим:
классы
.

Другими словами, любая функция, которую можно выразить формулой с

использованием функций множества , снова входит в это же множество. Пример:

● Множество функций, принимающих только одно значение (констант),

замкнуто. Если в качестве аргументов функции не рассматривать
фиктивных переменных, суперпозиция в классе констант вообще
окажется невозможной.
● Множество унарных функций замкнуто.
Канонический Полиномом Жегалкина, или алгебраической нормальной формой (АНФ), булевой
полином функции f(x1, …, xn) называется дизъюнкция с исключением различных
Жегалкина. положительных конъюнкций переменных из множества X={x1, …, xn}

Функциональная Вообще хз
замкнутость
класса функций
алгебры логики.

Классы функций:
класс функций, Булева функция сохраняет константу 0 (принадлежит
сохраняющих классу T0), если на наборе из всех нулей функция принимает
константу 0, значение ноль.Из элементарных булевых функций классу T0
класс функций, принадлежат, например, конъюнкция и тождественная
сохраняющих функция; не принадлежат классу T0, например, штрих
константу 1, Шеффера и стрелка Пирса.
класс Булева функция сохраняет константу 1 (принадлежит
классу T1), если на наборе из всех единиц функция
принимает значение единица. Мажоритарная булева функция
сохраняет константу 1. Из элементарных булевых функций
таковыми являются, например, дизъюнкция и конъюнкция. Не
сохраняют константу 1, например, штрих Шеффера и стрелка
Пирса.

самодвойственн ● Функция g(x1,…,xn) называется двойственной k f(x1,…,xn), если выполняется

ых функций равенство:
g(x1,…,xn)=n[f(n(x1),…,n(xn)]].
Например, x×y двойственна xÚy, и наоборот. Это следует из равенств
x×y=n(n(x)Ún(y) и xÚy=n(n(x)×n(y))

● Функция f(x1,…,xn) называется самодвойственной, если выполняется

равенство
f(x1,…,xn)=n[f(n(x1),…,n(xn)].
Другими словами, функция самодвойственна, если она совпадает со своей
двойственной

класс линейных Функция f(x1,…,xn) называется линейной, если существует a0,a1,…,an=B такие, что
функций f(x1,…,xn)=a0+a1×x1+…+an×xn.
например, x+y. Функции x*y, xUy, x->y линейными не являются.

класс Функция f(x1,…,xn) называется монотонной, если для любых двух векторов
монотонных a=(a1,…,an) и b=(b1,…,bn) из условия a<=b следует, что f(a)<=f(b).
функций. Примерами монотонных функций являются x*y, xUy. Функции n(x), x->y, x+y
немонотонны.

Функционально Функционально полной системой булевых функций (ФПСБФ) называется

полные системы совокупность таких булефых функций (f1, f2, ... fk), что произвольная булева функция
функций f может быть записана в виде формулы через функции этой совокупности.
 ФПСБФ необходимо и достаточно, чтобы ее функции не содержались полностью ни
в одном из пяти предполных классов:

1. булевы функции, сохраняющие константу 0;

2. булевы функции, сохраняющие константу 1;
3. самодвойственные булевы функции;
4. линейные булевы функции;
5. монотонные булевы функции;

Из таблицы видно, что каждая из функций f8 и f14 являются ФПСБФ

Критерий Множество булевых функций является функционально полным тогда и только

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

Раздел 4. Предикаты
Тема 4.1. Предикаты
Предикаты и Предложение, содержащее переменную, которая может принимать различные
высказывательн значения, причем подстановка любого из значений переменной превращает это
ые формы предложение в высказывание, называется предикатом или высказывательной
формой. Каждая высказывательная форма порождает множество высказываний.
Например.

1. А(х): «Слово х – глагол», его областью определения будет множество слов

русского языка.
2. В(х): «х+7=12», Х=R.
3. С(х): «Четырехугольник х – квадрат», Х – множество четырехугольников.
4. D(х; у): «х+у=5», Х=R или Х=N.

Множество Множество M, на котором определен предикат P(x), называется областью

истинности определения предиката. Множество всех элементов , при которых предикат
предиката принимает значения «истина» называется множеством истинности предиката.

Обозначение. Множество истинности предиката P(x) обозначается

.
Пример.
1) P(x) – «sin x=0», IP={x: x=πk, k Z};
2) Q(x) – «Диагонали параллелограмма x перпендикулярны», M – множество
всех параллелограммов, IP={x: x множеству всех ромбов}.
Равносильность Определение 22.1. Две формулы, и логики предикатов называются
и следование равносильными на множестве , если при любой подстановке в эти формулы
предикатов вместо предикатных переменных любых конкретных предикатов, определенных на
, формулы превращаются в равносильные предикаты. Если две формулы
равносильны на любых множествах, то их будем называть просто равносильными.
Равносильность формул будем обозначать так: . Нетрудно понять на
основании определений 22.1 и 21.6, что формулы и равносильны тогда и
только тогда, когда формула является тавтологией:

Алгебра Че?
предикатов.

Раздел 5. Элементы теории алгоритмов

Тема 5.1. Элементы теории алгоритмов.
Алгоритм [1]
Алгори́тм (лат. algorithmi — от имени среднеазиатского математика Аль-Хорезми ) —
конечная совокупность точно заданных правил решения некоторого класса задач или набор
инструкций, описывающих порядок действий исполнителя для решения определённой задачи.
В старой трактовке вместо слова «порядок» использовалось слово «последовательность», но
по мере развития параллельности в работе компьютеров слово «последовательность» стали
заменять более общим словом «порядок». Независимые инструкции могут выполняться в
произвольном порядке, параллельно, если это позволяют используемые исполнители.

Интуитивное Интуитивное понятие алгоритма – одно из основных понятий математики, не

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

Черты, характерные для интуитивного понятия алгоритма

1. Дискретность. Это свойство заключается в следующем: в начальный

момент задается исходная система величин, а в каждый следующий момент
система величин получается из предыдущей системы величин по
определенному закону (программе).
2. Детерминированность. Система величин, получаемых в любой, отличный
от начального, момент времени, однозначно определяется системой величин
в предшествующие моменты времени.
3. Элементарность шагов. Закон получения последующей системы величин
из предыдущей должен быть простым и локальным.
4. Эффективность (результативность). Каждый шаг работы алгоритма
должен заканчиваться результатом.
5. Массовость алгоритма. Начальная система величин может выбираться из
некоторого бесконечного счетного множества Х.
6. Конструктивность. Объекты из Х, над которым работает алгоритм, должны
быть конструктивными.

Конструктивный объект – тот, который может быть набран весь целиком и

представлен для рассмотрения.
 Примерами конструктивных объектов являются булевы функции, формулы алгебры
логики, натуральные и рациональные числа, матрицы с натуральными или
рациональными элементами, многочлены от неизвестных с рациональными
коэффициентами.
Неконструктивными объектами являются, например, любые действительные
числа, представления которых в десятичной записи a0 a1…an… ни для какого nиз
натуральных чисел не может быть целиком представлено для рассмотрения. Числа
и не являются конструктивными объектами

Основные
требования к 1. Каждый алгоритм имеет дело с Данными — входными, промежуточными,
алгоритмам. выходными. Для того чтобы уточнить понятие данных, фиксируется конечный
алфавит исходных символов (цифры, буквы и т. п.) и указываются правила
построения алгоритмических объектов. Типичным используемым средством
является индуктивное построение. Например, определение идентификатора в
языке программирования может выглядеть следующим образом: идентификатор —
это либо буква, либо идентификатор, к которому приписана справа либо буква,
либо цифра. Слова конечной длины в конечных алфавитах — наиболее обычный
тип алгоритмических данных, а число символов в слове — естественная мера
объема данных. Другой случай алгоритмических объектов — формулы. Примером
могут служить формулы алгебры предикатов и алгебры высказываний. В этом
случае не каждое слово в алфавите будет формулой.

2. Алгоритм для размещения данных требует Памяти. Память обычно

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

3. Алгоритм состоит из отдельных Элементарных шагов, причем множество

различных шагов, из которых составлен алгоритм, конечно. Типичный пример
множества элементарных шагов — система команд ЭВМ.

4. Последовательность шагов алгоритма Детерминирована, т. е. после

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

5. Алгоритм должен обладать Результативностью, т. е. останавливаться

после конечного числа шагов (зависящего от исходных данных) с выдачей
результата. Данное свойство иногда называют сходимостью алгоритма.

6. Алгоритм предполагает наличие Механизма реализации, который по

описанию алгоритма порождает процесс вычисления на основе исходных данных.
Предполагается, что описание алгоритма и механизм его реализации конечны.

Основная гугли
терминология
теории
алгоритмов.

Математические [1]
Математи́ческая моде́ль — математическое представление реальности , один из вариантов
модели модели как системы, исследование которой позволяет получать информацию о некоторой
алгоритмов. другой системе. Математическая модель предназначена предсказать поведение реального
[B: 1]
объекта, но всегда представляет собой ту или иную степень его идеализации .

Машины это полный *пип*

Тьюринга.

Машина Поста. и это тоже

 Остальное
Метод
математической
индукции

Кванторы
квантор всеобщности и квантор существования