У меня есть проблема, которая гласит следующее: n игроков (где n четно) играют в игры друг против...
Интервьюер спросил меня, как я могу быть уверен, что часть кода работает так, как задумано.Я сказал...
Итак, я изучаю трехстороннюю сортировку слиянием и задаюсь вопросом о без потери общности. Давайте...
Так что это вопрос алгоритма.Задача состоит в следующем: с учетом двух списков координат (или длины...
У меня есть следующее определение Inductive subseq : list nat -> list nat -> Prop := |...
Относительно Листинга 1 , как бы я смог доказать аксиому уровня типа (t a) = (t (getUI (t a)))...
Мне нужно доказать, что данный язык не является регулярным, может ли это работать? Язык M={a^m a^l...
Я работаю над упражнением, пытаясь выучить язык Изара. У меня есть следующий скрипт для леммы о...
Я видел в Интернете, что поиск самой длинной проблемы пути - это проблема NP-Complete. По какой-то...
Если у нас есть три целых числа a> 0, b, ab> = 0, таких что a * b = ab, то b> = 0, а если ab = 0,...
Этот вопрос является просьбой о предоставлении ссылок или объяснений.Основная идея: что если я...
Когда у меня есть тип «enum», то есть алгебраический тип данных, в котором ни один из случаев не...
В рамках задания меня попросили проверить правильность или неправильность доказательств...
Скажем, я доказал некоторые основные положения интуиционистской логики высказываний в Изабель /...
Мне задали следующий вопрос на экзамене, и он был помечен как неправильный, без других отметок на...
Я пытаюсь сделать основные естественные доказательства вычетов в Изабель, следуя этому документу...
Я хотел бы доказать следующую лемму в Изабель: lemma "T (Open # xs) ⟹ ¬ S (Open # xs) ⟹ count...
У меня есть следующая грамматика, определенная в Изабель: inductive S where S_empty: "S...
Есть ли хороший ресурс, который четко объясняет разницу между обучением и запоминанием...
У меня есть следующая цель, извлеченная из одной из теорем, которые я должен доказать: ∃ys zs. [x]...
Можно ли доказать Lemma A3 (f x: Prop -> Prop)(y: Prop): f (x y) -> f y. либо с / или...
У нас есть n токенов.Каждый жетон красного, синего или зеленого цвета.Эти n токенов находятся в...
Как мне показать, что что-либо следует из значения типа без конструкторов в Scala?Я хотел бы...
Предположим, я хочу определить тип мономов в Coq.Это будут конечные карты из некоторого...
Я создал среду, чтобы попытаться доказать, что мне нужно / нужно У меня есть функция posfijo,...