-
1 конструктивная логика
Русско-английский большой базовый словарь > конструктивная логика
-
2 конструктивная логика
-
3 конструктивная логика
Русско-английский словарь по информационным технологиям > конструктивная логика
-
4 конструктивная логика
Русско-английский технический словарь > конструктивная логика
-
5 конструктивная логика
Mathematics: constructive logicУниверсальный русско-английский словарь > конструктивная логика
-
6 конструктивная логика
Русско-английский словарь по вычислительной технике и программированию > конструктивная логика
-
7 конструктивная логика
Русско-английский математический словарь > конструктивная логика
-
8 логика
ж. logicлогика «большинства» — majority logic
-
9 логика
logic
– базовая логика
– бинарная логика
– вероятностная логика
– диодно-транзисторная логика
– комбинаторная логика
– конструктивная логика
– логика большинства
– логика высказываний
– логика диод-транзисторная
– логика предикатове
– логика транзистор-транзисторная
– математическая логика
– модальная логика
– нерегулярная логика
– отризательная логика
– пороговая логика
– резисторно-транзисторная логика
– транзисторно-транзисторная логика
– троичная логика
– формальная логика
– экстенсиональная логика
классическая логика высказываний — classical propositional logic
логика на полевых транзисторах с емкостными связями через диоды — capacitive diode FET logic
См. также в других словарях:
КОНСТРУКТИВНАЯ ЛОГИКА — 1) то же, что и интуиционистская логика; 2) ветвь логики, в которой изучаются финитные (см. Финитизм) рассуждения о конструктивных объектах и процессах (см. Конструктивное направление) и строится соответств. семантика. В К. л. отвергается … Философская энциклопедия
конструктивная логика — КОНСТРУКТИВНАЯ ЛОГИКА (от лат. constructio построение) совокупность логических принципов, признаваемых приемлемыми представителями конструктивизма в математике. Предметом конструктивизма являются конструктивные объекты и конструктивные… … Энциклопедия эпистемологии и философии науки
Конструктивная логика — логика, развиваемая в соответствии с принципами т. н. конструктивного направления (См. Конструктивное направление), отличающимися требованием конструктивности (возможности эффективного построения) объектов, существование которых… … Большая советская энциклопедия
КОНСТРУКТИВНАЯ ЛОГИКА — раздел математической логики, изучающий рассуждения о конструктивных объектах и конструкциях. При таком понимании К. л. шире, чем логика конструктивной математики. Самое заметное отличие от традиционной (классической) логики состоит в отсутствии… … Математическая энциклопедия
конструктивная логика — одно из направлений современной логики, изучающее рассуждения о конструктивных объектах и процессах. Конструктивные объекты представляют собой или отдельные, ясно отличаемые друг от друга знаки, или последовательности таких знаков, получаемые… … Словарь терминов логики
Логика — Гр … Википедия
Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
КОНСТРУКТИВНАЯ МАТЕМАТИКА — конструктивное направление в математике, математика, строящаяся в соответствии с тем или иным конструктивным математич. мировоззрением, обыкновенно стремящимся связывать утверждения о существовании математнч. объектов с возможностью их построения … Математическая энциклопедия
ЛОГИКА — наука о формах, законах и методах правильного (т. с. построенного в соответствии с определенными логическими стандартами) мышления. Различают формальную и содержательную логику. Формальная логика изучает мышление опосредованно, только через… … Философия науки: Словарь основных терминов
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия