Guest
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. Утверждение (для целых чисел)
