Старостин М.В. - Теория дискретных функций. Семинары - 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. Монотонность Ссылка на плейлист:    • Теория дискретных функций. Семинары - Стар...  

Смотрите также