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 - Это страница 1 - GeneraCodice
Do I need heterogeneous equality?
https://www.generacodice.com/ru/articolo/13623439/do-i-need-heterogeneous-equality
equality
-
proof
-
agda
-
heterogeneous
-
dependent-type
StackOverflow
I can't prove (n - 0) = n with Idris
https://www.generacodice.com/ru/articolo/13562404/i-can-t-prove-n-0-n-with-idris
proof
-
idris
StackOverflow
Proving breadth-first traversal on graphs
https://www.generacodice.com/ru/articolo/13516555/proving-breadth-first-traversal-on-graphs
algorithm
-
graph-algorithm
-
proof
-
discrete-mathematics
StackOverflow
Proving correctness of algorithm
https://www.generacodice.com/ru/articolo/13398472/proving-correctness-of-algorithm
formal-methods
-
proof
-
proof-of-correctness
-
hoare-logic
-
post-conditions
StackOverflow
Can two Minimum Spanning Trees for the same graph have different edge weights?
https://www.generacodice.com/ru/articolo/13339276/can-two-minimum-spanning-trees-for-the-same-graph-have-different-edge-weights
math
-
tree
-
proof
-
minimum-spanning-tree
StackOverflow
Why does the formal procedure prove NP-Completeness? [closed]
https://www.generacodice.com/ru/articolo/13085737/why-does-the-formal-procedure-prove-np-completeness-closed
algorithm
-
np-complete
-
proof
StackOverflow
Proof time complexity
https://www.generacodice.com/ru/articolo/12866845/proof-time-complexity
proof
-
time-complexity
StackOverflow
How to prove forall x, (R x \/ ~ R x) [in the Coq proof assistant]?
https://www.generacodice.com/ru/articolo/12412955/how-to-prove-forall-x-r-x-r-x-in-the-coq-proof-assistant
proof
-
coq
StackOverflow
issues in the proof of master theorem
https://www.generacodice.com/ru/articolo/12330428/issues-in-the-proof-of-master-theorem
math
-
proof
-
master-theorem
StackOverflow
Using an equivalence in the context to force reduction
https://www.generacodice.com/ru/articolo/12187610/using-an-equivalence-in-the-context-to-force-reduction
equivalence
-
proof
-
pattern-matching
-
reduction
-
agda
StackOverflow
«
1
2
3
4
5
6
»
Результаты найдены: 190