FINITE AXIOMATIZATION

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

матем. конечная аксиоматизация

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

FINITE AXIOMATIZATION — мат. конечная аксиоматизация
Большой Англо-Русский словарь
FINITE AXIOMATIZATION — мат. конечная аксиоматизация
Новый большой Англо-Русский словарь
FINITE — 1. pp of finir ; 2. adj finite
Interlingua English vocab
FINITE — finit, limitat
English interlingue dictionary
FINITE — may katapusan;may kinutuban;tumatapos
English-Visayan vocabulary
FINITE — adjective Etymology: Middle English finit, from Latin finitus, past participle of finire Date: 15th century 1. having de~ or definable …
Толковый словарь английского языка - Merriam Webster
AXIOMATIZATION — noun Date: 1931 the act or process of reducing to a system of axioms, axiomatize transitive verb
Толковый словарь английского языка - Merriam Webster
FINITE — I. ˈfīˌnīt, usu -nīd.+V adjective Etymology: Middle English finit, from Latin finitus, past participle of finire to limit, finish, end …
Webster's New International English Dictionary
AXIOMATIZATION — ˌaksēˌäməd.ə̇ˈzāshən, -məˌtīˈz- noun ( -s ) : the act or process of axiomatizing — compare formalization
Webster's New International English Dictionary
FINITE — (a.) Having a limit; limited in quantity, degree, or capacity; bounded; -- opposed to infinite; as, finite number; finite existence; …
Английский словарь Webster
FINITE — — finitely , adv. — finiteness , n. /fuy"nuyt/ , adj. 1. having bounds or limits; not infinite; measurable. 2. …
Random House Webster's Unabridged English Dictionary
FINITE — adj. having limitations, having bounds; subject to limits or restrictions; can be counted (Mathematics)
Толковый словарь английского языка - Редакция bed
AXIOMATIZATION — n. act of expressing a theory as a set of axioms; process of reducing to a system of axioms (also …
Толковый словарь английского языка - Редакция bed
FINITE — adjective Etymology: Middle English finit, from Latin finitus, past participle of finire Date: 15th century 1. a. : having definite …
Merriam-Webster's Collegiate English vocabulary
AXIOMATIZATION — noun Date: 1931 : the act or process of reducing to a system of axioms • ax·i·om·a·tize -sē-ˈä-mə-ˌtīz transitive verb
Merriam-Webster's Collegiate English vocabulary
FINITE — adj having a limit; limited in quantity, degree, or capacity; bounded; opposed to infinite; as, finite number; finite existence; …
Webster English vocab
FINITE — [fi.nite] adj [ME finit, fr. L finitus, pp. of finire] (15c) 1 a: having definite or definable limits "~ number …
Merriam-Webster English vocab
AXIOMATIZATION — [ax.i.omat.iza.tion] n (1931): the act or process of reducing to a system of axioms -- ax.i.om.a.tize vt
Merriam-Webster English vocab
FINITE — finite BrE AmE ˈfaɪn aɪt ▷ finite|ly li ▷ finite|ness nəs nɪs
Longman Pronunciation English Dictionary
FINITE — / ˈfaɪnaɪt; NAmE / adjective 1. having a definite limit or fixed size : a finite number of possibilities The …
Oxford Advanced Learner's English Dictionary
FINITE — fi ‧ nite AC /ˈfaɪnaɪt/ BrE AmE adjective [ Word Family: adjective : ↑ finite ≠ ↑ infinite ] [ …
Longman Dictionary of Contemporary English
FINITE — 1. Something that is finite has a definite fixed size or extent. ( FORMAL ) Only a finite number of …
Collins COBUILD Advanced Learner's English Dictionary
FINITE — adjective COLLOCATIONS FROM OTHER ENTRIES a finite resource (= one which is limited in amount, so that it will no …
Longman DOCE5 Extras English vocabulary
FINITE — (GRAMMAR) [adjective] [not gradable] - in a form that shows the tense and subject of a verb, rather than the …
Cambridge English vocab
FINITE — adj. Function: adjective having definite or definable limits or boundaries FF1C; a finite thickness FF1E; Synonyms: bound, bounded, limited Related …
Collegiate Thesaurus English vocab
FINITE — adjective having definite or definable limits or boundaries a finite thickness Synonyms: bound, bounded, limited Related Word: confined, restricted; definable, …
Collegiate Thesaurus English vocabulary
FINITE — adj. Finite is used with these nouns: ↑ clause , ↑ limit , ↑ number , ↑ resource , ↑ …
Oxford Collocations English Dictionary
FINITE — adj. limited, bounded, bound, restricted, delimited, numerable, countable It has been shown that there are a finite number of grains …
Oxford Thesaurus English vocab
FINITE — прил. 1) ограниченный, имеющий предел finite number of possibilities ≈ ограниченное число возможностей finite risk Syn : limited Ant : …
Большой Англо-Русский словарь
AXIOMATIZATION — аксиоматизация, аксиоматизируемость - axiomatization process - finite axiomatization - syntactic axiomatization Аксиоматизация
Большой Англо-Русский словарь
FINITE — finite.ogg ʹfaınaıt a 1. 1> ограниченный, имеющий предел 2> мат. ограниченный, конечный 2. грам. личный ( о глаголе )
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
FINITE — 1) конечный; ограниченный 2) матем. финитарный, финитный • - asymptotically finite - boundedly finite - closure finite - essentially finite - locally finite - neighborhood finite - pointwise finite - …
Англо-Русский научно-технический словарь
AXIOMATIZATION — аксиоматизация - finite axiomatization - syntactic axiomatization
Англо-Русский научно-технический словарь
AXIOMATIZATION — (n) аксиоматизация
English-Russian Lingvistica'98 dictionary
FINITE — прил. 1) ограниченный, имеющий предел finite number of possibilities — ограниченное число возможностей - finite risk Syn: limited Ant: infinite …
Англо-Русский словарь по общей лексике
FINITE — прил. 1) ограниченный, имеющий предел finite number of possibilities — ограниченное число возможностей - finite risk Syn: limited Ant: infinite 2. 2) имеющий ограниченный срок существования; смертный finite being …
Англо-Русский словарь общей лексики
FINITE — _a. 1> ограниченный, имеющий предел - finite risk 2> _грам. личный (о глаголе)
Англо-Русский словарь Мюллера - 24 редакция
FINITE — a. 1. ограниченный, имеющий предел - finite risk 2. грам. личный (о глаголе)
Англо-Русский словарь Мюллера - редакция bed
FINITE — прил. имеющий предел, ограниченный - finite data - finite optimum Syn: restricted, narrow
Англо-Русский словарь по экономике
FINITE — _a. 1> ограниченный, имеющий предел; finite risk некоторый риск 2> _грам. личный (о глаголе)
Англо-Русский словарь Мюллера
FINITE — прил. 1) ограниченный, имеющий предел finite number of possibilities ≈ ограниченное число возможностей finite risk Syn : limited Ant : …
Новый большой Англо-Русский словарь
AXIOMATIZATION — аксиоматизация, аксиоматизируемость - axiomatization process - finite axiomatization - syntactic axiomatization Аксиоматизация
Новый большой Англо-Русский словарь
SYNTACTIC AXIOMATIZATION — мат. синтаксическая аксиоматизация
Большой Англо-Русский словарь
AXIOMATIZATION PROCESS — мат. процесс аксиоматизации
Большой Англо-Русский словарь
SYNTACTIC AXIOMATIZATION — матем. синтаксическая аксиоматизация
Англо-Русский научно-технический словарь
AXIOMATIZATION POLICY — стратегия выдвижения аксиом; стратегия аксиоматизации
Англо-Русский словарь по вычислительной технике и программированию
SYNTACTIC AXIOMATIZATION — мат. синтаксическая аксиоматизация
Новый большой Англо-Русский словарь
AXIOMATIZE — transitive verb see: axiomatization
Толковый словарь английского языка - Merriam Webster
AXIOMATISATION — see: axiomatization
Толковый словарь английского языка - Merriam Webster
A PRIORI — I. |āprē|ōrē, |ä-, |a-, |ȧ-, -ȯr-, -ri; |āˌprī|ōrˌī, -ȯˌrī, -ōrē, -ȯrē, -ri adverb Etymology: Latin, literally, from the former 1. …
Webster's New International English Dictionary
FORMALIZATION — ˌ ̷ ̷mələ̇ˈzāshən, -ˌlīˈz- noun ( -s ) : an act of formalizing or the state of being formalized — compare axiomatization
Webster's New International English Dictionary
AXIOMATISATION — n. act of expressing a theory as a set of axioms; process of reducing to a system of axioms (also …
Толковый словарь английского языка - Редакция bed
AXIOMATIZE — see axiomatization
Merriam-Webster's Collegiate English vocabulary
AXIOMATISATION — chiefly British variant of axiomatization
Merriam-Webster's Collegiate English vocabulary
AXIOMATISATION — [ax.i.omat.isa.tion] chiefly Brit var of axiomatization
Merriam-Webster English vocab
VON NEUMANN, JOHN — born Dec. 3, 1903, Budapest, Hung. died Feb. 8, 1957, Washington, D.C., U.S. original name Johann Von Neumann Hungarian-American mathematician …
Britannica English vocabulary
MATHEMATICISM — the effort to employ the formal structure and rigorous method of mathematics as a model for the conduct of philosophy. …
Britannica English vocabulary
АКСИОМАТИЗАЦИЯ — f. axiomatization
Russian-English Dictionary of the Mathematical Sciences
POLICY — политика, стратегия; образ действий - account policy - axiomatization policy - data policy - database selection policy - security policy
Англо-Русский словарь по вычислительной технике и программированию
СИНТАКСИЧЕСКАЯ АКСИОМАТИЗАЦИЯ — мат. syntactic axiomatization
Большой Русско-Английский словарь
ПРОЦЕСС АКСИОМАТИЗАЦИИ — мат. axiomatization process
Большой Русско-Английский словарь
АКСИОМАТИЗИРУЕМОСТЬ — axiomatizability, axiomatization
Большой Русско-Английский словарь
АКСИОМАТИЗАЦИЯ — axiomatization
Большой Русско-Английский словарь

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

← FINITE AXIOMATIZABILITY FINITE BASIS→