АРИФМЕТИКА ПРЕДИКАТІВ переклад з української на англійську, translation Ukrainian to English

Великий українсько-англійський словник. New big Russian-English dictionary. 2012

Ще значення слова та переклад АРИФМЕТИКА ПРЕДИКАТІВ з англійської на українську мову в англо-українських словниках.

Більше інформації про це слово та англійською-російською, російською-англійською мовою для АРИФМЕТИКА ПРЕДИКАТІВ in dictionaries.

  • АРИФМЕТИКА - f. аритметичний; номер теорії Російський-англійський Dictionary of the Mathematical Sciences
  • АРИФМЕТИКА — Arithmetic українсько-американський англійський словник
  • АРИФМЕТИКА ?? — Arithmetical українсько-американський англійський словник
  • АРИФМЕТИКА ?? — Arithmetic українсько-американський англійський словник
  • АРИФМЕТИКА — arithmetic Англійсько-українсько-Англійська словник загальної лексики - Збірник з найкращих словників
  • АРИФМЕТИКА - arithmetic; підручник

ічна задача problem, sum arithmetic українсько-Англійська словник загальної тематики

  • АРИФМЕТИКА — Arithmetics Russian Learner's Dictionary
  • АРИФМЕТИКА — arithmetic Russian Learner's Dictionary
  • АРИФМЕТИКА - ж. arithmetic українсько-англійський словник
  • АРИФМЕТИКА - ж. arithmetic Російський-Англійський Smirnitsky abreviations dictionary
  • АРИФМЕТИКА - десяткова арифметика: decimal arithmetic Russian-English Edic
  • АРИФМЕТИКА - дружин. arithmetic українсько-Англійський короткий словник із загальної лексики
  • АРИФМЕТИКА — Arithmetic Британський українсько-англійський словник
  • АРИФМЕТИКА - arithmetic; підручник

    • ічна задача problem, sum українсько-Англійська словник - QD

  • АРИФМЕТИКА - мистецтвообчислень, що виробляються з позитивними дійсними числами. Коротка історія арифметики. З давніх-давен робота з числами підрозділялася на дві різні … український словник Colier
  • АРИФМЕТИКА - дружин. Арифметична арифметика - ж. arithmetic підручник

    • ічна задача problem, sum Великий українсько-англійський словник

  • АРИФМЕТИКА — арифметика arithmetic українсько-англійський словник Сократ
  • ЧИП - abbrev (чисте обчислення предикатів), pure predicate calculus
  • УІП - abbrev (вузьке обчислення предикатів), restricted predicate calculus Російська-англійська Dictionary of the Mathematical Sciences
  • ПРЕДИКАТ - m. predicate; обчислення предикатів, predicate calculus Російський-англійський Dictionary of the Mathematical Sciences
  • ПІП - abbrev (прикладне обчислення предикатів), applied predicate calculus Російська-англійська Dictionary of the Mathematical Sciences
  • TWO-VALUED - двозначний property of being two-valued - матем. двозначність two-valued predicate calculus ≈ двозначне [класичне] обчислення предикатів two-valued propositional calculus ≈ … Великий Англо-український словник
  • TWO'S COMPLEMENT ARITHMETIC — арифметика додаткових кодів, арифметика кодів з доповненням до двох Великий Англо-Український словник
  • THREE R'S - розг. читання, лист та арифметика (reading, (w)riting, (а)rithmetic) скор. від reading, 'riting, 'rithmetic) (шкільне) (розмовне) читання, лист, арифметика Великий Англо-український словник
  • SUM - 1. істот. 1) сума, кількість; величина, підсумок, сукупність to raise a sum (of money) ≈ дістати суму грошей considerable sum, … Великий Англо-український словник
  • SET-THEORETIC - теоретико-множинний set-theoretic predicate logic - теоретико-множинна логіка предикатів - set-theoretic geometry - set-theoretic interpretation - set-theoretic intersection - set-theoretic jog … Великий Англо-український словник
  • RESTRICTED PREDICATE CALCULUS - лог. вузьке обчислення предикатів Великий Англо-український словник
  • QUANTIFICATIONAL LOGIC - мат. логіка предикатів Великий Англо-український словник
  • PREDICATIVE CALCULUS - лог. обчислення предикатів Великий Англо-український словник
  • PREDICATIVE ARITHMETIC — арифметика предикатів Великий Англо-Український словник
  • PREDICATE TRANSFORMER — перетворювач предикатів (функція, що відображає предикати на предикати) Великий Англо-Український словник
  • PREDICATE OF PREDICATES - мат. предикат предикатів Великий Англо-український словник
  • PREDICATE LOGIC LANGUAGE — мова (програмування), заснована на логіці предикатів Великий Англо-український словник
  • PREDICATE LOGIC-BASED LANGUAGE — мова (програмування), заснована на логіці предикатів Великий Англо-Український словник
  • PREDICATE LANGUAGE — мова предикатів Великий Англо-Український словник
  • PREDICATE HIERARCHY - мат. ієрархія предикатів Великий Англо-український словник
  • PREDICATE DOMAIN - мат. область предикатів Великий Англо-український словник
  • PREDICATE CALCULUS - обчислення предикатів балка. обчислення предикатів Великий Англо-український словник
  • NUMBER - 1. Існ. 1) а) мат. число; сума, цифра; австрал. арифметика high number ≈ велике число low number ≈ невелике число … Великий Англо-український словник
  • MONADIC – комп'ют. одномісний monadic [monic] homomorphism ≈ ін'єктивний гомоморфізм, мономорфізм monadic predicate calculus ≈літочислення одномісних предикатів - monadic algebra - … Великий Англо-український словник
  • LANGUAGE - Існ. мова а) (як спосіб та засіб спілкування) мова to butcher, murder a language ≈ спотворювати мову to enrich a … Великий Англо-український словник
  • HIGHER PREDICATE CALCULUS — обчислення предикатів вищих порядків Великий Англо-український словник
  • FUNCTIONAL — (математика) функціональний функціональний - * architecture функціонально-спрямована архітектура - * style (архітектура) функціональний стиль - * modern furniture функціональна сучасна … Великий Англо-український словник
  • FIGURE - 1. істот. 1) а) фігура (фізичний образ людини); статура; зовнішні обриси, форма тіла The gown showed off her lovely figure. … Великий Англо-український словник
  • DERIVATION - сут. 1) походження, джерело, початок Why hast thou asked my derivation? - Чому ти запитав мене про моє походження? Syn … Великий Англо-український словник
  • CALCULUS - I істот.; мн. -li; мед. камінь bladder calculi ≈ камені в сечовому міхурі Syn : stone II сущ.; мн. -es … Великий Англо-український словник
  • ARITHMETIC - 1. істот. арифметика; рахунок 2. дод.; = arithmetical арифметика - four operations of * чотири дії арифметики (розмовна) арифметика, знання … Великий Англо-український словник
  • FUNCTIONAL - functional.ogg 1. ʹfʌŋkʃ(ə)nəl n мат. функціонал 2. ʹfʌŋkʃ(ə)nəl a 1. функціональний functional architecture - функціонально-спрямована архітектура functional stile - архіт. … Англо-українсько-Англійський словник загальної лексики - Збірник із найкращих словників
  • ARITHMETIC - arithmetic.ogg 1. əʹrıθmətık n 1. 1> арифметика four operations of arithmetic - чотири дії арифметики 2> розг. арифметика, знання арифметики. Англо-українсько-Англійська словник загальної лексики - Збірник з найкращих словників
  • PREDICATE - 1) предикат 2) предикатний 3) присудок 4) стверджувати • classical predicate calculus - класичне обчислення предикатів completely defined predicate - повністю визначений предикат completely representable predicate - …
  • IDENTITY - 1) завжди-істинність 2) завжди-істинний 3) одиниця 4) одиничний 5) ідентичність 6) індивідуальність 7) конгруентність 8) однаковість 9) впізнання 10) ототожнення 11) природа 12) тотожність 13) тотожність element — приєднання … Англо-український науково-технічний словник
  • CALCULUS - обчислення predicate calculus with generalization - обчислення предикатів з узагальненням predicate calculus with identity - обчислення предикатів одиницею predicate calculus without identity - … Англо-український науково-технічний словник
  • ARITHMETIC - 1. [əʹrıθmətık] n 1. 1) арифметика four operations of

    • - чотири дії арифметики 2) розг. арифметика, знання арифметики his … Новий великий Англо-Український словник - Апресян, Меднікова

  • ARITHMETIC - 1. əʹrıθmətık n 1. 1> арифметика four operations of arithmetic - чотири дії арифметики 2> розг. арифметика, знання арифметики his … Великий новий Англо-український словник
  • PROLOG - (programming in logic) Пролог. Мова програмування, що базується на обчисленні предикатів і використовується в задачах штучного інтелекту. Програма на Пролозі передбачає … Англо-український словник з комп'ютерів
  • N-ORDER LOGIC - обчислення предикатів N-ного порядку. Обчислення предикатів, в якому як аргументи предикатів і кванторів можуть виступати предикатипорядку від нуля … Англо-український словник з комп'ютерів
  • MODULAR ARITHMETIC — арифметика у залишкових класах, модулярна (модульна) арифметика, арифметика відрахувань Англо-український словник комп'ютерної безпеки
  • CLOCK ARITHMETIC — (modular arithmetic) арифметика в залишкових класах, модулярна (модульна) арифметика, арифметика відрахувань Англо-український словник комп'ютерної безпеки
  • SUM - 1. істот. 1) сума, кількість; величина, підсумок, сукупність to raise a sum (of money) ≈ дістати суму грошей considerable sum, … Новий великий Англо-український словник
  • PREDICATE CALCULUS - обчислення предикатів балка. обчислення предикатів Новий великий Англо-український словник
  • NUMBER - 1. Існ. 1) а) мат. число; сума, цифра; австрал. арифметика high number ≈ велике число low number ≈ невелике число … Новий великий Англо-український словник
  • FIGURE - 1. істот. 1) а) фігура (фізичний образ людини); статура; зовнішні обриси, форма тіла The gown showed off her lovely figure. … Новий великий Англо-український словник
  • CALCULUS - I істот.; мн. -li; мед. камінь bladder calculi ≈ камені в сечовому міхурі Syn : stone II сущ.; мн. -es … Новий великий Англо-український словник
  • ARITHMETIC - 1. істот. арифметика; рахунок 2. дод.; = арифметична арифметика - four operations of * чотири дії арифметики (розмовна) арифметика, знання … Новий великий Англо-Український словник