Tag computation-models - Это страница 2 - GeneraCodice

Эквивалентность между ТМ и изменением TM

https://www.generacodice.com/ru/articolo/2469207/эквивалентность-между-тм-и-изменением-tm
  turing-machines  -  computation-models  -  turing-completeness  -  church-turing-thesis
cs.stackexchange cs.stackexchange

Выражение функций с использованием арифметического словаря

https://www.generacodice.com/ru/articolo/2467152/выражение-функций-с-использованием-арифметического-словаря
  turing-machines  -  first-order-logic  -  computation-models
cs.stackexchange cs.stackexchange

Закрытие на обычных языках

https://www.generacodice.com/ru/articolo/2457504/закрытие-на-обычных-языках
  automata  -  computation-models
cs.stackexchange cs.stackexchange

Вычислительная сложность подсчета символов

https://www.generacodice.com/ru/articolo/2455158/вычислительная-сложность-подсчета-символов
  complexity-theory  -  turing-machines  -  computation-models
cs.stackexchange cs.stackexchange

Параллельные модели программирования: почему OpenMP и MPI доминируют?

https://www.generacodice.com/ru/articolo/2453322/параллельные-модели-программирования-почему-openmp-и-mpi-доминируют
  programming-languages  -  message-passing  -  computation-models  -  parallel-computing
cs.stackexchange cs.stackexchange

Are weakly polynomial time algorithms truly polynomial?

https://www.generacodice.com/ru/articolo/2451194/are-weakly-polynomial-time-algorithms-truly-polynomial
  complexity-theory  -  turing-machines  -  algorithms  -  computation-models
cs.stackexchange cs.stackexchange

Would models of computation in other conceivable universes be Turing complete?

https://www.generacodice.com/ru/articolo/2446171/would-models-of-computation-in-other-conceivable-universes-be-turing-complete
  physics  -  computability  -  computation-models
cs.stackexchange cs.stackexchange

Showing the following language is decidable

https://www.generacodice.com/ru/articolo/1620893/showing-the-following-language-is-decidable
  complexity-theory  -  turing-machines  -  computability  -  automata  -  computation-models
cs.stackexchange cs.stackexchange

Is the graph symbol used in dask a general notation?

https://www.generacodice.com/ru/articolo/1616619/is-the-graph-symbol-used-in-dask-a-general-notation
  computation-models  -  graphs
cs.stackexchange cs.stackexchange

Injectivity verification in o(n) space and O(n) time

https://www.generacodice.com/ru/articolo/1616294/injectivity-verification-in-o-n-space-and-o-n-time
  complexity-theory  -  space-complexity  -  computation-models  -  oracle-machines
cs.stackexchange cs.stackexchange
Результаты найдены: 386
scroll top