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 15 - GeneraCodice
Show de cadeias de bits com contagem de(1s) = count(0s) não é regular
https://www.generacodice.com/pt/articolo/2020858/show-de-cadeias-de-bits-com-contagem-de-1s-count-0s-nao-e-regular
algorithm
-
regex
-
proof
-
automata
-
regular-language
StackOverflow
General proof strategies to show correctness of recursive functions?
https://www.generacodice.com/pt/articolo/1817482/general-proof-strategies-to-show-correctness-of-recursive-functions
math
-
algorithm
-
recurrence
-
proof
StackOverflow
Isso é sempre verdade:fmap (foldr f z) .sequênciaA = foldr (liftA2 f) (z puro)
https://www.generacodice.com/pt/articolo/1792419/isso-e-sempre-verdade-fmap-foldr-f-z-sequenciaa-foldr-lifta2-f-z-puro
haskell
-
proof
StackOverflow
String para cortar problema de correção PNP-completividade
https://www.generacodice.com/pt/articolo/1771925/string-para-cortar-problema-de-correcao-pnp-completividade
algorithm
-
theory
-
complexity-theory
-
np-complete
-
proof
StackOverflow
Contratos de código C#:O que pode ser comprovado estaticamente e o que não pode?
https://www.generacodice.com/pt/articolo/1766207/contratos-de-codigo-c-sharp-o-que-pode-ser-comprovado-estaticamente-e-o-que-nao-pode
c#
-
static-analysis
-
proof
-
code-contracts
StackOverflow
(log n)^k = O(n)?Para k maior ou igual a 1
https://www.generacodice.com/pt/articolo/1765443/log-n-k-o-n-para-k-maior-ou-igual-a-1
big-o
-
logarithm
-
proof
-
notation
StackOverflow
Gerador de números aleatórios com defeito?
https://www.generacodice.com/pt/articolo/1695359/gerador-de-numeros-aleatorios-com-defeito
python
-
random
-
correctness
-
proof
-
probability
StackOverflow
proof of correctness by loop invariant (induction)
https://www.generacodice.com/pt/articolo/1663612/proof-of-correctness-by-loop-invariant-induction
math
-
PHP
-
proof
-
loop-invariant
StackOverflow
How to prove by induction that a parabola corresponding to two edges intersects at atmost 2 points?
https://www.generacodice.com/pt/articolo/1466472/how-to-prove-by-induction-that-a-parabola-corresponding-to-two-edges-intersects-at-atmost-2-points
math
-
algorithm
-
theory
-
proof
StackOverflow
Prove that reverse=rev
https://www.generacodice.com/pt/articolo/1456138/prove-that-reverse-rev
haskell
-
proof
-
equivalent
StackOverflow
«
12
13
14
15
16
17
»
Resultados encontrados: 190