Português
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Artigos completos
Categorias
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Você escreve
Do utilizador
Conecte-se
Cadastro
Recuperação de senha
Tag
Tags de idioma
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag proof - Esta é a página 17 - GeneraCodice
What does cpython do to help detect object cycles(reference counting)?
https://www.generacodice.com/pt/articolo/949292/what-does-cpython-do-to-help-detect-object-cycles-reference-counting
python
-
garbage-collection
-
cpython
-
proof
-
reference-counting
StackOverflow
Have I checked every consecutive subset of this list?
https://www.generacodice.com/pt/articolo/893679/have-i-checked-every-consecutive-subset-of-this-list
python
-
primes
-
list
-
proof
StackOverflow
How can I show that a function is always not commutative
https://www.generacodice.com/pt/articolo/802397/how-can-i-show-that-a-function-is-always-not-commutative
math
-
proof
StackOverflow
Prove or disprove n^2 - n + 2 ∈ O(n)
https://www.generacodice.com/pt/articolo/797749/prove-or-disprove-n-2-n-2-o-n
big-o
-
proof
StackOverflow
Máximo conjunto independente em uma árvore. Revise o algoritmo, precisa de prova
https://www.generacodice.com/pt/articolo/700053/maximo-conjunto-independente-em-uma-arvore-revise-o-algoritmo-precisa-de-prova
graph-theory
-
proof
StackOverflow
Explique a prova por Vinay Deolalikar que P != NP [fechado]
https://www.generacodice.com/pt/articolo/654754/explique-a-prova-por-vinay-deolalikar-que-p-np-fechado
math
-
computer-science
-
complexity-theory
-
proof
-
p-np
StackOverflow
Problema de correspondência estável
https://www.generacodice.com/pt/articolo/654571/problema-de-correspondencia-estavel
algorithm
-
proof
-
pattern-matching
-
stable-marriage
StackOverflow
Provando que os valores de distância extraídos no algoritmo de Dijkstra não são reduzidos?
https://www.generacodice.com/pt/articolo/646270/provando-que-os-valores-de-distancia-extraidos-no-algoritmo-de-dijkstra-nao-sao-reduzidos
algorithm
-
computer-science
-
proof
-
dijkstra
StackOverflow
Pergunta de linguagem livre de contexto (bombeamento de lema)
https://www.generacodice.com/pt/articolo/567766/pergunta-de-linguagem-livre-de-contexto-bombeamento-de-lema
theory
-
language-theory
-
proof
-
automata
StackOverflow
Verificando formalmente a exatidão de um algoritmo
https://www.generacodice.com/pt/articolo/531719/verificando-formalmente-a-exatidao-de-um-algoritmo
math
-
algorithm
-
correctness
-
formal-verification
-
proof
StackOverflow
«
14
15
16
17
18
19
»
Resultados encontrados: 190