What is the translation of " COMPUTABILITY " in Ukrainian?

• обчислюваності
• обчислюваність

Examples of using Computability in English and their translations into Ukrainian

Theorem 18(computability of).
Теорема 18(ознака Діріхле).

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

Association Computability in Europe.
Комп'ютерний табір в Европі.

Automata theory and formal language theory are closely related to computability.
Теорія автоматів і теорія формальної мови близько пов'язані з обчислюваністю.

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

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

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:.
В теорії обчислюваності, проблема зупинки є проблемою розв'язності, що може бути сформульована так:.

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.
Центральною ідеєю теорії є, яка є практичним завданням, чию обчислюваність можна вивчати.

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

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

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

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

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

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

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

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

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

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.
Книга є самодостатнім джерелом, з передмовою, яка описує основні математичні поняття і позначення і наступні розділи, що рухаються від якісних аспектів класичної теорії обчислюваності до кількісних аспектів теорії складності.

In computability theory a numbering is the assignment of natural numbers to a set of objects such as functions, rational numbers, graphs, or words in some language.
В теорії обчислень нумерація- це присвоєння натуральних номерів множині об'єктів таких як раціональні числа, графи, чи слова в деякій мові.

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

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.
Теорія обчислюваності, також відома як теорія рекурсії, являє собою галузь математичної логіки, що заснована у 30-х роках XX ст. при вивченні обчислюваних функцій та степенів Тюрінга.

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

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

The theory of computable functions, also known as recursion theory or Turing computability, is a branch of theoretical computer science that works with the concept of computable and non-computable functions.
Теорія вычислимых функцій також відома як теорія рекурсії або вычислимость по Тьюрингу- це гілка теоретичної інформатики, яка працює з концептом вычислимых і невычислимых функцій.

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