A
n!
Size: a a a
2020 February 28
Oℕ
G
Ещё нет
Oℕ
Ну если вы скажете назовёте функцию факториала развёрнутым русским словосочетанием это должно стать очевидным
Oℕ
Количество чего это
Oℕ
После этого возьмите три разных натуральных числа m, n и k
Сколько элементов содержит
((Fin n, Fin m), Fin k) ?
Сколько элементов содержит
((Fin n, Fin m), Fin k) ?
Oℕ
Сколько элементов содержит
(Fin n, (Fin m, Fin k)) ?
(Fin n, (Fin m, Fin k)) ?
Oℕ
И сколько тогда между ними изоморфизмов
G
Чуть позже постараюсь понять и ответить, сейчас немного занят
G
Сколько элементов содержит
(Fin n, (Fin m, Fin k)) ?
(Fin n, (Fin m, Fin k)) ?
(m * k) + n
Oℕ
(m * k) + n
У меня другое число получилось
A
n!m!k! же
Oℕ
Ну вот возьмите ((Unit, Unit), Unit)
Oℕ
n!m!k! же
У меня другая формула
A
мм
A
тогда я не знаю, что значат круглые скобки
Oℕ
Произведение типов
A
то есть все возможные пары?
Oℕ
то есть все возможные пары?
Да
A
тогда почему не n!m!k!?