Tag computability - Esta é a página 2 - GeneraCodice

How to prove set of all two argument functions cannot be countable

https://www.generacodice.com/pt/articolo/4025142/how-to-prove-set-of-all-two-argument-functions-cannot-be-countable

  computability  -  countable

StackOverflow

NP optimization problems (definition)

https://www.generacodice.com/pt/articolo/3750050/np-optimization-problems-definition

  algorithm  -  computability

StackOverflow

NP optimization problems (definition)

https://www.generacodice.com/pt/articolo/3749098/np-optimization-problems-definition

  algorithm  -  computability

StackOverflow

program to reproduce itself and be useful — not a quine

https://www.generacodice.com/pt/articolo/3600564/program-to-reproduce-itself-and-be-useful-not-a-quine

  computability  -  quine

StackOverflow

program to reproduce itself and be useful — not a quine

https://www.generacodice.com/pt/articolo/3591698/program-to-reproduce-itself-and-be-useful-not-a-quine

  computability  -  quine

StackOverflow

What is the “trick” to writing a Quine?

https://www.generacodice.com/pt/articolo/3514632/what-is-the-trick-to-writing-a-quine

  computability  -  quine

StackOverflow

Why can Conway’s Game of Life be classified as a universal machine?

https://www.generacodice.com/pt/articolo/3491479/why-can-conway-s-game-of-life-be-classified-as-a-universal-machine

  theory  -  turing-complete  -  computability

StackOverflow

Template Metaprogramming: Primitive Recursive?

https://www.generacodice.com/pt/articolo/3279621/template-metaprogramming-primitive-recursive

  c++  -  programming-languages  -  computability  -  template-meta-programming

StackOverflow

As linguagens em $\mathsf{coRE} \setminus \mathsf{R}$ possuem máquinas de Turing?

https://www.generacodice.com/pt/articolo/2479180/as-linguagens-em-mathsf-core-setminus-mathsf-r-possuem-maquinas-de-turing

  turing-machines  -  computability

cs.stackexchange

Prova de que línguas estão turing-reconhecível IFF calpecialmente enumerável

https://www.generacodice.com/pt/articolo/2478947/prova-de-que-linguas-estao-turing-reconhecivel-iff-calpecialmente-enumeravel

  enumeration  -  turing-machines  -  computability  -  formal-languages

cs.stackexchange

• «
• 1
• 2
• 3
• 4
• 5
• 6
• »

Resultados encontrados: 1630