-
81 riyaziy
математическийriyaziy talil - математический анализriyaziy mantıq - математическая логика -
82 logistics
1) логистика; система поставок, система материально-технического обеспечения, снабжения2) логистика, математическая логикаАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > logistics
-
83 logistiikka
1) логистика (складское дело); управление товарными потоками2) логистика, математическая логика -
84 logistik·o
редк. математическая логика, логистика (= matematika logiko); ср. loĝistiko. -
85 mathematics of logic
-
86 Logistik
f <-, -en>1) логистика (раздел математики), математическая логика2) воен тыловое планирование и обеспечение; службы тыла и снабжения3) эк логистика (организация производства, хранения, транспортировки, сбыта товаров) -
87 mathematics of logic
English-Russian scientific dictionary > mathematics of logic
-
88 logistics
1. n воен. тыл и снабжение2. n воен. материально-техническое обеспечение3. n воен. организация и осуществление работы тыла4. n воен. спец. материально-техническое снабжение5. n мат. логистика, математическая логика -
89 mathematische symbolische Logik
прил.радио. алгебра Буля, математическая символьная логикаУниверсальный немецко-русский словарь > mathematische symbolische Logik
-
90 logic
1) логикаа) в вычислительной технике - последовательность операций, выполняемых программно или аппаратно. Соответственно говорят о программной логике (program logic, software logic) и об аппаратной логике (hardware logic)см. тж. Boolean logic, crisp logic, formal logic, fuzzy logic, inductive logic, mathematical logic, predicate logic, propositional logic, symbolic logic2) логические схемы (вентили), схемотехникасхемы для реализации логических (булевых) операций (см. logic circuit); например, VLSI logic - схемотехника СБИСсм. тж. arbitration logic, binary logic, clockless logic, combinational logic, control logic, digital logic, discrete logic, interconnection logic, logic board, logic analyzer, logic chip, logic element, logic gate, negative logic, optical logic, positive logic, random logic, sequential logic, ternary logic3) (см. тж. logical) - логическийАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > logic
-
91 symbolic logic
символическая (математическая, формальная, бессодержательная) логика - см. formal logicАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > symbolic logic
-
92 formal logic
формальная (математическая, символическая) логиканаправление логики, изучающее чётко определённые логические операции над символами (аргументами), не касаясь их содержания.Syn:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > formal logic
См. также в других словарях:
МАТЕМАТИЧЕСКАЯ ЛОГИКА — одно из названий современной логики, пришедшей во втор. пол. 19 нач. 20 в. на смену традиционной логике. В качестве др. названия современного этапа в развитии науки логики используется также термин символическая логика. Определение… … Философская энциклопедия
математическая логика — ЛОГИКА СИМВОЛИЧЕСКАЯ, математическая логика, теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин «Л. с.» был, по видимому, впервые… … Энциклопедия эпистемологии и философии науки
МАТЕМАТИЧЕСКАЯ ЛОГИКА — Ее еще называют символической логикой. М. л. это та же самая Аристотелева силлогистическая логика, но только громоздкие словесные выводы заменены в ней математической символикой. Этим достигается, во первых, краткость, во вторых, ясность, в… … Энциклопедия культурологии
МАТЕМАТИЧЕСКАЯ ЛОГИКА — МАТЕМАТИЧЕСКАЯ логика, дедуктивная логика, использующая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений … Современная энциклопедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике … Большой Энциклопедический словарь
МАТЕМАТИЧЕСКАЯ ЛОГИКА — (символическая логика), аналитический раздел логики, результат применения математических методов к проблемам классической логики. Рассматривает понятия, которые могут быть истинными или ложными, связь между понятиями и оперирование ими, включая… … Научно-технический энциклопедический словарь
МАТЕМАТИЧЕСКАЯ ЛОГИКА — один из ведущих разделов современной логики и математики. Сформировался в 19 20 ст. как реализация идеи о возможности записать все исходные допущения на языке знаков, аналогичных математическим и тем самым заменить рассуждения вычислениями.… … Новейший философский словарь
математическая логика — сущ., кол во синонимов: 1 • логистика (9) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
математическая логика — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN mathematical logic … Справочник технического переводчика
Математическая логика — (теоретическая логика, символическая логика) раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»[1] Согласно определению П. С. Порецкого, «математическая… … Википедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… … Математическая энциклопедия