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 induction - Esta é a página 6 - GeneraCodice
Proving that grammar generates language with multi variable inequalities
https://www.generacodice.com/pt/articolo/2480273/proving-that-grammar-generates-language-with-multi-variable-inequalities
induction
-
context-free
cs.stackexchange
how can i prove the following algorithm?
https://www.generacodice.com/pt/articolo/2479650/how-can-i-prove-the-following-algorithm
logic
-
discrete-mathematics
-
induction
-
algorithms
-
algorithm-analysis
cs.stackexchange
Por que as provas matemáticas tão difícil?
https://www.generacodice.com/pt/articolo/2474655/por-que-as-provas-matematicas-tao-dificil
induction
-
proof-techniques
cs.stackexchange
Proving construir um BST balanceado de matriz classificado é $ \ theta (n) $
https://www.generacodice.com/pt/articolo/2468692/proving-construir-um-bst-balanceado-de-matriz-classificado-e-theta-n
induction
-
asymptotics
-
runtime-analysis
-
recurrence-relation
cs.stackexchange
em coq:Por que a prova fica completa depois de provar apenas uma indução quando temos mais de uma variável?
https://www.generacodice.com/pt/articolo/2468046/em-coq-por-que-a-prova-fica-completa-depois-de-provar-apenas-uma-inducao-quando-temos-mais-de-uma-variavel
coq
-
induction
-
proof-assistants
-
proof-techniques
-
automated-theorem-proving
cs.stackexchange
Prove pela indução de que a forma de recorrência do tipo de bolha é $ \ ômega (n ^ 2) $
https://www.generacodice.com/pt/articolo/2465368/prove-pela-inducao-de-que-a-forma-de-recorrencia-do-tipo-de-bolha-e-omega-n-2
time-complexity
-
induction
-
recurrence-relation
cs.stackexchange
Dado um torneio com $ 2 ^ n $ vértices, mostre que há um sub-torneio com pelo menos $ n + 1 $ vértices que é acíclico
https://www.generacodice.com/pt/articolo/2464214/dado-um-torneio-com-2-n-vertices-mostre-que-ha-um-sub-torneio-com-pelo-menos-n-1-vertices-que-e-aciclico
induction
-
algorithms
-
graphs
-
dag
cs.stackexchange
Quando a hipótese de coindução pode ser usada?
https://www.generacodice.com/pt/articolo/2461736/quando-a-hipotese-de-coinducao-pode-ser-usada
logic
-
coq
-
isabelle
-
induction
-
coinduction
cs.stackexchange
Quais esquemas indutivos podem codificar a seguinte definição de Agda?
https://www.generacodice.com/pt/articolo/2452322/quais-esquemas-indutivos-podem-codificar-a-seguinte-definicao-de-agda
agda
-
induction
cs.stackexchange
Resolvendo um problema com a indução
https://www.generacodice.com/pt/articolo/2447741/resolvendo-um-problema-com-a-inducao
induction
cs.stackexchange
«
3
4
5
6
7
8
»
Resultados encontrados: 182