induction — все вопросы

1ответ
4 голоса
Coq индукционный запуск при определенном нат
Я пытаюсь изучить coq, поэтому, пожалуйста, предположите, что я ничего не знаю об этом Если у меня есть лемма в coq, которая начинается forall n m:nat, n>=1 -> m>=1 ... И я хочу про
2ответа
4 голоса
Доказательство экспоненциального времени выполнения по индукции
У меня есть проблема, показывающая с индукцией, что данная функциякоторый возвращает максимальное абсолютное значение заданного списка ---- +: = 1 =: + ---- , имеет время выполнения ---- +: = 2 =: + -
3ответа
4 голоса
индукция coq с переходом в равенство
У меня есть список с известным значением, и я хочу использовать его, отслеживая исходный список и ссылаясь на него по элементам.То есть мне нужно ссылаться на него с помощью l [i], меняя i вместо того
1ответ
6 голосов
Какова интуиция за шахматной доской, охватывающей рекурсивный алгоритм, и как можно лучше сформулировать такой алгоритм?
Возможно, вы слышали о классической головоломке с шахматной доской. Как вы покрываете шахматную доску, в которой отсутствует один угловой квадрат, с помощью L-образных плиток? Существует рекурсив
1ответ
8 голосов
Какова связь между рекурсией и доказательством по индукции?
Какова связь между рекурсией и доказательством по индукции? Допустим, fn(n), рекурсия - это fn(n), вызывающая себя, пока не встретится base condition индукция - это когда base condition соот
3ответа
8 голосов
Есть ли у кого-то аналог не-учебника, чтобы объяснить элементы схемы?
Мне было интересно, могут ли кто-нибудь объяснить с помощью аналогов, что делают индукторы, конденсаторы, транзисторы, диоды и операционные усилители? Я понимаю основную идею; В настоящее время я
3ответа
9 голосов
Как измеритель тока постоянного тока измеряет ток?
Я понимаю, что для измерителей переменного тока переменного тока изменяющееся магнитное поле индуцирует напряжение /ток в проволочной петле, и поэтому можно измерить переменные токи по индукции. Но к
3ответа
12 голосов
Электрорубка плодовой мухи с использованием магнитной индукции
Мы электрически вызываем сердечные приступы у плодовых мух, чтобы проверить влияние различных методов лечения на выживание. В нашей контрольной группе мы снимаем примерно 50% выживаемости. Я рабо

Популярные теги

security × 330linux × 316macos × 2827 × 268performance × 244command-line × 241sql-server × 235joomla-3.x × 222java × 189c++ × 186windows × 180cisco × 168bash × 158c# × 142gmail × 139arduino-uno × 139javascript × 134ssh × 133seo × 132mysql × 132