-
1 логический контроль
Русско-английский словарь по микроэлектронике > логический контроль
-
2 логическая проверка
логическая проверка
логический контроль
—
[Я.Н.Лугинский, М.С.Фези-Жилинская, Ю.С.Кабиров. Англо-русский словарь по электротехнике и электроэнергетике, Москва, 1999 г.]Тематики
- электротехника, основные понятия
Синонимы
EN
Русско-английский словарь нормативно-технической терминологии > логическая проверка
-
3 логическая проверка
Русско-английский большой базовый словарь > логическая проверка
-
4 логический контроль
logical check, logical controlРусско-английский словарь по электронике > логический контроль
-
5 логический контроль
logical check, logical controlРусско-английский словарь по радиоэлектронике > логический контроль
-
6 логический контроль
Русско-английский большой базовый словарь > логический контроль
-
7 контроль
control, check, checking, checkout, exercising, gaging, inspection, measurement, measuring, test, testing, prove-out, sense, sensing, supervision, surveillance, verification, watch* * *контро́ль м.
( периодический) check(ing), control, inspection; ( обычно непрерывный) monitoringавтомати́ческий контро́ль маш. — automatic gauging, automatic inspectionакти́вный контро́ль — in-process [on-line] gaugingвизуа́льный контро́ль ( качества) — visual inspectionвходно́й контро́ль ( потребителем от других предприятий) — incoming controlвы́борочный контро́ль — random inspection, spot check, samplingвы́борочный, двукра́тный контро́ль — double samplingвы́борочный, многокра́тный контро́ль — multiple samplingвы́борочный, однокра́тный контро́ль — single samplingвы́борочный, после́довательный контро́ль — sequential testградацио́нный контро́ль полигр. — tonal gradation controlдистанцио́нный контро́ль — remote monitoringдозиметри́ческий контро́ль — radiation monitoring; (помещений, местности) radiation surveyдозиметри́ческий, индивидуа́льный контро́ль — personal monitoringконтро́ль излуче́ния анте́нны — radiation monitoringконтро́ль ка́чества (проду́кции) — quality control, product inspectionконтро́ль материа́лов вихревы́ми то́ками ( в дефектоскопии) — eddy-current test(ing), eddy-current inspectionконтро́ль материа́лов вихревы́ми то́ками с накладно́й кату́шкой ( в дефектоскопии) — solenoid-coil eddy-current test(ing)контро́ль материа́лов вихревы́ми то́ками с проходно́й кату́шкой ( в дефектоскопии) — inside-coil eddy-current test(ing)контро́ль материа́лов га́мма-просве́чиванием ( в дефектоскопии) — gamma-ray radiography, gamma-ray inspectionконтро́ль материа́лов, люминесце́нтный ( в дефектоскопии) — fluorescent-penetrant inspectionконтро́ль материа́лов, магни́тно-порошко́вый ( в дефектоскопии) — magnetic-particle test(ing), magnetic-particle inspectionконтро́ль материа́лов, магнитографи́ческий ( в дефектоскопии) — magnetic-tape test(ing), magnetic-tape inspectionконтро́ль материа́лов ме́тодом кра́сок ( в дефектоскопии) — dye-penetrant test(ing)контро́ль материа́лов, неразруша́ющий ( в дефектоскопии) — nondestructive (materials) testingконтро́ль материа́лов рентгенопросве́чиванием ( в дефектоскопии) — X-ray test(ing), X-ray inspectionконтро́ль материа́лов, ультразвуково́й ( в дефектоскопии) — ultrasonic test(ing), ultrasonic inspectionконтро́ль материа́лов, цветно́й ( в дефектоскопии) — dye-penetrant test(ing)контро́ль материа́лов, феррозо́ндовый ( в дефектоскопии) — probe-coil magnetic-field test(ing)обега́ющий контро́ль — scanning-type data logging (system)обра́тный контро́ль свз. — revertive monitoringконтро́ль оши́бок — error control, error checkконтро́ль переда́чи, печа́тный свз. — home copyрабо́тать [передава́ть] без печа́тного контро́ля переда́чи — send blind, send with the home copy suppressedконтро́ль переполне́ния вчт. — overflow checkконтро́ль перфока́рт на просве́т — sight check of punch (ed) cardsконтро́ль перфока́рт, счё́тный контро́ль — punch(ed)-card verification by batch totalsпооперацио́нный контро́ль маш. — step-by-step [operation] checkingконтро́ль пра́вильности реше́ния или результа́тов — check on the solution or resultsприё́мочный контро́ль — acceptance inspection, acceptance testingпрогра́ммный контро́ль ( с помощью программы) — program(me) checkпылево́й контро́ль горн. — dust controlконтро́ль радиоакти́вности — radiation [radioactivity] monitoringконтро́ль радиоакти́вности атмосфе́ры — air monitoringконтро́ль разме́ров — gauging, dimension inspectionконтро́ль систе́мы (в це́лом) — system checkсплошно́й контро́ль — complete controlтехни́ческий контро́ль — technical controlконтро́ль технологи́ческого проце́сса — process monitoringконтро́ль хими́ческого соста́ва — chemical analysis inspectionконтро́ль ЭВМ [цифрово́й вычисли́тельной маши́ны], аппара́т(ур)ный — automatic [built-in, hardware] checkконтро́ль частоты́ — frequency monitoringэксплуатацио́нный контро́ль — field inspectionконтро́ль ЭВМ, логи́ческий — logical checkконтро́ль ЭВМ по запрещё́нным комбина́циям — forbidden-combination [forbidden-character] checkконтро́ль ЭВМ по избы́точности — redundancy checkконтро́ль ЭВМ по мо́дулю — N mod(ulo) N checkконтро́ль ЭВМ по оста́тку — residue checkконтро́ль ЭВМ по су́мме — sum checkконтро́ль ЭВМ по чё́тности — (even-)parity [(odd-)parity, odd-even] checkконтро́ль ЭВМ, програ́ммный — programmed checkконтро́ль ЦВМ, профилакти́ческий — marginal checkконтро́ль ЦВМ сумми́рованием — summation checkконтро́ль ЦВМ, схе́мный — automatic [built-in, hardware] checkконтро́ль ЦВМ, теку́щий — current [running] checkконтро́ль электро́нной аппарату́ры, диагности́ческий — marginal check(ing), marginal testing -
8 логический контроль
1) Engineering: logical check, logical test2) Information technology: logical control, logical test,Универсальный русско-английский словарь > логический контроль
-
9 логическая проверка
1) Engineering: logical check, logical test2) Information technology: logical test,3) SAP.fin. validationУниверсальный русско-английский словарь > логическая проверка
-
10 контроль по избыточности
Русско-английский большой базовый словарь > контроль по избыточности
-
11 контроль по избыточности
Русско-английский словарь по информационным технологиям > контроль по избыточности
-
12 модель расширенного канала
- VLD
- RTI
- NRZ-M
- NRZ-1
- NRZ Space
- NRZ
- MTTR
- MTBF
- MSB
- LSB
- LLC
- LED
- Laser
- LAN
- INCITS
- HEX
- EEPROM
- EDI
- ECI
- CSUM
- CRC
- BER
- BCD
- ASC
- ANSI
- ANS
01.05.24 модель расширенного канала [ extended channel model]: Система кодирования и передачи как байтов с данными сообщения, так и управляющей информации о сообщении, в пределах которой декодер работает в режиме расширенного канала.
Примечание - Управляющая информация передается с использованием управляющих последовательностей интерпретации в расширенном канале (ECI).
<2>4 Сокращения1)
1)Следует учитывать, что в соответствии с оригиналом ИСО/МЭК 19762-1 в данном разделе присутствует сокращение CSMA/CD, которое в тексте стандарта не используется.
Кроме того, сокращения отсортированы в алфавитном порядке.
Al
Идентификатор применения [application identifier]
ANS
Американский национальный стандарт [American National Standard]
ANSI
Американский национальный институт стандартов [American National Standards Institute]
ASC
Аккредитованный комитет по стандартам [Accredited Standards Committee]
вес
Контрольный знак блока [block check character]
BCD
Двоично-десятичный код (ДДК) [binary coded decimal]
BER
Коэффициент ошибок по битам [bit error rate]
CRC
Контроль циклическим избыточным кодом [cyclic redundancy check]
CSMA/CD
Коллективный доступ с контролем несущей и обнаружением конфликтов [carrier sense multiple access with collision detection network]
CSUM
Контрольная сумма [check sum]
Dl
Идентификатор данных [data identifier]
ECI
Интерпретация в расширенном канале [extended channel interpretation]
EDI
Электронный обмен данными (ЭОД) [electronic data interchange]
EEPROM
Электрически стираемое программируемое постоянное запоминающее устройство [electrically erasable programmable read only memory]
HEX
Шестнадцатеричная система счисления [hexadecimal]
INCITS
Международный комитет по стандартам информационных технологий [International Committee for Information Technology Standards]
LAN
Локальная вычислительная сеть [local area network]
Laser
Усиление света с помощью вынужденного излучения [light amplification by the stimulated emission of radiation]
LED
Светоизлучающий диод [light emitting diode]
LLC
Управление логической связью [logical link control]
LSB
Младший значащий бит [least significant bit]
МНЮ
Аккредитованный комитет по отраслевым стандартам в сфере обработки грузов [Accredited Standards Committee for the Material Handling Industry]
MSB
Старший значащий бит [most significant bit]
MTBF
Средняя наработка на отказ [mean time between failures]
MTTR
Среднее время ремонта [mean time to repair]
NRZ
Без возвращения к нулю [non-return to zero code]
NRZ Space
Кодирование без возвращения к нулю с перепадом на нулях [non-return to zero-space]
NRZ-1
Кодирование без возвращения к нулю с перепадом на единицах [non-return to zero invert on ones]
NRZ-M
Запись без возвращения к нулю (метка) [non-return to zero (mark) recording]
RTI
Возвратное транспортное упаковочное средство [returnable transport item]
RZ
Кодирование с возвратом к нулю [return to zero]
VLD
Светоизлучающий лазерный диод [visible laser diode]
<2>Библиография
[1]
ИСО/МЭК Руководство 2
Стандартизация и связанная с ней деятельность. Общий словарь
(ISO/IECGuide2)
(Standardization and related activities - General vocabulary)
[2]
ИСО/МЭК 2382-1
Информационные технологии. Словарь - Часть 1. Основные термины
(ISO/IEC 2382-1)
(Information technology - Vocabulary - Part 1: Fundamental terms)
[3]
ИСО/МЭК 2382-4
Информационные технологии. Словарь - Часть 4. Организация данных
(ISO/IEC 2382-4)
(Information technology - Vocabulary - Part 4: Organization of data)
[4]
ИСО/МЭК 2382-9
Информационные технологии. Словарь. Часть 9. Передача данных
(ISO/IEC 2382-9)
(Information technology - Vocabulary - Part 9: Data communication)
[5]
ИСО/МЭК 2382-16
Информационные технологии. Словарь. Часть 16. Теория информации
(ISO/IEC 2382-16)
(Information technology - Vocabulary - Part 16: Information theory)
[6]
ИСО/МЭК 19762-2
Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 2. Оптические носители данных (ОНД)
(ISO/IEC 19762-2)
(Information technology - Automatic identification and data capture (AIDC) techniques - Harmonized vocabulary - Part 2: Optically readable media (ORM))
[7]
ИСО/МЭК 19762-3
Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 3. Радиочастотная идентификация (РЧИ)
(ISO/IEC 19762-3)
(Information technology - Automatic identification and data capture (AIDC) techniques - Harmonized vocabulary - Part 3: Radio frequency identification (RFID)
[8]
ИСО/МЭК 19762-4
Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 4. Основные термины в области радиосвязи
(ISO/IEC 19762-4)
(Information technology-Automatic identification and data capture (AIDC) techniques - Harmonized vocabulary - Part 4: General terms relating to radio communications)
[9]
ИСО/МЭК 19762-5
Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 5. Системы определения места нахождения
(ISO/IEC 19762-5)
(Information technology - Automatic identification and data capture (AIDC) techniques - Harmonized vocabulary - Part 5: Locating systems)
[10]
МЭК 60050-191
Международный Электротехнический Словарь. Глава 191. Надежность и качество услуг
(IEC 60050-191)
(International Electrotechnical Vocabulary - Chapter 191: Dependability and quality of Service)
[11]
МЭК 60050-702
Международный Электротехнический Словарь. Глава 702. Колебания, сигналы и соответствующие устройства
(IEC 60050-702)
(International Electrotechnical Vocabulary - Chapter 702: Oscillations, signals and related devices)
[12]
МЭК 60050-704
Международный Электротехнический словарь. Глава 704. Техника передачи
(IEC 60050-704)
(International Electrotechnical Vocabulary. Chapter 704: Transmission)
[13]
МЭК 60050-845
Международный электротехнический словарь. Глава 845. Освещение
(IEC 60050-845)
(International Electrotechnical Vocabulary - Chapter 845: Lighting)
<2>
Источник: ГОСТ Р ИСО/МЭК 19762-1-2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 1. Общие термины в области АИСД оригинал документа
Русско-английский словарь нормативно-технической терминологии > модель расширенного канала
-
13 код
code, designator, ( в телефонии) digit, logical number, code pattern, pattern, (города, зоны) prefix* * *код м.2. ( закодированный элемент информации — знак, слово) code combination, code (Примечание. При переводе на английский язык слово code часто опускается., напр. код числа́ number; ши́на ко́да числа́ number bus; код си́мвола character.)осуществля́ть код аппарату́рно — instrument a codeпреобразо́вывать (оди́н) код (в друго́й) — translate (from) a code (into another)присва́ивать код свз. — assign a code to …реализова́ть код — instrument a codeэ́тот код мо́жно реализова́ть с по́мощью просто́го реги́стра сдви́га — this code may be instrumented using a simple shift registerреализова́ть код аппарату́рно — instrument a codeснима́ть код (напр. с кодирующего диска) — pick off [read] the codeкод автоотве́тчика — answer-back codeкод а́дреса — address (code)код а́дреса числа́ — number address (code)алфави́тный код — alphabetic codeамплиту́дно-и́мпульсный код — pulse-amplitude codeбло́чный код — block codeкод Бодо́ — Baudot codeкод Бозе́-Чаудху́ри — Bose-Chaudhuri codeкод Бофо́рта — Beaufort notationбу́квенно-цифрово́й код — alpha(nu)meric codeбу́квенный код — alphabetic codeвзве́шенный код — weighted codeвре́мя-и́мпульсный код — pulse-position code (Примечание. Не следует путать этот термин с pulse-time code, который относится ко всем видам импульсной модуляции)код Гре́я — Gray [reflected binary] codeгруппово́й код — group codeкод «два из пяти́» — two-out-of-five codeдвои́чно-десяти́чный код — binary-coded decimal [BCD] codeдвои́чно-пятери́чный код — biquinary codeдвои́чный код — binary codeдвои́чный, натура́льный код — straight [normal, true] binary codeдвои́чный, норма́льный код — straight [normal, true] binary codeдвои́чный, рефле́ксный код — reflected binary codeдвои́чный код с прове́ркой или защи́той на чё́тность или нечё́тность — even-parity or odd-parity check codeдвухпозицио́нный код — double-current [two-condition] codeдвухреги́стровый код — two-case codeдесяти́чный код — decimal codeдесяти́чный, число́-и́мпульсный код — decimal unit-counting codeкод ДКОИ ( десятичный код обмена информацией) — EBCDI codeедини́чно-десяти́чный код — decimal unit-counting codeкод запро́са — interrogation codeкод зна́ка — sign codeи́мпульсный код — pulse codeинтерва́льно-и́мпульсный код — pulse-interval codeкод кома́нды — instruction codeкорректи́рующий код — error-correcting codeмаши́нный код — machine codeметеорологи́ческий код — meteorological notationмнемони́ческий код — mnemonic codeкод Мо́рзе — Morse codeкод Мо́рзе, Междунаро́дный — International Morse Codeнеравноме́рный код — variable-length codeнесистемати́ческий код — non-systematic codeкод опера́ции — operation code, opcodeпо ( такому-то) ко́ду опера́ции никаки́х де́йствий маши́на не соверша́ет — (so-and-so) operation code performs no operationsпо ( такому-то) [m2]ко́ду (опера́ции) содержи́мое яче́йки засыла́ется в … — (so-and-so) operation code causes the contents of the … location to be placed in [copied, sent, transferred to] …код опознава́ния — identity codeпаралле́льный код — parallel codeкод переме́нной длины́ — variable-length codeперестано́вочный код — permutation codeкод перфока́рт(ы) — punched card codeкод перфоле́нт(ы) — punched tape codeпозицио́нный код — position codeпо́лный код — complete codeпомехоусто́йчивый код — noise-immune codeкод поря́дка числа́ — exponent (code)после́довательный код — serial codeкод представле́ния числа́ — form, representationкод представле́ния числа́, дополни́тельный1. ( двоичная система) two's [2's] complement form, two's [2's] complement representation2. ( десятичная система) ten's [10's] complement form, ten's [10's] complement representation3. ( любая система счисления) radix [true] complement form, radix [true] complement representationкод представле́ния числа́, обра́тный1. ( двоичная система) ones [1's] complement form, ones [1's] complement representation2. ( десятичная система) nine's [9's] complement form, nine's [9's] complement representation3. ( любая система счисления) diminished radix [radix-minus-one] complement form, diminished radix [radix-minus-one] complement representationкод представле́ния числа́, прямо́й — sign-and-magnitude form, sign-and-magnitude representationпятизна́чный код — five-digit [five-unit] codeравноме́рный код — equal-length [uniform] codeравноме́рный, многоэлеме́нтный код — equal-length multiunit codeрефле́ксный код — reflected codeсамодополня́ющийся код — self-complementing codeсамопроверя́ющийся код — self-checking codeкод серьё́зности оши́бки — severity codeсигна́льный код — signalling codeкод с избы́тком три — excess-three codeси́мвольный код — character codeкод с исправле́нием двойны́х оши́бок — double-error correcting codeкод с исправле́нием одино́чных оши́бок — single-error correcting codeкод с исправле́нием оши́бок — error-correcting codeсистемати́ческий код — systematic codeкод с контро́лем по чё́тности — parity-check codeслуже́бный код свз. — service code, service abbreviationsкод с минима́льной избы́точностью — minimum redundancy codeкод с минима́льным ко́довым расстоя́нием — minimum-distance codeкод с обнаруже́нием и исправле́нием оши́бок — error detecting-and-correcting codeкод с обнаруже́нием одино́чных оши́бок — single-error-detecting codeкод с обнаруже́нием оши́бок — error-detecting codeсокращё́нный код — short [brevity] codeкод с расстоя́нием едини́ца — continuous progressive [unit-distance] codeтелегра́фный код — telegraph codeкод телета́йпа — teleprinter codeтрои́чный код — ternary codeкод управле́ния переда́чей информа́ции — information control codeуправля́ющий код — control codeфа́зово-и́мпульсный код — pulse-position codeкод Хэ́мминга — Hamming codeцикли́ческий код — cyclic codeцифрово́й код — numeric(al) codeчасто́тно-и́мпульсный код — pulse-frequency codeчасто́тный код — frequency codeкод числа́ ( число в закодированном виде) — coded number, number (code)число́-и́мпульсный код — unit-counting codeширо́тно-и́мпульсный код — pulse-width [pulse-duration] codeшифрова́льный код — cipher code -
14 сумма
amount, sum, total* * *су́мма ж.
sumбрать су́мму по всем це́лым значе́ниям (от … до …) — take the sum over all integers (from … to …)дава́ть в су́мме … — add up to …получа́ть су́мму, напр. трёх чи́сел — form the sum of, e. g., three numbersсоставля́ть в су́мме, напр. 12 — add up to, e. g., 12алгебраи́ческая су́мма — algebraic sumарифмети́ческая су́мма — arithmetic(al) sumсу́мма ве́кторов — vector sumгеометри́ческая су́мма — vector sumито́говая су́мма — (sum) totalобразова́ть ито́говую су́мму — develop a totalконтро́льная су́мма — check sum, check sumлоги́ческая су́мма — logical sumсу́мма невя́зок геод. — accumulated discrepancy, accumulated divergenceоконча́тельная су́мма — final sumсу́мма по мо́дулю — 2 modulo 2 sumчасти́чная су́мма — partial sum -
15 аппаратная избыточность
Русско-английский большой базовый словарь > аппаратная избыточность
-
16 внутренняя избыточность
Русско-английский большой базовый словарь > внутренняя избыточность
-
17 надежность обеспечиваемая введением избыточности
Русско-английский большой базовый словарь > надежность обеспечиваемая введением избыточности
-
18 проверка на наличие избыточности
Русско-английский большой базовый словарь > проверка на наличие избыточности
-
19 устранение избыточности
Русско-английский большой базовый словарь > устранение избыточности
-
20 этап
stage, phase, element
- (испытательный двигателя) — run
длительные испытания двигателя состоят из нескольких этапов. — the engine endurance test consists of series of runs.
- (переход при выполнении работ) — step step-by-step instructions for accomplishing the work.
- (участок траектории) — segment, (flight) leg
- взлета, (первый, второй, третий, четвертый, рис. 114) — (first, second, etc.) segment the gradient in the first segment.
- входа в луч (глиссадного или курсового радиомаяка) — (glide-slope or localizer) beam interception phase
- выполнения работы — operation /procedure/ step
operating procedure requires breakdown of job into logical steps or operations.
- выполнения работы, основной — basic (operation) step
- выполнения работы (являющийея частью основного этапа) — detail (operation) step detail step-by-step procedure for testing and adjust
- выставки (инерциальной навигационной системы) — align stage
- горизонтального разгона по траектории начального набоpa высоты — horizontal acceleration element in takeoff flight path
- демонтажа — removal step
этап демонтажа при замене гидробака. — removal step in replacement of hydraulic reservoir.
- захвата луча (грм или крм) — (glide-slope of localizer) beam capture phase
- захода на посадку, конечный — final approach
- захода на посадку, начальный — initial approach
- захода на посадку, промежуточный — intermediate approach
- испытаний (двигателя), состоящий из минутных пeриодов (на взлетном режиме) — (engine) run consisting of alternate periods of... minutes (at takeoff power with takeoff speed)
-, контрольный (кэ, участок полета) — route check leg (cl)
- набора высоты — climb element
- начального набора высоты (первый - четвертый, рис. 114) — takeoff flight path segment
- маневра — stage /element/ or maneuver
- маршрута — route stage
- полета — stage of filght
- приемки — acceptance phase
- проверки — check phase
- работы, основной — basic operation step
основные этапы работы no замене агрегата включают: подготовку, демонтаж, монтаж, проверку, регулировку. — basic steps in replacement of unit involve: job set-up, removal, installation, test, adjustment.
- разборки — disassembly (procedure) step
- разгона (ла) — acceleration element
- режима (при испытании дв.) — (engine) power period
during the third and sixth takeoff power periods.
- сборки — assembly (procedure) step
- установки (монтажа) — installation step
- ухода на второй круг, начальный — initial stage of go-around adequate acceleration in initial stage of go-around.
- чистой траектории начальногo набора высоты, второй, первый, третий, четвертый (см. "участок") — second (first, third, fourth) segment of net takeoff flight path
прохождение э. выставки (инерциальной системы) — alignment stage progression
выполнять плавный и безопасный переход от одного — accomplish safe and smooth transition between each
э. маневра к другому — stage of maneuver
выполнять ч-л. в (два) этапа — perform smth in sequence of (2) events
разбиваться) на э. (переходы) — break down into stepsРусско-английский сборник авиационно-технических терминов > этап
- 1
- 2
См. также в других словарях:
logical check — loginis tikrinimas statusas T sritis automatika atitikmenys: angl. logical check vok. logische Prüfung, f rus. логическая проверка, f pranc. test logique, m … Automatikos terminų žodynas
Logical Disk Manager — The Logical Disk Manager (diskmgmt.msc) is an implementation of a logical volume manager for Microsoft Windows NT, developed by Microsoft and Veritas Software. It was introduced with the Windows 2000 operating system, and is supported in Windows… … Wikipedia
loginis tikrinimas — statusas T sritis automatika atitikmenys: angl. logical check vok. logische Prüfung, f rus. логическая проверка, f pranc. test logique, m … Automatikos terminų žodynas
logische Prüfung — loginis tikrinimas statusas T sritis automatika atitikmenys: angl. logical check vok. logische Prüfung, f rus. логическая проверка, f pranc. test logique, m … Automatikos terminų žodynas
test logique — loginis tikrinimas statusas T sritis automatika atitikmenys: angl. logical check vok. logische Prüfung, f rus. логическая проверка, f pranc. test logique, m … Automatikos terminų žodynas
логическая проверка — loginis tikrinimas statusas T sritis automatika atitikmenys: angl. logical check vok. logische Prüfung, f rus. логическая проверка, f pranc. test logique, m … Automatikos terminų žodynas
логическая проверка — логический контроль — [Я.Н.Лугинский, М.С.Фези Жилинская, Ю.С.Кабиров. Англо русский словарь по электротехнике и электроэнергетике, Москва, 1999 г.] Тематики электротехника, основные понятия Синонимы логический контроль EN logical check … Справочник технического переводчика
Null (SQL) — The Greek lowercase omega (ω) character is used to represent Null in database theory. Null is a special marker used in Structured Query Language (SQL) to indicate that a data value does not exist in the database. Introduced by the creator of the… … Wikipedia
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
chess — chess1 /ches/, n. a game played by two persons, each with 16 pieces, on a chessboard. [1150 1200; ME < OF esches, pl. of eschec CHECK1] chess2 /ches/, n., pl. chess, chesses. one of the planks forming the roadway of a floating bridge. [1425 75;… … Universalium
JavaScript syntax — This article is part of the JavaScript series. JavaScript JavaScript syntax JavaScript topics This box: view · … Wikipedia