Перевод: с русского на английский

с английского на русский

С английского на:
Русский
С русского на:
Английский

binary+predicate

Толкование Перевод

1 двуместный предикат

binary predicate, dyadic predicate, two-place predicate

Русско-английский словарь по электронике > двуместный предикат
2 двуместный предикат

binary predicate, dyadic predicate, two-place predicate

Русско-английский словарь по радиоэлектронике > двуместный предикат
3 двуместный предикат

binary predicate мат., dyadic predicate, two-place predicate

Русско-английский научно-технический словарь Масловского > двуместный предикат
4 двуместный предикат

Mathematics: binary predicate, dyadic predicate, two-place predicate

Универсальный русско-английский словарь > двуместный предикат
5 логика

ло́гика ж.
logic
адапти́вная ло́гика — adaptive logic

бина́рная ло́гика — binary logic

ло́гика «большинства́» — majority logic

вероя́тностная ло́гика — probabilistic logic

ло́гика выска́зываний — propositional logic

диалекти́ческая ло́гика — dialectical logic

N-зна́чная ло́гика — N-valued logic

интенсиона́льная ло́гика — intensional logic

интуициони́стская ло́гика — intuitiotistic logic

комбинато́рная ло́гика — combinatorial [combinatory] logic

конструкти́вная ло́гика — constructive logic

мажорита́рная ло́гика — majority logic

математи́ческая ло́гика — mathematical logic

многозна́чная ло́гика — many-valued logic

мода́льная ло́гика — modal logic

нерегуля́рная ло́гика — irregular logic

отрица́тельная ло́гика — negative logic

положи́тельная ло́гика — positive logic

поро́говая ло́гика — threshold logic

ло́гика предика́тов — predicate logic

ло́гика прерыва́ния — interrupt logic

программи́руемая ло́гика — programmable logic

символи́ческая ло́гика — symbolic logic

стати́ческая ло́гика — static logic

теорети́ческая ло́гика — mathematical logic

трои́чная ло́гика — ternary logic

форма́льная ло́гика — formal logic

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

ж. logic

адаптивная логика — adaptive logic

бинарная логика — binary logic

логика «большинства» — majority logic

вероятностная логика — probabilistic logic

логика высказываний — propositional logic

диалектическая логика — dialectical logic

N-значная логика — N-valued logic

интенсиональная логика — intensional logic

интуиционистская логика — intuitiotistic logic

комбинаторная логика — combinatorial logic

конструктивная логика — constructive logic

мажоритарная логика — majority logic

математическая логика — mathematical logic

многозначная логика — many-valued logic

модальная логика — modal logic

нерегулярная логика — irregular logic

отрицательная логика — negative logic

положительная логика — positive logic

пороговая логика — threshold logic

логика предикатов — predicate logic

логика прерывания — interrupt logic

программируемая логика — programmable logic

символическая логика — symbolic logic

статическая логика — static logic

теоретическая логика — mathematical logic

арифметическая логика — arithmetic logic

встроенная логика платы — on-board logic

двухканальная логика — double-rail logic

немонотонная логика — nonmonotonic logic

односортная логика — single-sorted logic

Русско-английский большой базовый словарь > логика
7 символ

1. cipher

2. token

3. emblem

4. digit

двоичный символ — binary digit

ошибка символа — digital error

служебный символ — sample digit

записанные символы — stored digits

ошибка на символ — error per digit

5. icon

6. letter

символ ключа — key letter

символы кодов операций — function letters

функциональные символы — function letters

символ активного дисковода — current drive letter

7. sign

символ диеза — pound sign

проектирование символа — character design

символ сигнала данных — data signal symbol

8. symbolic unit

предикатный символ — predicate symbol

пульсирующий символ — flashing symbol

символ НЕ ЗАЗЕМЛЯТЬ — unground symbol

терминальный символ — terminal symbol

генерация символов — symbol generation

9. badge

10. char

11. character

предупреждающий символ — warning character

рукописный символ — hand-printed character

символ - разделитель — delimiter character

символ исправления — replacement character

недействительный символ — invalid character

12. symbols

следующие символы — following symbols

символ входа; имя входа — entry symbol

символ присвоения — colon equal symbol

синоптический символ — synoptic symbol

индицируемый символ — displaying symbol

13. trappings

символы власти — trappings of power

символ монархии — trappings of monarchy

14. symbol

вводить символ — insymbol

место символа — symbol rank

символ входа — entry symbol

лишние символы — odd symbols

форма символа — symbol shape

Русско-английский большой базовый словарь > символ

См. также в других словарях:

Binary heap — Example of a complete binary max heap Example of a complete binary min heap A binary … Wikipedia
Monadic predicate calculus — In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P… … Wikipedia
BIT predicate — In mathematical logic, the BIT predicate, sometimes written BIT(i,j), is a predicate which tests whether the j th bit of the number i is 1, when i is written in binary. The BIT predicate is often examined in the context of first order logic,… … Wikipedia
Enhanced TV Binary Interchange Format — (EBIF) is a multimedia content format defined by a specification [cite paper | author = ETV Working Group | title = Enhanced TV Binary Interchange Format 1.0 | version = I04 | date = 2007 09 21 | publisher = Cable Laboratories, Inc. | url =… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Implementation of mathematics in set theory — This article examines the implementation of mathematical concepts in set theory. The implementation of a number of basic mathematical concepts is carried out in parallel in ZFC (the dominant set theory) and in NFU, the version of Quine s New… … Wikipedia
Carry look-ahead adder — A carry look ahead adder is a type of adder used in digital logic. It can be contrasted with the simpler, but usually slower, ripple carry adder ( see adder for detail on ripple carry adders ). A ripple carry adder works in the same way as pencil … Wikipedia
Carry-lookahead adder — 4 bit adder with carry lookahead A carry lookahead adder (CLA) is a type of adder used in digital logic. A carry lookahead adder improves speed by reducing the amount of time required to determine carry bits. It can be contrasted with the simpler … Wikipedia
Standard Template Library — C++ Standard Library fstream iomanip ios iostream sstream string … Wikipedia
Ternary logic — A ternary, three valued or trivalent logic (sometimes abbreviated 3VL) is a term to describe any of several multi valued logic systems in which there are three truth values indicating true , false and some third value. This is contrasted with the … Wikipedia
Second-order logic — In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… … Wikipedia

Словари и энциклопедии на Академике

Перевод: с русского на английский

binary+predicate

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с русского на английский

binary+predicate

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: