Tag proof-techniques - Esta é a página 6 - GeneraCodice

Otimalidade de um algoritmo ganancioso

https://www.generacodice.com/pt/articolo/2447790/otimalidade-de-um-algoritmo-ganancioso
  greedy-algorithms  -  proof-techniques  -  correctness-proof
cs.stackexchange cs.stackexchange

O que é necessário para provar que dois programas complicados são equivalentes?

https://www.generacodice.com/pt/articolo/2445902/o-que-e-necessario-para-provar-que-dois-programas-complicados-sao-equivalentes
  model-checking  -  reference-request  -  proof-techniques  -  research
cs.stackexchange cs.stackexchange

Se um gráfico G (V, E) estiver conectado $ | E | \ GQ | v | -1 $

https://www.generacodice.com/pt/articolo/2445466/se-um-grafico-g-v-e-estiver-conectado-e-gq-v-1
  proof-techniques  -  graphs  -  connected
cs.stackexchange cs.stackexchange

Como provar propriedades sobre uma equivalência aritmética modular específica

https://www.generacodice.com/pt/articolo/2444885/como-provar-propriedades-sobre-uma-equivalencia-aritmetica-modular-especifica
  proof-techniques  -  modular-arithmetic
cs.stackexchange cs.stackexchange

Derivando definição recursiva da especificação de função

https://www.generacodice.com/pt/articolo/2444685/derivando-definicao-recursiva-da-especificacao-de-funcao
  recursion  -  induction  -  proof-techniques  -  calculus-of-constructions
cs.stackexchange cs.stackexchange

Necessita de esclarecimentos sobre certificados de problemas de coNP

https://www.generacodice.com/pt/articolo/2443122/necessita-de-esclarecimentos-sobre-certificados-de-problemas-de-conp
  proof-techniques  -  co-np
cs.stackexchange cs.stackexchange

Prove that the following language is not regular: $\{0^i1^j : i \neq j\}$ [duplicate]

https://www.generacodice.com/pt/articolo/1621525/prove-that-the-following-language-is-not-regular-0-i1-j-i-neq-j-duplicate
  finite-automata  -  formal-languages  -  regular-languages  -  proof-techniques
cs.stackexchange cs.stackexchange

Is {a^n: n is a product of exactly two primes} regular?

https://www.generacodice.com/pt/articolo/1621003/is-a-n-n-is-a-product-of-exactly-two-primes-regular
  formal-languages  -  pumping-lemma  -  regular-languages  -  proof-techniques
cs.stackexchange cs.stackexchange

Codeword constructed by Huffman's algorithm has average length of at most log n

https://www.generacodice.com/pt/articolo/1620874/codeword-constructed-by-huffman-s-algorithm-has-average-length-of-at-most-log-n
  information-theory  -  algorithms  -  proof-techniques  -  huffman-coding
cs.stackexchange cs.stackexchange

Proving with co-induction principles

https://www.generacodice.com/pt/articolo/1620578/proving-with-co-induction-principles
  formal-methods  -  coq  -  proof-techniques  -  coinduction
cs.stackexchange cs.stackexchange
Resultados encontrados: 577
scroll top