What is the translation of " ОБЧИСЛЮВАНОСТІ " in English?

• computability

Examples of using Обчислюваності in Ukrainian and their translations into English

Вона має справу з відносинами між теорією обчислюваності і теорією інформації.
It deals with the relationship between computability theory and information theory.

Тому питання обчислюваності доказів не відділяється від питання про їх існування.
Therefore the question of computability of proofs is not separated from the question of their existence.

Поняття мови найчастіше використовується в теорії автоматів, теорії обчислюваності і теорії алгоритмів.
The concept of language is most often used in automata theory, computability theory, and theory of algorithms.

В теорії обчислюваності, проблема зупинки є проблемою розв'язності, що може бути сформульована так:.
In computability theory, the halting problem is a decision problem which can be stated as follows:.

Це ключова тема в області теорії обчислюваності в рамках математичної логіки і теорії алгоритмів у інформатиці.
It is a key topic of the field of computability theory within mathematical logic and the theory of computation within computer science.

Крім того, PLT використовує багатьо інших областей математики, включаючи теорію обчислюваності, теорію категорій і теорію множин.
In addition, PLT makes use of many other branches of mathematics, including computability theory, category theory, and set theory.

Одна з цілей теорії обчислюваності полягає у визначенні, які проблеми або класи проблем можна вирішити в кожній з моделей обчислення.
One goal of computability theory is to determine which problems, or classes of problems, can be solved in each model of computation.

Для формалізації самого поняття алгоритму були запропоновані точні математичні описи алгоритмічної машини та обчислюваності на ній.
To formalize the concept of the algorithm accurate mathematical descriptions of algorithmic machines and computability have been proposed.

В теорії складності і теорії обчислюваності, пророча машина(англ. oracle machine)- це абстрактний автомат використовний для вивчення проблем вибору.
In complexity theory and computability theory, an oracle machine is an abstract machine used to study decision problems.

Цей розвиток призвів до сучасного вивчення логіки і обчислюваності, а також, безперечно, області теоретичної інформатики в цілому.
These developments have led to the modern study of logic and computability, and indeed the field of theoretical computer science as a whole.

У комп'ютерній науці комбінаторна логіка використовується як спрощена модель обчислень, що використовується в теорії обчислюваності та теорії доведення.
In computer science, combinatory logic is used as a simplified model of computation, used in computability theory and proof theory.

Концепція степені Тюрінга є фундаментальною в теорії обчислюваності, де множини натуральних чисел зазвичай розглядаються як проблеми вибору.
The concept of Turing degree is fundamental in computability theory, where sets of numbers are often regarded as decision problems.

Рекурсія- це загальний математичний апарат, яким теоретично виражаються все обчислюваності алгоритми(це я взяв з мат. теорії алгоритмів).
Recursion- a general mathematical formalism, which theoretically express all computable algorithms(I took it from the mat. theory of algorithms).

Логіка обчислюваності[en]- це семантично сконструйована формальна теорія обчислюваності, на відміну від класичної логіки, яка є формальною теорією істини;
Computability logic is a semantically constructed formal theory of computability, as opposed to classical logic, which is a formal theory of truth;

Ефективний метод'[1] або ефективна процедура у логіці, математиці та інформатиці, особливо у металогіці та теорії обчислюваності- це процедура вирішення проблеми з певного класу.
In logic, mathematics and computer science, especially metalogic and computability theory, an effective method[1] or effective procedure is a procedure for solving a problem from a specific class.

Теорія обчислюваності, також відома як теорія рекурсії, являє собою галузь математичної логіки, що заснована у 30-х роках XX ст. при вивченні обчислюваних функцій та степенів Тюрінга.
Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees.

Книга є самодостатнім джерелом, з передмовою, яка описує основні математичні поняття і позначення і наступні розділи, що рухаються від якісних аспектів класичної теорії обчислюваності до кількісних аспектів теорії складності.
The book is self-contained, with an initial chapter explaining essential mathematical principles and notations and subsequent chapters moving from the qualitative elements of classical computability theory to the quantitative elements of complexity theory.

Найбільш широко вивченими моделями обчислюваності є Тьюрінг-обчислювальні і, та лямбда-числення, всі з них мають парно еквівалентну обчислювальну потужність(алгоритми побудовані для однієї системи мають відповідники у інших).
The most widely studied models of computability are the Turing-computable and μ-recursive functions, and the lambda calculus, all of which have computationally equivalent power.

Робота Тьюрінга 1936 року взяла логічні загадки про самонаправлення, розроблені Геделем із творів Кантора та Рассела, і, висловивши це мовою обчислення, виявила як абсолютні межі обчислюваності, так і концепцію універсальної машини.
Turing's 1936 work took the logical puzzles of self-reference, developed by Gödel from the work of Cantor and Russell, and by expressing it in the language of calculation, found both the absolute limits of computability, and the concept of the universal machine.

Логіка обчислюваності[en]- це семантично сконструйована формальна теорія обчислюваності, на відміну від класичної логіки, яка є формальною теорією істини; інтегрує та розширює класичну, лінійну та інтуїціонистську логіки.
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.

За його тривалий внесок до теорії алгоритмів, включаючи розробку ефективних алгоритмів для транспорного потоку та інших комбінаторних задач оптимізації, ідентифікації поліноміальної обчислюваності з інтуїтивною нотацією алгоритмічної складності, та, найбільш значимо, внесок до теорії NP-повноти.
For his continuing contributions to the theory of algorithms including the development of efficient algorithms for network flow and other combinatorial optimization problems, the identification of polynomial-time computability with the intuitive notion of algorithmic efficiency, and, most notably, contributions to the theory of NP-completeness.

Некласична логіка Логіка обчислюваності- семантично побудована формальна теорія обчислюваності, на відміну від класичної логіки, яка є формальною теорією істинності, об'єднує та розширює класичну, лінійні і інтуїционістську логіку.
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.

Досліджуються й інші форми обчислюваності: в теорії автоматів вивчаються поняття обчислюваності, які слабкіші за машини Тьюринга, тоді як області гіперобчислень вивчаються сильніші поняття обчислюваності.
Other forms of computability are studied as well: computability notions weaker than Turing machines are studied in automata theory, while computability notions stronger than Turing machines are studied in the field of hypercomputation.

Обчислюваність- це властивість задачі бути ефективно роз'язаною.
Computability is the ability to solve a problem in an effective manner.

Фундаментальні результати які отримали дослідники встановили обчислюваність Тюрінга, що стало правильною формалізацією неформальної ідеї про ефективний розрахунок.
The fundamental results the researchers obtained established Turing computability as the correct formalization of the informal idea of effective calculation.

Обчислюваність задачі тісно пов'язана з задачею існування алгоритму для її вирішення.
The computability of a problem is closely linked to the existence of an algorithm to solve the problem.

Він перетворив давнє питання розуму-тіла, з'єднавши його з обчислюваністю, і перетворив його на нову експериментальну науку.
He transformed the ancient mind-body question by connecting it with computability, and turned it into a new experimental science.

Центральною ідеєю теорії є, яка є практичним завданням, чию обчислюваність можна вивчати.
A central idea in computability is that of a(computational) problem, which is a task whose computability can be explored.

З цих цілей випливають принципи, на основі яких має відбуватися добір показників: обчислюваність, зрозумілість та досяжність.
These goals lead to the principles which must serve as a basis for choosing what indicators to use: calculability, clarity and attainability.