-
81 нечеткий
indistinct, (напр. о логике) fuzzy -
82 общее суждение
( в логике) universal, superalternРусско-английский словарь по радиоэлектронике > общее суждение
-
83 свободный терм
( в логике) free termРусско-английский словарь по радиоэлектронике > свободный терм
-
84 суждение
account, ( в логике) proposition -
85 теория переключений
( в логике) switching theoryРусско-английский словарь по радиоэлектронике > теория переключений
-
86 трехзначный
(напр. о логике) ternary -
87 универсальный класс
( в логике) universeРусско-английский словарь по радиоэлектронике > универсальный класс
-
88 условие наследования
( в логике) guard condition вчт.Русско-английский словарь по радиоэлектронике > условие наследования
-
89 внесение
внесе́ние с.1. introduction2. ( в математической логике) importationвнесе́ние ды́рок полупр. — hole injection (into a semiconductor)внесе́ние удобре́ний — fertilizer application, dressing, fertilization -
90 высказывание
proposition, statement* * *выска́зывание с. ( в математической логике)
sentenceотрица́ть выска́зывание — negate a sentenceсоставля́ть выска́зывание — form a sentence -
91 дескрипция
-
92 значение
( расчетного параметра) level, ( величины) magnitude, sense* * *значе́ние с.1. ( размер величины) value, magnitudeвычисля́ть значе́ние — compute [calculate] a valueзадава́ть значе́ние — pre-assign [preset, prescribe, predetermine, specify] a valueнормирова́ть значе́ние — normalize a valueожида́ть значе́ние — expect a valueопределя́ть [оце́нивать] значе́ние — estimate a valueпринима́ть значе́ние1. (в расчётах, проектах) adopt [specify] a value2. (о какой-л. величине) take (on) [assume] a valueуточня́ть значе́ние — ( определять окончательное значение) finalize a value; ( проверять) verify a value2. ( важность) significance3. (смысл, содержание) meaning, senseабсолю́тное значе́ние — absolute value, magnitudeамплиту́дное значе́ние — peak [crest] valueасимптоти́ческое значе́ние — asymptotic valueбифуркацио́нное значе́ние — bifurcational valueвиртуа́льное значе́ние — virtual valueгла́вное значе́ние — principal valueграни́чное значе́ние — boundary valueдвоя́кое значе́ние — bifurcational valueдействи́тельное значе́ние — actual [real] valueде́йствующее значе́ние — effective [root-mean-square, rms] valueдопусти́мое значе́ние — legitimate [admissible, allowed, allowable] valueеди́нственное значе́ние — unique valueзапрещё́нное значе́ние — forbidden [unpermitted] valueи́стинное значе́ние — стат., мат. ideal value; ( в логике) truth valueзначе́ние и́стинности — truth valueконе́чное значе́ние — finite valueмаксима́льное значе́ние1. maximum value2. эл. peak valueмгнове́нное значе́ние — instantaneous valueнача́льное значе́ние — initial valueненулево́е значе́ние — non-zero valueнулево́е значе́ние — zero valueоконча́тельное значе́ние — final valueпредвари́тельное значе́ние — tentative valueпреде́льное значе́ние — limiting valueпроизво́льное значе́ние — arbitrary valueравнове́сное значе́ние — equilibrium valueразрешё́нное значе́ние — allowed [permitted] valueразря́дное значе́ние — place valueсо́бственное значе́ние — characteristic [proper] value, eigenvalue; ( матрицы) latent rootсредневзве́шенное значе́ние — weighted mean valueсре́днее значе́ние — mean, mean [average] valueсре́днее значе́ние по всем состоя́ниям — value averaged over all statesсре́днее арифмети́ческое значе́ние — arithmetical average, arithmetical meanсре́днее геометри́ческое значе́ние — geometrical meanсреднеквадрати́чное значе́ние — root-mean-square [effective, rms] valueстациона́рное значе́ние — steady-state [stationary] valueустанови́вшееся значе́ние — steady-state [stationary] valueуточнё́нное значе́ние ( в методе последовательных приближений) — improved valueхаракте́рное значе́ние — representative valueцелочи́сленное значе́ние — integral valueча́стное значе́ние — particular [special] valueчи́сленное значе́ние — numerical valueнаходи́ть чи́сленное значе́ние алгебраи́ческого выраже́ния — evaluate an (algebraic) expressionзначе́ние шкалы́, коне́чное — full scare valueэффекти́вное значе́ние — effective [root-mean-square, rms] value -
93 незнание
незна́ние с. ( в математической логике)
ignoranceаприо́рное незна́ние — prior ignoranceконе́чное незна́ние — final ignoranceнача́льное незна́ние — initial ignorance -
94 операция
operation вчт., making, operator, run, procedure, step* * *опера́ция ж.
operationвы́разить опера́цию че́рез штрих Ше́ффера ( в математической логике) — express an operation in terms of the Sheffer strokeзаверша́ть опера́цию — complete an operationза одну́ опера́цию — in one operationопера́ция над … мат. — operation on …начина́ть опера́цию вчт. — initiate an operationосуществля́ть [реализова́ть] опера́цию, напр. умноже́ния — perform the operation of, e. g., multiplicationосуществля́ть [реализова́ть] опера́цию умноже́ния с примене́нием, напр. сумми́рования и сдви́га вчт. — perform [carry out] multiplication by the combined operations of, e. g., addition and shiftingплани́ровать опера́цию вхо́да-вы́хода вчт. — schedule an input-output [I/ O] operationпрекраща́ть опера́цию вчт. — terminate an operationсовмеща́ть опера́ции (напр. чтения, записи и обработки данных) — overlap (e. g., read, write and process) operationsсовмеща́ть (выполне́ние) опера́ции вчт. — overlap operationsарифмети́ческая опера́ция — arithmetic(al) operation, arithmetic(s)арифмети́ческая опера́ция над поря́дками — exponent arithmetic(s)арифмети́ческая опера́ция с двойно́й то́чностью — double precision arithmetic(s)арифмети́ческая опера́ция с пла́вающей запято́й — floating-point arithmetic(s)арифмети́ческая опера́ция с фикси́рованной запято́й — fixed-point arithmeticsвычисли́тельная опера́ция — computationопера́ция Г ( в алгебре логики) — Pierce strokeопера́ция за́писи — write operationопера́ция запре́та — inhibit operationопера́ция И — AND operationопера́ция ИЛИ — OR operationлоги́ческая опера́ция — logical operationреализова́ть логи́ческую опера́цию аппарату́рно [физи́чески] — instrument [mechanize] a logical functionмаши́нная опера́ция — computer operationнала́дочная опера́ция — setting-up, adjustment, tuningопера́ция НЕ — NOT operationопера́ция «НЕ-И» — NAND operationопера́ция «НЕ-ИЛИ» — NOR operationнеобрати́мая опера́ция — irreversible operationотде́лочная опера́ция — finishing operationопера́ция отноше́ния ( в АЛГОЛе) — relation(al) operatorпо́лная опера́ция вчт. — complete operationпроизво́дственная опера́ция — ( в обрабатывающих отраслях) manufacturing operation; ( в перерабатывающих отраслях) processing operationплани́ровать произво́дственные опера́ции — schedule the operationsпроизво́дственная опера́ция обслу́живания — service operationпроизво́дственная, основна́я опера́ция — productive operationпроизво́дственные, вспомога́тельные опера́ции — auxiliary operationsопера́ция развё́ртывания ( в алгебре логики) — expansionраздели́тельная опера́ция метал. — shearing operationопера́ция счи́тывания — read operationтехнологи́ческая опера́ция — production operationопера́ция управле́ния — control operation -
95 переменная
* * *переме́нная ж.
variableпереме́нная вхо́дит (напр. в уравнение) то́лько раз — the variable appears at most once
(за)менять переме́нную (в полино́ме) — make a change in variable in a polynomialпереме́нные легко́ разделя́ются — the variables are readily separableопределя́ть переме́нную на интерва́ле — define a variable on [over] an intervalотраба́тывать переме́нную — operate on a variableприсва́ивать значе́ние переме́нной — assign a value to a variableразделя́ть переме́нные — separate the variablesста́вить переме́нную в соотве́тствие величине́ — assign a value to a variableвходна́я переме́нная — input variableвыходна́я переме́нная — output variableдвои́чная переме́нная — binary variableдво́йственная переме́нная ( в противопоставление с оптимизируемой переменной) — dual variableдействи́тельная переме́нная — real variableзави́симая переме́нная — dependent variableзна́ковая переме́нная — character variableпереме́нная интегри́рования — integration variable, variable of integrationко́мплексная переме́нная — complex variableлоги́ческая переме́нная — logical variableмаши́нная переме́нная — machine variableмодели́руемая переме́нная — problem variableмодели́рующая переме́нная — analog, representationнезави́симая переме́нная — independent variable, argumentпереме́нная, опи́сывающая за́пись — record variableразделя́емая переме́нная — separable variableрегули́руемая переме́нная — controlled variableсвобо́дная переме́нная — unrestricted variable; ( в математической логике) free variableсвя́занная переме́нная — bound variableслуча́йная переме́нная — random variableпереме́нная ти́па строка́ вчт. — string variableпереме́нная ти́па указа́тель вчт. — pointer variableуправля́емая переме́нная — controlled variableуправля́ющая переме́нная автмт. — manipulated variableфикти́вная переме́нная — dummy variable -
96 правило
dresser, ( для штукатурных работ) straight edge, Darby float, Derby float, float, floater, rod, ( при устройстве асфальтобетонного или бетонного покрытия) gage, law, ( для бетона) lute, floating rule, rule, principle, regulation, shaping tool* * *пра́вило с.
rule; мн. regulations; ( промышленно-отраслевые) codeпра́вила безопа́сности — safety regulationsпра́вила безопа́сности полё́тов — safety-flying regulationsпра́вило бура́вчика эл. — right-hand screw [thumb, corkscrew, Ampere's] ruleпра́вила визуа́льного полё́та [ПВП] — visual flight rules, VFRпра́вило Де Мо́ргана ( в булевой алгебре) — De Morgan lawпра́вило замеще́ния — substitution ruleпра́вило запре́та ( в квантовой механике) — Pauli-Fermi principleпра́вило зна́ков мат. — rule [convention] of signsпра́вила котлонадзо́ра — boiler codeпра́вило ле́вой руки́ — left-hand [Fleming's] ruleпра́вило Ле́нца эл. — Lenz's lawпра́вило ло́жного положе́ния мат. — rule [method] of false position, false-position method, regula falsiпра́вило площаде́й аргд. — area rule, law of areasпра́вила полё́тов — flight rulesпра́вила полё́тов по прибо́рам [ППП] — instrument flight rules, IFRпра́вило пра́вой руки́ — right-hand ruleпра́вила сопоставле́ния сообще́ния с ко́дом — ( при кодировании) encoding codebook; ( при декодировании) decoding codebookпра́вило сре́дней тре́ти — middle-third ruleпра́вила те́хники безопа́сности — safety regulationsпра́вила техни́ческой эксплуата́ции желе́зных доро́г [ПТЭ] — Railway Operating Rulesпра́вила у́личного движе́ния — traffic rulesпра́вила устро́йства электроустано́вок — electric installation codeпра́вило фаз — phase [Gibbs] ruleцепно́е пра́вило1. ( при дифференцировании) chain rule2. ( в логике) chain inferenceпра́вило што́пора — corkscrew [right-hand screw] ruleэмпири́ческое пра́вило — empirical rule, rule of thumb -
97 связь
(напр. эталонов) echelon, binding, association, bond, bonding, ( элемент) balk, band, belt, brace, communications, communication, conjunction, connection, constraint мех., coupling, brace rod, link, linkage, restraint, ( в опалубке) tie spacer, stay, telecommunications, ( программ) thread, tie* * *связь ж.1. communicationвести́ связь — he engaged in communication, communicateвходи́ть в связь без по́иска и подстро́йки — select [work] a preset frequency [a preset station]входи́ть в связь с … — establish communication with …выходи́ть из свя́зи — terminate (the) contactвыходи́ть на связь — get on [go on the air] for a radio contactдава́ть связь по обхо́ду — divert the traffic, reroute«для веде́ния свя́зи нажми́ танге́нту …» — “to communicate, press the push-to-talk switch”зака́нчивать сеа́нс свя́зи — sign offконтроли́ровать прохожде́ние свя́зи — monitor the copyначина́ть сеа́нс свя́зи — sign onпереходи́ть на связь c, напр. диспе́тчерской слу́жбой подхо́да ав. — change to, e. g., approach controlпереходи́ть на связь с., напр. КПД ав. — change to, e. g., towerподде́рживать связь в усло́виях поме́х [глуше́ния] — communicate through jamming«разреши́те зако́нчить связь?» ( запрос с самолёта) ав. — “request permission to switch off my station”устана́вливать связь — establish communication, establish contact, contact«установи́те связь с КДП Шереме́тьево!» ( распоряжение с КДП самолёту) ав. — “contact Sheremetevo tower!”2. (в атомах, молекулах, соединениях) bond, linkразрыва́ть связь — split a bondукомплекто́вывать связь (напр. в атоме) — satisfy a bondэ́та связь неукомплекто́вана — this is an unsatisfied bond3. (в цепях, между цепями и элементами) элк. couplingсвязь ме́жду А и В — ё́мкостная — A is capacitively coupled (in)to Bс като́дной свя́зью — cathode-coupled4. ( в расчётных схемах)1) ( ограничение) constraint, restraint2) ( элемент физической конструкции) stay; tieнакла́дывать связь — impose a constraint, exercise a restraint, restrain5. ( в математической логике) unionавари́йная связь — emergency communicationавиацио́нная связь — aeronautical communicationавтотрансформа́торная связь — tapped-coil couplingадгезио́нная связь — adhesive bondа́нкерная связь — anchor tieба́лочная связь — tie beamбесподстро́ечная (беспоиско́вая) связь радио — instant selection of preset [pretuned] channels [stations]вести́ бесподстро́ечную беспоиско́вую связь — select [contact] a preset stationвале́нтная связь — valence bond, valence linkветрова́я связь — wind tieволоко́нно-опти́ческая связь — fibre-optics communicationгальвани́ческая связь — conductive [resistive] couplingгеометри́ческая связь — geometric constraintгироскопи́ческая связь — gyroscopic couplingглоба́льная связь — global [world-wide] communicationдвусторо́нняя связь1. bilateral constraint2. two-way communicationди́плексная связь — diplex operate, diplex workingдифференциа́льная связь мат. — differential constraintсвязь для специа́льных служб радио — emergency-service communcationдо́норная связь — donor bondдро́ссельная связь — impedance couplingдро́ссельно-ё́мкостная связь — impendance-capacitance couplingдупле́ксная связь — duplex operation, duplex workingё́мкостная связь — capacitive couplingё́мкостно-резисти́вная связь — capacitance-resistance [RC] couplingжё́сткая связь элк. — tight couplingсвязь жё́сткости мех. — braceсо свя́зями жё́сткости — bracedсвязь жё́сткости, рабо́тающая на растяже́ние — tension braceсвязь жё́сткости, рабо́тающая на сжа́тие — push braceзвукоподво́дная связь — underwater sonar communicationсвязь земля́ — самолё́т — ground-to-air communicationиндукти́вная связь — inductive couplingио́нная связь — ionic [electrovalent] bondкато́дная связь — cathode couplingсвязь КВ — high-frequency [HF] communication(s)связь ко́нтуров, ё́мкостная вне́шняя — series capacitive couplingсвязь ко́нтуров, ё́мкостная вну́тренняя — shunt capacitive couplingсвязь ко́нтуров, непо́лная элк. — tapped-down connection, tapping-downко́нтур име́ет непо́лную связь с ла́мпой — there is tapped-down connection from the tuned circuit to the tubeсвязь ко́нтуров, по́лная — untapped connectionсвязь входно́го ко́нтура с управля́ющей се́ткой, по́лная — there is untapped connection from the input tuned circuit to the control grid, the grid is connected across the whole of the input circuitсвязь ко́рпуса су́дна — (strength) member of a ships hullкорреляцио́нная связь — correlationкосми́ческая связь — space communicationкра́тная связь — multiple bondприсоединя́ть по ме́сту кра́тных свя́зей — add to multiple bondsкрити́ческая связь — critical couplingла́зерная связь — laser(-beam) communicationсвязь ме́жду систе́мами — intersystem communicationмежсисте́мная связь — intersystem communicationметалли́ческая связь — metallic bondметео́рная связь — meteor burst communicationмногокана́льная связь — multichannel communicationмоби́льная связь — vehicular communicationнеуде́рживающая связь — unilateral constraintsобра́тная связь — feedbackохва́тывать обра́тной свя́зью — place a feedback path [loop] around [over] …, apply feedbackохва́тывать обра́тной свя́зью большо́й глубины́ — apply a large amount of feedbackохва́тывать обра́тной свя́зью какой-л. каска́д — apply feedback to such-and-such stageобра́тная, акусти́ческая связь — acoustic(al) feedbackобра́тная, вну́тренняя связь полупр. — intrinsic feedbackобра́тная, ги́бкая связь — vanishing feenbackобра́тная, ё́мкостная связь — capacitive feedbackобра́тная, жё́сткая связь — unity [direct] feedbackобра́тная, заде́ржанная связь — delayed feedbackобра́тная, заде́рживающая связь — delaving feedbackобра́тная, избира́тельная связь — selective feedbackобра́тная, изодро́мная связь — proportional-plus-integral feedbackобра́тная, индукти́вная связь — inductive feedbackобра́тная, кванто́ванная связь — quantized feedbackобра́тная, многоко́нтурная связь — multiloop feedbackобра́тная, отрица́тельная связь — negative [degenerative] feedbackобра́тная, положи́тельная связь — positive [regenerative] feedbackобра́тная связь по напряже́нию — voltage feedbackобра́тная связь по огиба́ющей — envelope feedbackобра́тная связь по положе́нию — position feedbackобра́тная связь по произво́дной — rate feedbackобра́тная связь по ско́рости — velocity [rate] feedbackобра́тная связь по то́ку — current feedbackобра́тная связь по ускоре́нию — acceleration feedbackобра́тная связь по частоте́ — frequency feedbackобра́тная, пропорциона́льная связь — proportional feedbackобра́тная, резисти́вная связь — resistive feedbackобра́тная, стабилизи́рующая связь — stabilizing feedbackодина́рная связь — single bondодносторо́нняя связь1. unilateral constraint2. one-way connection, one-way operation, one-way workingоптима́льная связь — optimum couplingопти́ческая связь — optical communicationпарази́тная связь — stray [spurious] couplingполудупле́ксная связь — half-duptex operation, half-duplex workingпопере́чная связь1. cross-linkage, cross bond2. мех. transverse [cross] braceпричи́нная связь — causalityпроводна́я связь — wire communicationпроводна́я, в. ч. связь — carrier-current communicationпряма́я связь — feedforwardрадиореле́йная связь — radio-relay communicationрадиотелегра́фная связь — radiotetegraphy, radiotelegraph communicationрадиотелефо́нная связь — radiotelephone (service)реоста́тная связь — resistance couplingреоста́тно-ё́мкостная связь — resistance-capacitance [RC] couplingсвязь самолё́т — земля́ — air-to-ground communicationсвязь самолё́т — самолё́т — plane-to-plane [air-to-air] communicationсверхкрити́ческая связь — overcritical couplingсвязь СВЧ ( не путать со свя́зью на сантиметро́вых дли́нах волн) — microwave communication(s) (not to he confused with SHF; in Russian usage, СВЧ — microwaves)связь с высо́ким у́ровнем шумо́в — noisy communicationсвязь с высо́кой информацио́нной ё́мкостью — high-capacity communicationселе́кторная связь — intercom telephonyси́мплексная связь — simplex operation, simplex workingсвязь с испо́льзованием (да́льнего) тропосфе́рного рассе́яния — tropospheric scatter [troposcatter] communicationсопряжё́нные свя́зи хим. — conjugated bondsспин-орбита́льная связь — spin-orbit couplingтелегра́фная связь1. ( обмен) telegraphy, telegraph communication2. ( соединение) telegraph connectionтелегра́фная, пряма́я междунаро́дная связь — direct international (telegraph) connectionтелефо́нная связь — telephony, telephone communication, telephone serviceтелефо́нная, междугоро́дная связь — long-distance [toll] telephonyтелефо́нная связь тона́льной частоты́ — voice-frequency telephonyтрансформа́торная связь элк. — transformer couplingуде́рживающая связь — bilateral constraintсвязь УКВ — VHF/ UHF communication(s)факси́мильная связь — facsimile (service)фототелегра́фная связь — facsimile (service)хими́ческая связь — chemical bondциркуля́рная связь — conference connectionцифрова́я связь — digital communicationсвязь че́рез иску́сственный спу́тник Земли́ — satellite-assisted communicationщелева́я связь — slot couplingэлектро́нная связь — ejectron couplingэлектростати́ческая связь — electrostatic coupling -
98 логика
Русско-английский научно-технический словарь переводчика > логика
-
99 биологический
( основанный на бинарной логике) bilogicalРусско-английский словарь по вычислительной технике и программированию > биологический
-
100 пустое состояние
( в трёхзначной логике) empty stateРусско-английский словарь по вычислительной технике и программированию > пустое состояние
См. также в других словарях:
логике — следовать логике • объект, зависимость, контроль … Глагольной сочетаемости непредметных имён
Видеоигры на дискретной логике — Видеоигры на дискретной логике наиболее ранние видеоигры, аппаратура которых не использовала микропроцессоров и управляющих программ и была выполнена на дискретной логике, то есть на цифровых микросхемах низкой степени интеграции. Видеоигры … Википедия
ТЕОРИЯ В ЛОГИКЕ — ТЕОРИЯ В ЛОГИКЕ представляет собой логически связную систему предложений. В качестве логической связи используются процедуры дедукции, формализующие отношение выводимости. В зависимости от степени проясненности (выявленности) дедуктивных… … Философская энциклопедия
От наукоучения — к логике культуры. Два философских... — «ОТ НАУКОУЧЕНИЯ К ЛОГИКЕ КУЛЬТУРЫ. ДВА ФИЛОСОФСКИХ ВВЕДЕНИЯ В ДВАДЦАТЬ ПЕРВЫЙ ВЕК» Эта книга B.C. Библера (М., 1991) является вторым, значительно дополненным изданием его работы «Мышление как творчество: Введение в логику мысленного… … Энциклопедия эпистемологии и философии науки
Индукция (в логике) — Индукция (греч. epagoge, лат. inductio ‒ наведение), вид обобщений, связанных с предвосхищением результатов наблюдений и экспериментов на основе данных прошлого опыта. Именно поэтому и говорят об эмпирических, или индуктивных, обобщениях, или об… … Большая советская энциклопедия
Независимость (в логике) — Независимость в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его отрицание не выводятся из данной системы предложений (например, какой либо системы аксиом)… … Большая советская энциклопедия
Обращение (в логике) — Обращение (лат. conversio), преобразование предложения путём обмена местами его терминов ≈ субъекта и предиката. О. называется простым, если при О. кванторные слова (см. Квантор) не меняются. Просто обращаются все общеотрицательные предложения… … Большая советская энциклопедия
КЛАСС (в логике и математике) — КЛАСС, в логике и математике то же, что множество, т. е. произвольная (конечная или бесконечная) совокупность предметов, выделенных по какому либо признаку и просто перечисленных. Предметы, образующие класс, называются его элементами; понятие… … Энциклопедический словарь
Предложение (в логике) — Предложение в логике предикатов корректно сформированная формула α не содержащая несвязанных переменных. Это означает, что возможные значения всех, входящих в формулу переменных, определены и формула имеет фиксированную таблицу истинности.… … Википедия
Класс (в логике) — Класс (в логике), понятие, выражающее совокупность (множество) предметов, удовлетворяющих каким либо условиям или признакам (иногда различают понятия «К.» и «множество», что бывает связано со специальными вопросами множеств теории); про такие… … Большая советская энциклопедия
Форма (в логике) — Форма в логике, форма логическая, та сторона рассуждения (доказательства, вывода, аргументации и т.п.), которая не зависит от содержания данного рассуждения. Логическая форма в языке фиксируется посредством логических констант и образуемых с их… … Большая советская энциклопедия