notation

3зной

3ответ

Точечная запись в Python. Должен ли метод проходить до или после объекта?

Я изучаю Python, и я пытаюсь имитировать карточную игру. У меня есть вопрос относительно точка нотация. Я просмотрел по всему Интернету конкретный ответ, но не смог его найти. Почему это, что иногда н

0зной

2ответ

Проблемы с внедрением класса deque с выходом Deque <elements>

Я посещаю курс python в университете, где мы должны реализовать класс deque в качестве задания. Теперь у меня есть некоторые проблемы с результатом, который должен предоставить экземпляр, указанный в

0зной

2ответ

Обозначение локальной переменной Java: 'textEntered' или 'enterText'?

У меня только что было Не позволяйте мне спать сомнение в том, как назвать локальную переменную, которая хранит текст, введенный пользователем (в текстовом поле). Должен ли я называть его «введенным т

2зной

1ответ

Могу ли я использовать обозначение для индуктивного типа для определения этого типа в Coq?

Предположим, что у меня есть что-то вроде этого: Inductive SubtypeOf : Gamma -> UnsafeType -> Type -> Set := | SubRefl : forall (gamma : GammaEnv) (u : UnsafeType) , SubtypeOf gamma u

3зной

1ответ

Ошибка синтаксиса с `<` в Coq нотаций

следующий код: Reserved Notation "g || t |- x < y" (at level 10). Inductive SubtypeOf : GammaEnv -> ThetaEnv -> UnsafeType -> UnsafeType -> Set := | SubRefl : forall (gamma : GammaEnv) (t

2зной

1ответ

Несколько мест для зарезервированных обозначений в Coq?

У меня есть куча взаимно-индуктивных типов данных, объявленных с использованием with, и я бы хотел определить Notation для каждого из них, которые я могу использовать, пока я их определяю. Мне известн

1зной

1ответ

Поиск больших O Обозначения алгоритмов сжатия LZMA2 и BWT?

Я пишу эссе о цепи цепи алгоритмов Lemepel Ziv Markov 2 и преобразования колес норы, но я не могу найти записи Big O для этих алгоритмов. Я искал псевдокод для обоих, через исходный код, и все же я вс

1зной

1ответ

Big O Notation of Recusive Functions

Я занимаюсь большой записью O, и я, кажется, понимаю ее, за исключением того, когда речь идет о рекурсивных функциях. Я могу разобраться с простыми (например, когда это O(n) или O(1), но все остальное