Алексеев В. Б. - Дискретная математика - Обобщение алгебры логики. k-значная логика

0:00:10 1. Теорема о существовании в точности 5 предполных классов
0:31:59 2. Обобщение алгебры логики. k-значная логика
0:41:24 3. Теорема (в k-значной логике тоже есть конечные полные системы)
1:00:13 4. Операции сложения и умножения по модулю k
1:03:01 5. Функция х с отрицанием-отрицание Поста
1:04:01 6. Отрицание Лукашевича
1:05:50 7. Теорема о верности представления (2 форма)
1:13:13 8. Утверждение (для целых чисел)