DECIDABLE LANGUAGE

Англо-русский перевод DECIDABLE LANGUAGE

матем. разрешимый язык

English-Russian scientific and technological dictionary . Англо-Русский научно-технический словарь. 2005

DECIDABLE LANGUAGE — мат. разрешимый язык
Большой Англо-Русский словарь
DECIDABLE LANGUAGE — мат. разрешимый язык
Новый большой Англо-Русский словарь
DECIDABLE — adjective see: decide
Толковый словарь английского языка - Merriam Webster
LANGUAGE — I System of conventional spoken or written symbols used by people in a shared culture to communicate with each other. …
Английский словарь Британика
LANGUAGE — I. ˈlaŋgwij, ˈlaiŋ-, -wēj sometimes -ŋw- noun ( -s ) Usage: often attributive Etymology: Middle English langage, language, from Old …
Webster's New International English Dictionary
DECIDABLE — də̇ˈsīdəbəl, dēˈ- adjective : capable of being decided ; specifically : capable of being decided as following or not following …
Webster's New International English Dictionary
DECIDABLE — (a.) Capable of being decided; determinable.
Английский словарь Webster
DECIDABLE — ( a. ) Capable of being decided; determinable.
Webster's Revised Unabridged English Dictionary
LANGUAGE — /lang"gwij/ , n. 1. a body of words and the systems for their use common to a people who are …
Random House Webster's Unabridged English Dictionary
DECIDABLE — — decidability , n. /di suy"deuh beuhl/ , adj. 1. capable of being decided. 2. Logic. (of an axiom, proposition, …
Random House Webster's Unabridged English Dictionary
DECIDABLE — adj. able to be decided, concludable
Толковый словарь английского языка - Редакция bed
DECIDABLE — see decide
Merriam-Webster's Collegiate English vocabulary
LANGUAGE — noun a race, as distinguished by its speech. 2. language ·vt to communicate by language; to express in language. 3. …
Webster English vocab
DECIDABLE — adj capable of being decided; determinable.
Webster English vocab
LANGUAGE — a system of conventional spoken or written symbols by means of which human beings, as members of a social group …
Britannica English vocabulary
LANGUAGE — / ˈlæŋgwɪdʒ; NAmE / noun OF A COUNTRY 1. [ C ] the system of communication in speech and writing …
Oxford Advanced Learner's English Dictionary
LANGUAGE — lan ‧ guage S1 W1 /ˈlæŋɡwɪdʒ/ BrE AmE noun [ Date: 1200-1300 ; Language: Old French ; Origin: langue 'tongue, …
Longman Dictionary of Contemporary English
LANGUAGE — n. 1 the method of human communication, either spoken or written, consisting of the use of words in an agreed …
Concise Oxford English Dictionary
LANGUAGE — n.1 the method of human communication, either spoken or written, consisting of the use of words in an agreed way. …
Oxford English vocab
LANGUAGE — ( languages) Frequency: The word is one of the 1500 most common words in English. 1. A language is a …
Collins COBUILD Advanced Learner's English Dictionary
LANGUAGE — noun COLLOCATIONS FROM OTHER ENTRIES a computer language (= a system of instructions used to program a computer ) a …
Longman DOCE5 Extras English vocabulary
LANGUAGE — n. Common Business Oriented Language. HyperText Markup Language Practical Extraction and Reporting Language. Standard Generalized Markup Language Structured Query Language. …
Britannica Concise Encyclopedia
LANGUAGE — INDEX: 1. the words used by the people in a particular country or area 2. the use of words to …
Longman Activator English vocab
DECIDABLE — decidability
FOLDOC Computer English Dictionary
LANGUAGE — сущ. язык а) (как способ и средство общения) речь to butcher, murder a language ≈ искажать язык to enrich a …
Большой Англо-Русский словарь
DECIDABLE — разрешимый effectively decidable function ≈ эффективно разрешимая функция effectively decidable predicate ≈ эффективно разрешимый предикат effectively decidable relation ≈ эффективно …
Большой Англо-Русский словарь
LANGUAGE — language.ogg ʹlæŋgwıdʒ n 1. язык the Russian the English language - русский английский язык finger language - язык жестов, язык …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
DECIDABLE — a разрешимый decidable set - мат. разрешимое множество
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
LANGUAGE — язык - absolute language - algorithmical language - algorithmic language - applicative language - artificial language - assembler language - …
Большой Англо-Русский политехнический словарь
LANGUAGE — язык - absolute language - algorithmical language - algorithmic language - applicative language - artificial language - assembler language - block-structured language - Boolean algebra-based language - Boolean based …
Большой Англо-Русский политехнический словарь - РУССО
LANGUAGE — язык absolutely adequate language — абсолютно адекватный язык absolutely homogeneous language — абсолютно однородный язык absolutely inadequate language — абсолютно неадекватный язык absolutely nonhomogeneous …
Англо-Русский научно-технический словарь
DECIDABLE — разрешимый - completely decidable - effectively decidable - formally decidable - numeralwise decidable - partially decidable
Англо-Русский научно-технический словарь
LANGUAGE — language сущ.языка) (как способ и средство общения) речь to butcher, murder a language — искажать язык to enrich a language …
Англо-Русский словарь Tiger
DECIDABLE — (a) разрешимый
English-Russian Lingvistica'98 dictionary
DECIDABLE — a разрешимый ~ set - мат. разрешимое множество
Новый большой Англо-Русский словарь - Апресян, Медникова
LANGUAGE — n 1. язык the Russian the English language - русский английский язык finger language - язык жестов, язык глухонемых living …
Большой новый Англо-Русский словарь
DECIDABLE — a разрешимый decidable set - мат. разрешимое множество
Большой новый Англо-Русский словарь
LANGUAGE — сущ. язык а) ( как способ и средство общения ) речь to butcher, murder a language — искажать язык to …
Англо-Русский словарь по общей лексике
LANGUAGE — сущ. язык а) (как способ и средство общения) речь to butcher, murder a language — искажать язык to enrich a language — обогащать язык to …
Англо-Русский словарь общей лексики
LANGUAGE — 1) язык || языковой 2) машинный язык; набор символов ( машины ) • - algorithmic language - application-oriented language - …
Англо-Русский словарь по машиностроению и автоматизации производства 2
LANGUAGE — 1) язык || языковой 2) машинный язык; набор символов (машины) • - algorithmic language - application-oriented language - applicative language - APT programming language - APT-based language - …
Англо-Русский словарь по машиностроению и автоматизации производства
LANGUAGE — язык || языковой - absolute language - action description language - actual machine language - AI language - Algol-like language - algorithmical language - algorithmic language - application-oriented …
Англо-Русский словарь по вычислительной технике и программированию
LANGUAGE — язык || языковой - AI language - Algol-like language - Bollean-based language - C-based language - Dyck language - NC …
Англо-Русский словарь компьютерных терминов
LANGUAGE — вчт. язык (программирования) - assembly language - Basic language - C language - CHILL language - common business-oriented language - computer language - computer-oriented language - control language - Fortran …
Англо-Русский словарь по телекоммуникациям
LANGUAGE — 1) язык 2) формулировка, формулировки; текст, буква (закона, договора) • language in force — действующая формулировка - abusive language - arresting language - bad language - basic …
Англо-Русский юридический словарь
LANGUAGE — язык; языковой - absolute language - computer language - dead language - down-to-earth language - indexing language - information retrieval language - language of law - language prescribed - …
Англо-Русский словарь по патентам и товарным знакам
LANGUAGE — язык см. algorithmic language см. artificial language см. cryptographic language см. data definition language см. data description language см. human …
Англо-Русский словарь компьютерной безопасности
LANGUAGE — сущ. язык а) (как способ и средство общения) речь to butcher, murder a language ≈ искажать язык to enrich a …
Новый большой Англо-Русский словарь
DECIDABLE — разрешимый effectively decidable function ≈ эффективно разрешимая функция effectively decidable predicate ≈ эффективно разрешимый предикат effectively decidable relation ≈ эффективно …
Новый большой Англо-Русский словарь
DECIDE — verb (~d; deciding) Etymology: Middle English, from Latin ~re, literally, to cut off, from de- + caedere to cut Date: …
Толковый словарь английского языка - Merriam Webster
DETERMINABLENESS — n. ability to be determined; quality of being decidable, quality of being able to be settled
Толковый словарь английского языка - Редакция bed
DETERMINABILITY — n. ability to be determined; quality of being decidable, quality of being able to be settled
Толковый словарь английского языка - Редакция bed
DECIDE — ■ verb come to or bring to a resolution in the mind as a result of consideration. ↘give a judgement …
Concise Oxford English vocab
METALOGIC — the study and analysis of the semantics (relations between expressions and meanings) and syntax (relations among expressions) of formal languages …
Britannica English vocabulary
LOGIC, HISTORY OF — In 1900 logic was poised on the brink of the most active period in its history. The late 19th-century work …
Britannica English vocabulary
ALGORITHM — systematic procedure that producesin a finite number of stepsthe answer to a question or the solution of a problem. The …
Britannica English vocabulary
DECIDE — v. 1 a intr. (often foll. by on, about) come to a resolution as a result of consideration. b tr. …
Concise Oxford English Dictionary
DECIDE — v. 1. a intr. (often foll. by on, about) come to a resolution as a result of consideration. b tr. …
Oxford English vocab
DECIDABILITY — < mathematics > A property of sets for which one can determine whether something is a member or not in …
FOLDOC Computer English Dictionary
РАЗРЕШИМЫЙ — adj. solvable, decidable, resolvable; аффинно-разрешимый, affine-resolvable; разрешимая длина, solvable length; разрешимое множество, recursive set (logic)
Russian-English Dictionary of the Mathematical Sciences
RELATION — 1) зависимость 2) касательность 3) отношение 4) реляционный 5) родственность 6) связь 7) соотношение • almost regular relation — почти регулярное отношение almost universal relation — почти универсальное отношение causal …
Англо-Русский научно-технический словарь
PREDICATE — 1) предикат 2) предикатный 3) сказуемое 4) утверждать • classical predicate calculus — классическое исчисление предикатов completely defined predicate — полностью определенный предикат completely representable predicate — …
Англо-Русский научно-технический словарь
FUNCTION — 1) функция, действие || функционировать; действовать - decision-making function - essential functions - routine function - safety-related functions 2) функциональное назначение; роль - auxilliary function - circuit …
Англо-Русский научно-технический словарь
FORMULA — 1) рецепт 2) формула || формульный 3) формулировка • to follow the formula — подчиняться [следовать] формуле; описываться формулой - arithmetically provable formula - arithmetically valid …
Англо-Русский научно-технический словарь

Англо-Русский научно-технический словарь

← DECIDABLE FORMULA DECIDABLE PREDICATE→