-
Английский
-
Русский
-
Английский
-
Русский
Computability
Перевод computability на русский язык
computability
Существительное
The concept of computability is fundamental in computer science.
Понятие вычислимости является основополагающим в информатике.
Опеределения
computability
Существительное
The quality or state of being computable; the ability of a problem or function to be solved or calculated by a computer or algorithm.
The computability of the algorithm was confirmed after extensive testing.
Идиомы и фразы
computability theory
Computability theory explores what can be computed in principle.
теория вычислимости
Теория вычислимости исследует, что можно вычислить в принципе.
computability problem
The computability problem addresses whether a problem can be solved by an algorithm.
проблема вычислимости
Проблема вычислимости рассматривает, может ли задача быть решена алгоритмом.
computability question
The computability question is central to the study of algorithms.
вопрос вычислимости
Вопрос вычислимости является центральным в изучении алгоритмов.
computability issues
Computability issues are often addressed in theoretical computer science.
вопросы вычислимости
Вопросы вычислимости часто рассматриваются в теоретической информатике.
computability results
The computability results showed the limitations of certain computational models.
результаты вычислимости
Результаты вычислимости показали ограничения некоторых вычислительных моделей.
Примеры
Computability what, Computability who, Computability explanation
Ноутбук что, Ноутбук кто, Ноутбук объяснение
However, even simple systems based on this simple logic can be used to represent data which is well beyond the processing capability of current computer systems: see computability for reasons.
Однако, даже просто системы основанные на этой просто логике можно использовать к приведенные данные которые наилучшим образом за возмоности обработки в настоящее время систем компьютера: см. computability для причин.
↑ Zizzi, Paola, "Computability at the Planck Scale."
↑ Zizzi, Paola, «Computability at the Planck Scale» (недоступная ссылка)
Computability logic is a semantically constructed formal theory of computability, as opposed to classical logic, which is a formal theory of truth; integrates and extends classical, linear and intuitionistic logics.
Логика вычислимости[en] является формальной теорией вычислимости, в отличие от классической логики, которая является формальной теорией истинности; объединяет и расширяет классическую, линеарную и интуиционистскую логики.
Recursion theory (Computability theory)
Теория вычислимости (Computability theory)