LOGIC FOR COMPUTABLE FUNCTIONS

Meaning of LOGIC FOR COMPUTABLE FUNCTIONS in English

< language > (LCF) Part of the Edinburgh proof assistant .

[What is it? Address?]

(1995-01-06)

FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012

COMPUTABLE — adjective Date: 1646 capable of being computed, computability noun
Толковый словарь английского языка - Merriam Webster
LOGIC — I Study of inference and argument. Inferences are rule-governed steps from one or more propositions, known as premises, to another …
Английский словарь Британика
LOGIC — I. ˈläjik, -jēk noun ( -s ) Etymology: Middle English logik, from Middle French logique, from Latin logica, from Greek …
Webster's New International English Dictionary
FOR — I. fə(r), (|)fȯ(ə)r, (|)fȯ(ə), in R speech in the southern US also (|)fär preposition Etymology: Middle English, from Old English; …
Webster's New International English Dictionary
FUNCTIONS — plural of function present third singular of function
Webster's New International English Dictionary
COMPUTABLE — kəmˈpyü]d.əbəl, ]təbəl also ˈkämpyə] adjective Etymology: Latin computabilis, from computare + -abilis -able : capable of being computed • com·put·ably …
Webster's New International English Dictionary
COMPUTABLE — (a.) Capable of being computed, numbered, or reckoned.
Английский словарь Webster
COMPUTABLE — ( a. ) Capable of being computed, numbered, or reckoned.
Webster's Revised Unabridged English Dictionary
LOGIC — — logicless , adj. /loj"ik/ , n. 1. the science that investigates the principles governing correct or reliable inference. 2. …
Random House Webster's Unabridged English Dictionary
COMPUTABLE — adj. calculable, estimable, enumerable
Толковый словарь английского языка - Редакция bed
LOGIC — noun Etymology: Middle English logik, from Anglo-French, from Latin logica, from Greek logikē, from feminine of logikos of reason, from …
Merriam-Webster's Collegiate English vocabulary
COMPUTABLE — adjective Date: 1646 : capable of being computed • com·put·abil·i·ty -ˌpyü-tə-ˈbi-lə-tē noun
Merriam-Webster's Collegiate English vocabulary
COMPUTABLE — adj capable of being computed, numbered, or reckoned.
Webster English vocab
COMPUTABLE — [com.put.able] adj (1646): capable of being computed -- com.put.abil.i.ty n
Merriam-Webster English vocab
LOGIC — the study of propositions and their use in argumentation. The major task of logic is to establish a systematic way …
Britannica English vocabulary
COMPUTABLE — computable BrE AmE kəm ˈpjuːt əb ə l ˈkɒm pjʊt- AmE \ -ˈpjuːt̬-
Longman Pronunciation English Dictionary
LOGIC — / ˈlɒdʒɪk; NAmE ˈlɑːdʒɪk/ noun 1. [ U ] a way of thinking or explaining sth : I fail to …
Oxford Advanced Learner's English Dictionary
LOGIC — lo ‧ gic /ˈlɒdʒɪk $ ˈlɑː-/ BrE AmE noun [ Word Family: noun : ↑ logic ; adverb : ↑ …
Longman Dictionary of Contemporary English
FOR — I. for 1 S1 W1 /fə; strong fɔː $ fər strong fɔːr/ BrE AmE preposition [ Language: Old English ] …
Longman Dictionary of Contemporary English
LOGIC — n. 1 a the science of reasoning, proof, thinking, or inference. b a particular scheme of or treatise on this. …
Английский основной разговорный словарь
LOGIC — n. 1 a the science of reasoning, proof, thinking, or inference. b a particular scheme of or treatise on this. …
Concise Oxford English Dictionary
LOGIC — n.1 a the science of reasoning, proof, thinking, or inference. b a particular scheme of or treatise on this. 2 …
Oxford English vocab
LOGIC — 1. Logic is a method of reasoning that involves a series of statements, each of which must be true if …
Collins COBUILD Advanced Learner's English Dictionary
FOR — Frequency: The word is one of the 700 most common words in English. Note: In addition to the uses shown …
Collins COBUILD Advanced Learner's English Dictionary
LOGIC — noun COLLOCATIONS FROM OTHER ENTRIES Boolean logic ▪ The program searches for information using Boolean logic . fuzzy logic logic …
Longman DOCE5 Extras English vocabulary
FOR
Longman DOCE5 Extras English vocabulary
LOGIC — n. deontic logic fuzzy logic logic design logic many valued logic philosophy of modal logic
Britannica Concise Encyclopedia
LOGIC — n. Study of inference and argument. Inferences are rule-governed steps from one or more propositions, known as premises, to another …
Britannica Concise Encyclopedia
LOGIC — Synonyms and related words : Aristotelian logic, Boolean algebra, Ramistic logic, admissibility, aesthetics, algebra of classes, algebra of relations, axiology, …
Moby Thesaurus English vocabulary
COMPUTABLE — a. Calculable.
Dictionary of English Synonyms
LOGIC — propositional logic quantifier paradox OR Charme first-order logic complete theory complete inference system complement sound temporal logic inference converse AND …
FOLDOC Computer English Dictionary
LOGIC — 1. < philosophy , mathematics > A branch of philosophy and mathematics that deals with the formal principles, methods and …
FOLDOC Computer English Dictionary
COMPUTABLE — computability theory
FOLDOC Computer English Dictionary
FUNCTIONS — The appropriate or assigned duties, responsibilities, missions, or tasks of an individual, office, or organization. As defined in the National …
DOD English Dictionary of Military Terms
LOGIC — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Большой Англо-Русский словарь
FUNCTIONS — Функции functions: cashier ~ обязанности кассира ceremonial ~ формальности custodian ~ функции опекуна по управлению активами несовершеннолетнего functions: cashier ~ …
Большой Англо-Русский словарь
FOR — (полная форма); (редуцированная форма) 1. союз 1) ибо; ввиду того, что (вводит придаточное причины) This is no party question, for …
Большой Англо-Русский словарь
COMPUTABLE — прил. исчислимый, исчисляемый Syn : calculating, countable, counting исчислимый, вычислимый; - * function (математика) вычислимая функция computable вычислимый ~ исчислимый
Большой Англо-Русский словарь
FUNCTIONS — Функция
Американский Англо-Русский словарь
FUNCTIONS — Функции
Американский Англо-Русский словарь
COMPUTABLE — Исчислимый
Американский Англо-Русский словарь
COMPUTABLE — Вычислимый
Американский Англо-Русский словарь
LOGIC — logic.ogg ʹlɒdʒık n 1. 1> логика ( наука ) 2> логика, логичность ( аргументации и т. п. ); разумность; закономерность …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
FOR — for.ogg 1. fɔ: n довод в пользу чего-л. fors and againsts - доводы за и против 2. fɔ: (полная форма); …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
COMPUTABLE — a исчислимый, вычислимый computable function - мат. вычислимая функция
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
LOGIC — 1) (математическая) логика 2) логика, логические схемы; логическая схема 3) логический узел; логическое устройство • - active logic - air …
Большой Англо-Русский политехнический словарь
LOGIC — 1) (математическая) логика 2) логика, логические схемы; логическая схема 3) логический узел; логическое устройство • - active logic - air logic - arbitration logic - array logic - …
Большой Англо-Русский политехнический словарь - РУССО
LOGIC — 1) логика 2) логический 3) словный • association of symbolic logic — ассоциация символической логики classical propositional logic — классическая логика высказываний countably complete logic — …
Англо-Русский научно-технический словарь
FUNCTIONS — должностные обязанности
Англо-Русский научно-технический словарь
COMPUTABLE — исчислимый, вычислимый computable by algorithm — вычислимый по алгоритму, алгоритмически вычислимый - completely computable - effectively computable - mechanically computable - partially computable - recursively computable - …
Англо-Русский научно-технический словарь
LOGIC — logic сущ.логика to apply, use logic — применять логику There is no logic in their policy. — Их политика нелогична. …
Англо-Русский словарь Tiger
COMPUTABLE — прил.исчислимый, исчисляемый Syn:calculating, countable, counting
Англо-Русский словарь Tiger
COMPUTABLE — (a) вычислимый; исчислимый
English-Russian Lingvistica'98 dictionary
COMPUTABLE — a исчислимый, вычислимый ~ function - мат. вычислимая функция
Новый большой Англо-Русский словарь - Апресян, Медникова
FOR — 1. fɔ: n довод в пользу чего-л. fors and againsts - доводы за и против 2. fɔ: (полная форма); fə …
Большой новый Англо-Русский словарь
COMPUTABLE — a исчислимый, вычислимый computable function - мат. вычислимая функция
Большой новый Англо-Русский словарь
COMPUTABLE — adj. исчислимый
English-Russian-dictionary - Bed release
COMPUTABLE — adj. исчислимый
English-Russian-dictionary - Bed release
LOGIC — сущ. логика to apply, use logic — применять логику There is no logic in their policy. — Их политика нелогична. …
Англо-Русский словарь по общей лексике
COMPUTABLE — прил. исчислимый, исчисляемый Syn: calculating , countable , counting
Англо-Русский словарь по общей лексике
LOGIC — сущ. логика to apply, use logic — применять логику There is no logic in their policy. — Их политика нелогична. clear logic — четкая …
Англо-Русский словарь общей лексики
COMPUTABLE — прил. исчислимый, исчисляемый Syn: calculating, countable, counting
Англо-Русский словарь общей лексики
LOGIC — 1) логика 2) логическая схема, логические схемы 3) логический блок или узел ( ЭВМ ) , логическая часть • - …
Англо-Русский словарь по машиностроению и автоматизации производства 2
COMPUTABLE — вычислимый; исчисляемый; вычислительный
Англо-Русский словарь по машиностроению и автоматизации производства 2

FOLDOC Computer English Dictionary

← LOGIC REPLACEMENT TECHNOLOGY LOGICAL BLOCK ADDRESSING→