induction

0зной

2ответ

Не удается подключиться к базе данных Postgresql в гостевом поле Vagrant с индукцией с главной машины?

Я пытаюсь подключиться к моей базе данных PostgreSQL, которая находится внутри гостевой машины (используя Vagrant и VirtualBox). Я пытаюсь подключиться к нему с Induction, но я получаю сообщение об ош

-2зной

1ответ

Алгоритм определения последовательности подмножества в O (n)?

Как я могу обратиться к этой проблеме по индукции? Предположим, что вам предоставлен алгоритм как черный ящик, вы не можете видеть, как он создан, он обладает следующими свойствами: если вы вводите ка

2зной

2ответ

Coq: Проблемы со списком в индуктивном

Я новичок в Coq, но с некоторым усилием я смог доказать различные индуктивные леммы. Однако я застрять на все упражнения, которые используют следующее индуктивное определение: Inductive In (A:Type) (y

0зной

1ответ

Составители экзамен Разъяснение

Готовлю для составителей экзамена, и я нашел следующие два вопроса в прошлых статьях, которые я не знаю, как ответить: 1. Array bounds checking requires code to check each array subscript to ensure it

1зной

1ответ

Как доказать правильность рекурсивного алгоритма?

private static void swap(char[] str, int i, int j){ char tmp = str[i]; str[i] = str[j]; str[j] = tmp; } public static void permute(String str){ permute(str.toCharArray(), 0, str

5зной

1ответ

Почему должны быть взаимно индуктивные типы, имеющие одинаковые параметры?

Следуя Arthur's suggestion, я изменил отношение к взаимному соотношению Inductive, которое «создает» различные сравнения между играми, а не «сверление». Но теперь я получаю совершенно новое сообщение