theorem

1зной

1ответ

Основная теорема с f (n) = n !?

Как решить следующее как f (n) = n! не относится к моим знаниям применительно к любому из случаев основной теоремы. T (n) = 16T (n/4) + n!

algorithm recurrence master theorem 2017-01-26

---

0зной

1ответ

Z3 и Eclipse IDE

Я пытаюсь использовать Z3 (http://z3.codeplex.com/) в среде Eclipse IDE. Я установил PyDev и загрузил предварительно скомпилированные двоичные файлы Windows Z3. Я также добавил подкаталог «bin» в пере

java python eclipse z3 theorem 2013-12-20

---

2зной

1ответ

нужно определить в Изабель, чтобы показать, что две частичные функции никогда не производят один и тот же вывод

Я использую математический инструментарий в HOL-Z для выполнения некоторых предикатов Isabelle. в частности, я использую определение частичной функции для определения некоторых отношений в спецификаци

isabelle theorem-proving master-theorem theorem z-notation 2015-01-28

---