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