-
21 truth
точность; правильность; истинностьtruth diagram — диаграмма истинности; таблица истинности
truth value — истинностное значение; значение истинности
-
22 truth diagram
1) Техника: диаграмма истинности, таблица истинности2) Вычислительная техника: диаграмма истинности таблица истинности -
23 truth table
1) таблица, полностью описывающая логическую функцию; в ней перечисляются все возможные комбинации входных значений (сигналов) и соответствующие каждой входной комбинации выходные значения (сигналы). В 1938 г. Клод Шеннон заметил связь между таблицами истинности и электрическими сетями, точнее коммутационными схемами, - любую такую схему можно описать таблицей истинности и наоборот2) таблица, перечисляющая все возможные комбинации истинности и ложности сложного высказываниясм. тж. propositionАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > truth table
-
24 truth diagram
диаграмма истинности
таблица истинности
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
Синонимы
EN
Англо-русский словарь нормативно-технической терминологии > truth diagram
-
25 truth table
таблица истинности
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > truth table
-
26 negation
[nɪ'geɪʃ(ə)n]1) Общая лексика: ничто, отрицание, отрицание существования или истинности (of; чего-л.), отрицательная величина, фикция, отрицание истинности (of; чего-л.), отрицание существования (of; чего-л.)2) Военный термин: вывод из строя, подавление, снижение эффективности3) Техника: взятие с обратным знаком4) Математика: отрицатель (logic)5) Юридический термин: опровержение6) Дипломатический термин: пустое место, (of) отрицание истинности (чего-л.), (of) отрицание существования (чего-л.)7) Психология: негативизм, несуществование, отказ8) Вычислительная техника: отрицание (логическая функция или операция), отрицание (логическая операци)9) Программирование: отрицание (связка)11) Макаров: логическая операция отрицания12) Электротехника: отрицание (логическая операция) -
27 validation
[ˌvælɪ'deɪʃ(ə)n]1) Общая лексика: легализация, придание законной силы, признание беспристрастным или объективным (напр суждения), утверждение, признание беспристрастным (напр суждения), признание объективным (напр суждения), подтверждение, самоутверждение, утверждение в своих силах, п (подтверждение соответствия требованиям путем испытаний и представления объективных свидетельств, выполнения конкретных требований к предусмотренному конкретному использованию - IEC 61508-4 и ГОСТ Р МЭК 61508-4-2007), поверка3) Техника: аттестация, подтверждение правильности, приёмочные испытания, проверка достоверности, ратификация4) Математика: признание выборки беспристрастной, признание суждения объективным5) Юридический термин: объявление действительным, придание юридической силы, признание юридической силы6) Статистика: признание выборки беспристрастной (свободной от субъективных факторов), оценка (напр. качества)7) Полиграфия: проверка данных8) Психология: доказательство валидности, обеспечение валидности, определение степени надежности, подтверждение верности, подтверждение надежности, проверка валидности, установление ( доказательство, обеспечение) валидности, повышение самооценки9) Вычислительная техника: проверка правильности (данных)10) Нефть: проверка правильности11) Космонавтика: апробация, контроль готовности12) Реклама: оценка13) Патенты: признание законным14) Сетевые технологии: допустимость, обоснование, проверка допустимости, проверка правильности данных15) ЕБРР: авторизация, санкционирование16) Автоматика: подтверждение правильности (выбора), обоснование (напр. значения параметра)17) Кабельные производство: утверждение документа (придание законной силы)18) Общая лексика: подтверждение (информации)19) Химическое оружие: (for prototypes) оценка20) Авиационная медицина: валидизация, подтверждение истинности, подтверждение корректности, проверка истинности, проверка корректности, утверждение истинности, утверждение корректности21) Макаров: метод доказательства, сертификация, тестирование, доказательство (достоверности), подтверждение (напр. информации), признание беспристрастным (напр. суждения), признание объективным (напр. суждения), подтверждение (напр., информации)22) Безопасность: подтверждение достоверности проверка правильности, подтверждение подлинности проверка правильности23) Золотодобыча: заверка24) SAP.фин. логическая проверка25) Фармация: валидация (в фарм.производстве) (подтверждение на основе представления объективных свидетельств того, что требования, предназначенные для конкретного использования или применения, выполнены) -
28 validization
-
29 suspect
1. nounподозреваемый или подозрительный человек2. adjective(predic.)подозрительный; подозреваемый3. verb1) подозревать; to suspect smb. of smth. подозревать кого-л. в чем-л.2) сомневаться в истинности, не доверять; I suspect the authenticity of the document я сомневаюсь в подлинности документа3) думать, полагать, предполагать; you are pretty tired after your journey, I suspect я полагаю, вы очень устали от поездки* * *(v) подозревать; предполагать* * ** * *[sus·pect || sə'spekt,'səs] n. подозреваемый человек, подозрительный человек v. подозревать, не доверять, сомневаться в истинности, предполагать, полагать, думать adj. подозреваемый, подозрительный* * *подозреватьподозрителенподозрительныйпредполагатьпредположитьприпуститьприпуститься* * *1. сущ. подозреваемый или подозрительный человек 2. прил.; предик. подозрительный 3. гл. 1) подозревать 2) сомневаться в истинности, не доверять 3) думать -
30 validation
-
31 validization
Англо-русский словарь по авиационной медицине > validization
-
32 suspect
[̘. ̈n.ˈsʌspekt]suspect думать, полагать, предполагать; you are pretty tired after your journey, I suspect я полагаю, вы очень устали от поездки suspect сомневаться в истинности, не доверять; I suspect the authenticity of the document я сомневаюсь в подлинности документа identify a suspect устанавливать личность подозреваемого лица main suspect главное подозреваемое лицо main suspect основное подозреваемое лицо suspect думать, полагать, предполагать; you are pretty tired after your journey, I suspect я полагаю, вы очень устали от поездки suspect не доверять suspect подозреваемое лицо suspect подозреваемый suspect подозреваемый или подозрительный человек suspect подозревать; to suspect (smb. of smth.) подозревать (кого-л. в чем-л.) suspect подозревать; to suspect (smb. of smth.) подозревать (кого-л. в чем-л.) suspect подозревать suspect a predic. подозрительный; подозреваемый suspect подозрительный человек suspect полагать suspect предполагать suspect сомневаться в истинности, не доверять; I suspect the authenticity of the document я сомневаюсь в подлинности документа suspect сомневаться в истинности suspect думать, полагать, предполагать; you are pretty tired after your journey, I suspect я полагаю, вы очень устали от поездки -
33 logical operations
логические операции
С какой-то степенью точности можно сказать, что математическая логика занимается изучением правил вывода определенных положений без конкретизации самих этих положений (безотносительно к их содержанию), примерно так, как геометрия связана с наукой о пространстве. Одно из основных понятий математической логики — высказывание. Не стремясь к излишней математической строгости, можно сказать, что высказывание — это выражение, относительно которого можно сделать вывод o его истинности или ложности. Например, «Ах!» — это не высказывание, а выражение — «Иван Иванович Иванов ~ телевизор» — высказывание, так как можно утверждать — оно ложно. Знак ~ заменяет здесь слово «эквивалент» и связывает два имени: «Иван Иванович Иванов» и «телевизор». Каждое из этих имен высказыванием не является, тогда как все выражение — высказывание. Над высказываниями можно производить определенные операции. Например, если заданы два высказывания, обозначенные логическими переменными A и B, то можно составить новое высказывание: «A и B». При этом связка «и» заменяется символом ?; тогда запишем «A ? B». Можно также составить выражение «A или B». Связка «или» обозначается с помощью символа v. Можно представить себе высказывание «из A следует B»: «A ==> B». Наконец, можно составить отрицание данного высказывания: «не A». Для операции отрицания используют целый ряд обозначений. ?? v? Например: ? А, ~А, ?. Придадим каждому из высказываний определенное значение истинности. Например, «А» = И, а «В» = Л, т.е. «А — истинно», а «В — ложно», тогда можно рассмотреть истинность перечисленных выше высказываний. Начнем с самого простого — с отрицания: если А — истинно, то «не А — ложно». Наоборот, если «А — ложно», то ?— истинно. Эти очевидные факты могут быть представлены в виде таблицы. Аналогично можно рассмотреть и другие операции. Можно рассмотреть еще одну Л.о. — «А тогда, и только тогда, когда В». Ее можно записать: (А <=> В) ? (А <=> В) ? (В ?А) Рассмотренная выше логика допускает только два значения истинности для высказывания — истинно и ложно, причем высказывание не может быть истинным и ложным одновременно. Поэтому она называется логикой с исключенным третьим. Важную аналогию можно установить, заменив условное обозначение «И» на единицу, а «Л» на нуль. Тогда окажется, что логика аналогична системе действий над двоичными числами, на основе которой работают все компьютеры.
[ http://slovar-lopatnikov.ru/]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > logical operations
-
34 stand on
1) зависеть от чего-л.
2) мор. идти прежним курсом We stood on for the next hour while the wind was in our favour. ≈ В течение следующего часа, пока дул попутный ветер, мы шли прежним курсом.
3) точно соблюдать( условности и т. п.) I stand on my rights in this matter, and will take the matter to court if necessary. ≈ В данном случае я четко следую своим правам и обращусь в суд, если это понадобится.
4) продолжать настаивать на истинности чего-л. Do you still stand on your original story? ≈ Вы продолжаете настаивать на истинности Вашего заявления?Большой англо-русский и русско-английский словарь > stand on
-
35 truth set
Большой англо-русский и русско-английский словарь > truth set
-
36 truth table
Большой англо-русский и русско-английский словарь > truth table
-
37 perception
n1. перцепция; восприятие, ощущения, получаемые через сенсорный вход; чувственный опыт;2. осознание, понимание, переживание цепи процессов;3. постижение, проницательность;4. осознание истинности чего-либо.* * *сущ.1) перцепция; восприятие, ощущения, получаемые через сенсорный вход; чувственный опыт;2) осознание, понимание, переживание цепи процессов;3) постижение, проницательность;4) осознание истинности чего-либо. -
38 scepticism
n1. скептицизм; философское направление, основанное Пирроном в IV в. до н.э., представители которого выражали сомнение в возможности познания мира, не верили в обоснование рациональных норм поведения;2. критическое отношение к чему-либо, сомнение в истинности чего-либо.* * *сущ.1) скептицизм; философское направление, основанное Пирроном в IV в. до н.э., представители которого выражали сомнение в возможности познания мира, не верили в обоснование рациональных норм поведения;2) критическое отношение к чему-либо, сомнение в истинности чего-либо. -
39 Boolean operation table
1) Техника: таблица логической операции2) Вычислительная техника: таблица( истинности для) булевой операции, таблица истинности для булевой операцииУниверсальный англо-русский словарь > Boolean operation table
-
40 admission to probate
Юридический термин: признание истинности и юридической силы завещания (судом), признание судом истинности и юридической силы завещания
См. также в других словарях:
ИСТИННОСТИ ТАБЛИЦА — ИСТИННОСТИ ТАБЛИЦА см. Логика высказываний. Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001 … Философская энциклопедия
Таблица истинности — Таблица истинности это таблица, описывающая логическую функцию. Под «логической функцией» в данном случае понимается функция, у которой значения переменных (параметров функции) и значение самой функции выражают логическую истинность.… … Википедия
Значение истинности — Эта страница требует существенной переработки. Возможно, её необходимо викифицировать, дополнить или переписать. Пояснение причин и обсуждение на странице Википедия:К улучшению/20 августа 2012. Дата постановки к улучшению 20 августа 2012 … Википедия
таблица истинности — таблица, с помощью которой устанавливается истинностное значение сложного высказывания при данных значениях входящих в него простых высказываний. В классической математической логике предполагается, что каждое простое (не содержащее логических… … Словарь терминов логики
диаграмма истинности — таблица истинности — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы таблица истинности EN truth diagram … Справочник технического переводчика
испытавший неуверенность в истинности — прил., кол во синонимов: 2 • испытавший сомнение в истинности (3) • усомнившийся (12) Словарь синонимов A … Словарь синонимов
испытавший сомнение в истинности — прил., кол во синонимов: 3 • испытавший неуверенность в истинности (2) • посомневавшийся (6) … Словарь синонимов
не требующий доказательств своей истинности — прил., кол во синонимов: 3 • бесспорный (35) • несомненный (39) • очевидный (40) … Словарь синонимов
служивший доказательством истинности — прил., кол во синонимов: 1 • подтверждавший (21) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
указатель на область истинности утверждения — сущ., кол во синонимов: 1 • квантификатор (1) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
таблица истинности — teisingumo lentelė statusas T sritis automatika atitikmenys: angl. Boolean operation table; truth diagram; truth table vok. Wahrheitstabelle, f rus. таблица истинности, f pranc. table de vérité, f … Automatikos terminų žodynas