Старостин М.В. - Теория дискретных функций. Семинары - 8. Функции К-значной логики. Часть 2

0:00:19 1. Повторение материала предыдущего семинара
0:01:33 2. Задача (полнота системы)-продолжение решения задачи из семинара 7
0:31:56 3. Отношение эквивалентности
0:41:47 4. Задача (доказательство полноты системы)
0:55:43 5 Задача (доказательство полноты системы)
1:00:31 6. Монотонность

Ссылка на плейлист:
https://youtube.com/playlist?list=PLcsjsqLLSfNAoQNi0A9knfFrlwxtnmOtB