Инструменты сайта


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

На данной странице использованы обозначения вида [N] из списка литературы

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

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

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

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

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

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

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

[2] стр. 4 – 42.

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

users/yashma/share/logic.txt · Последние изменения: 2023/06/22 16:07 — yashma