Примеры в контексте "Computability - Вычислимости"

Перевод

Примеры

Примеры: Computability — Вычислимости

• In an effort to answer the first question, computability theory examines which computational problems are solvable on various theoretical models of computation.

  Для ответа на первый вопрос в теории вычислимости рассматриваются вычислительные задачи, решаемые на различных теоретических моделях вычислений.

• These authors hold that the probabilistic nature of quantum physics is not necessarily incompatible with the notion of computability.

  Эти авторы считали, что несомненно вероятностная природа квантовой физики не обязательно является несовместимой с идеей вычислимости.

• With Claude Shannon he did seminal work on computability theory and built reliable circuits using less reliable relays.

  Совместно с Клодом Шенноном Мур проделал плодотворную работу по теории вычислимости и построении надёжных схем с использованием менее надёжных реле.

• In it he stated another notion of "effective computability" with the introduction of his a-machines (now known as the Turing machine abstract computational model).

  В ней он задал понятие «эффективной вычислимости» по другому, с введением его а-машин (теперь они известны как абстрактная вычислительная модель машины Тьюринга).

• The latter work, widely distributed in academic computer science, uses the concept of Busy Beaver Numbers as described by Tibor Radó to illustrate the limits of computability in a pedagogic environment.

  Последняя работа, широко разошедшаяся в академических кругах, использует концепцию чисел усердного бобра (англ.) в виде, использованном Тибором Радо (англ.) для демонстрации ограничений вычислимости в педагогической обстановке.

• He has worked on topics of first and second order logic, axiomatic set theory, computability and complexity.

  Работал над предметом логики первого и второго порядка, аксиоматической теории множеств, теории вычислимости и сложности.

Другие варианты перевода слова computability

• Исчисляемость