Pусский
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Полные статьи
Категории
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Ты пишешь
Пользователь
Авторизоваться
Постановка на учет
Восстановление пароля
Теги
Языковые теги
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag proof-assistants - Это страница 1 - GeneraCodice
Каковы были недостатки процедуры резолюции Робинсона?
https://www.generacodice.com/ru/articolo/2475739/каковы-были-недостатки-процедуры-резолюции-робинсона
logic
-
proof-assistants
-
automated-theorem-proving
cs.stackexchange
Как усердно это было бы указывать P vs. NP в доказательстве?
https://www.generacodice.com/ru/articolo/2474191/как-усердно-это-было-бы-указывать-p-vs-np-в-доказательстве
complexity-theory
-
proof-assistants
-
p-vs-np
cs.stackexchange
Для массива $A$ и индекса $c$ докажите, что всегда существует подмассив, сумма которого $\pmod {i} = 0$.
https://www.generacodice.com/ru/articolo/2468778/для-массива-a-и-индекса-c-докажите-что-всегда-существует-подмассив-сумма-которого-pmod-i-0
proof-assistants
cs.stackexchange
Доказательство решения для загадки $ n $
https://www.generacodice.com/ru/articolo/2468702/доказательство-решения-для-загадки-n
combinatorics
-
proof-assistants
-
proof-techniques
cs.stackexchange
on coq:Почему доказательство завершено после доказательства только для одной индукции, когда у нас есть более одной переменной?
https://www.generacodice.com/ru/articolo/2468046/on-coq-почему-доказательство-завершено-после-доказательства-только-для-одной-индукции-когда-у-нас-есть-более-одной-переменной
coq
-
induction
-
proof-assistants
-
proof-techniques
-
automated-theorem-proving
cs.stackexchange
Найдите порог, такой, что одна функция всегда больше, чем другая
https://www.generacodice.com/ru/articolo/2446159/найдите-порог-такой-что-одна-функция-всегда-больше-чем-другая
recursion
-
proof-assistants
cs.stackexchange
Может кто-нибудь, пожалуйста, дайте счетчик пример этого?Если проблема в NP, то нет известного алгоритма многочлена, чтобы решить его
https://www.generacodice.com/ru/articolo/2443619/может-кто-нибудь-пожалуйста-дайте-счетчик-пример-этого-если-проблема-в-np-то-нет-известного-алгоритма-многочлена-чтобы-решить-его
np-complete
-
np
-
proof-assistants
cs.stackexchange
Why proving the solution of a problem is polynomial time is sufficient enough to say that it is a NP prolbem? [duplicate]
https://www.generacodice.com/ru/articolo/1607585/why-proving-the-solution-of-a-problem-is-polynomial-time-is-sufficient-enough-to-say-that-it-is-a-np-prolbem-duplicate
np
-
proof-assistants
-
proof-techniques
cs.stackexchange
Why cannot match $ Bool \equiv Bool $ with $ refl $ while $1 \equiv 1$ can?
https://www.generacodice.com/ru/articolo/1603474/why-cannot-match-bool-equiv-bool-with-refl-while-1-equiv-1-can
proof-assistants
cs.stackexchange
What does it mean if we disable K-rule in Agda?
https://www.generacodice.com/ru/articolo/1603441/what-does-it-mean-if-we-disable-k-rule-in-agda
agda
-
proof-assistants
cs.stackexchange
«
1
2
3
4
5
6
»
Результаты найдены: 75