-
21 mathematics of logic
The English-Russian dictionary on reliability and quality control > mathematics of logic
-
22 mathematical logic
English-Russian dictionary of electronics > mathematical logic
-
23 mathematical logic
-
24 mathematics of logic
математическая логика математическая логикаБольшой англо-русский и русско-английский словарь > mathematics of logic
-
25 mathematics of logic
-
26 mathematical logic
English-Russian big polytechnic dictionary > mathematical logic
-
27 mathematical logic
математическая логика
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > mathematical logic
-
28 ladder logic
-
29 logic theory
mathematical theory of communication — математическая теория связи, теория передачи информации
-
30 logic theory
mathematical theory of communication — математическая теория связи, теория передачи информации
English-Russian dictionary of Information technology > logic theory
-
31 logic theory
mathematical theory of communication — математическая теория связи, теория передачи информации
-
32 mathematical logic
математическая логика, символическая логика, логистика -
33 mathematical logic
математическая логика, символическая логика, логистикаThe New English-Russian Dictionary of Radio-electronics > mathematical logic
-
34 mathematical logic
English-Russian dictionary of mechanical engineering and automation > mathematical logic
-
35 mathematical logic
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > mathematical logic
-
36 mathematical logic
1) Техника: математическая логика, теоретическая логика2) Математика: логистика, символическая логика -
37 logistics
n1. (от греч. logistica - искусство вычислять, рассуждать)математическая логика;2. размещение товаров на складе.* * *сущ.1) (от греч. logistica - искусство вычислять, рассуждать) - математическая логика;2) размещение товаров на складе. -
38 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
-
39 logic
2) логика, логические схемы; логическая схема•-
active logic
-
air logic
-
arbitration logic
-
array logic
-
base-coupled logic
-
basic logic
-
binary logic
-
bipolar logic
-
Boolean logic
-
bubble logic
-
buffered logic
-
cellular logic
-
charge-coupled logic
-
circuit logic
-
combinational logic
-
complementary MOS logic
-
complementary transistor logic
-
computer logic
-
control logic
-
controlled saturation logic
-
current hogging injection logic
-
current hogging logic
-
current injection logic
-
current-mode logic
-
current-sinking logic
-
custom logic
-
decision making logic
-
dedicated logic
-
digital logic
-
diode logic
-
diode-transistor logic
-
direct-coupled logic
-
direct-coupled transistor logic
-
emitter-coupled logic
-
emitter-follower logic
-
failure detection logic
-
faulty logic
-
formal logic
-
front-end logic
-
functional logic
-
fuzzy logic
-
glue logic
-
hard-wired logic
-
high-level logic
-
high-noise-immunity logic
-
high-threshold logic
-
hyphenation logic
-
instruction logic
-
integrated circuit logic
-
integrated injection logic
-
integrated Schottky logic
-
interface logic
-
internal synchronous logic
-
irregular logic
-
isoplanar integrated injection logic
-
Josephson logic
-
ladder logic
-
lead reduction logic
-
low-energy logic
-
low-level logic
-
low-power logic
-
low-threshold logic
-
machine logic
-
magneto-optical logic
-
majority-vote logic
-
majority logic
-
mathematical logic
-
merged transistor logic
-
mixed logic
-
multiemitter logic
-
multilevel logic
-
multiple-valued logic
-
negative logic
-
nonsaturated logic
-
nonthreshold logic
-
pneumatic logic
-
positive logic
-
probabilistic logic
-
processing logic
-
programmable array logic
-
programmable logic
-
programmed logic
-
random logic
-
refresh and character-generating logic
-
regular logic
-
resistor-capacitor-transistor logic
-
resistor-transistor logic
-
saturated logic
-
Schottky transistor logic
-
Schottky transistor-transistor logic
-
Schottky-coupled integrated injection logic
-
sequential logic
-
symmetrically emitter-coupled logic
-
ternary logic
-
three state logic
-
three-dimensional logic
-
three-value logic
-
threshold logic
-
timing logic
-
transistor coupled logic
-
transistor-resistor logic
-
transistor-transistor logic
-
tunnel diode logic
-
twin-transistor injection logic
-
user-programmable logic
-
variable-threshold logic
-
vertical integrated injection logic
-
wired logic -
40 symbolic logic
[sɪmˌbɒlɪk'lɒdʒɪk]1) Общая лексика: логистика, символическая логика2) Автоматика: математическая логика
См. также в других словарях:
МАТЕМАТИЧЕСКАЯ ЛОГИКА — одно из названий современной логики, пришедшей во втор. пол. 19 нач. 20 в. на смену традиционной логике. В качестве др. названия современного этапа в развитии науки логики используется также термин символическая логика. Определение… … Философская энциклопедия
математическая логика — ЛОГИКА СИМВОЛИЧЕСКАЯ, математическая логика, теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин «Л. с.» был, по видимому, впервые… … Энциклопедия эпистемологии и философии науки
МАТЕМАТИЧЕСКАЯ ЛОГИКА — Ее еще называют символической логикой. М. л. это та же самая Аристотелева силлогистическая логика, но только громоздкие словесные выводы заменены в ней математической символикой. Этим достигается, во первых, краткость, во вторых, ясность, в… … Энциклопедия культурологии
МАТЕМАТИЧЕСКАЯ ЛОГИКА — МАТЕМАТИЧЕСКАЯ логика, дедуктивная логика, использующая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений … Современная энциклопедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике … Большой Энциклопедический словарь
МАТЕМАТИЧЕСКАЯ ЛОГИКА — (символическая логика), аналитический раздел логики, результат применения математических методов к проблемам классической логики. Рассматривает понятия, которые могут быть истинными или ложными, связь между понятиями и оперирование ими, включая… … Научно-технический энциклопедический словарь
МАТЕМАТИЧЕСКАЯ ЛОГИКА — один из ведущих разделов современной логики и математики. Сформировался в 19 20 ст. как реализация идеи о возможности записать все исходные допущения на языке знаков, аналогичных математическим и тем самым заменить рассуждения вычислениями.… … Новейший философский словарь
математическая логика — сущ., кол во синонимов: 1 • логистика (9) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
математическая логика — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN mathematical logic … Справочник технического переводчика
Математическая логика — (теоретическая логика, символическая логика) раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»[1] Согласно определению П. С. Порецкого, «математическая… … Википедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… … Математическая энциклопедия