== Математическая логика ==

На данной странице использованы обозначения вида [N] из ((users:yashma:share:books| списка литературы))


[1] стр. 90 -- 94. Определения отношения, области определения отношения, множества значений отношений. Обратное отношение. Композиция отношений. Специальные свойства отношений. Замыкания отношений.

[1] стр. 107 -- 110. Отношение эквивалентности, классы эквивалентности. Разбиение множества.

Классификация бинарных отношений (отношения толерантности, предпорядка, эквивалентности, частичного порядка).

Отношение порядка.

[1] стр. 103 -- 104. Частично упорядоченные множества, диаграммы Хассе. 

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

Лексикографический порядок.

[2] стр. 4 -- 42. 

В дополнение к вышеуказанному материалу из [2]: см. [3] стр. 85 -- 86 (метод треугольника построения полинома Жегалкина),  стр. 146 -- 150 (определение и свойства булевой производной), стр. 162 (критерий линейности булевой функции), стр. 169 (критерий монотонности), стр. 186 -- 190 (полные системы функций и минимальный базис)