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 18 - GeneraCodice
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
Qual é a prova de (n -1) + (n - 2) + (n - 3) +… + 1 = n*(n -1)/2 [fechado
https://www.generacodice.com/pt/articolo/454226/qual-e-a-prova-de-n-1-n-2-n-3-1-n-n-1-2-fechado
proof
-
formula
StackOverflow
Como provar que a instrução C -x, ~ x+1 e ~ (x -1) produzem os mesmos resultados?
https://www.generacodice.com/pt/articolo/442429/como-provar-que-a-instrucao-c-x-x-1-e-x-1-produzem-os-mesmos-resultados
c
-
proof
-
twos-complement
StackOverflow
Como você "pegar" quando se trata de provas?[fechado]
https://www.generacodice.com/pt/articolo/391794/como-voce-pegar-quando-se-trata-de-provas-fechado
algorithm
-
computer-science
-
proof
StackOverflow
A prova para a profundidade da árvore de pesquisa balanceada
https://www.generacodice.com/pt/articolo/318952/a-prova-para-a-profundidade-da-arvore-de-pesquisa-balanceada
binary-search-tree
-
binary-tree
-
proof
-
depth
StackOverflow
A prova de que algoritmo de alocação de dinheiro de Fowler está correto
https://www.generacodice.com/pt/articolo/291644/a-prova-de-que-algoritmo-de-alocacao-de-dinheiro-de-fowler-esta-correto
algorithm
-
allocation
-
currency
-
proof
StackOverflow
Como provar por indução que um programa faz alguma coisa?
https://www.generacodice.com/pt/articolo/268097/como-provar-por-inducao-que-um-programa-faz-alguma-coisa
math
-
proof
-
postfix-notation
-
induction
StackOverflow
«
14
15
16
17
18
19
»
Resultados encontrados: 190