Значение ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ в Большом энциклопедическом словаре

ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ: исчисление, символы и правила которого могут быть интерпретированы в терминах логики.

Большой энциклопедический словарь. 2012

ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ в Большой советской энциклопедии, БСЭ:
исчисление , исчисление (формальная система), интерпретируемое в терминах какого-либо фрагмента дедуктивной логики . Различные Л. и. служат базой для построения …
ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ в Современном толковом словаре, БСЭ:
исчисление, символы и правила которого могут быть интерпретированы в терминах …
ЛОГИЧЕСКОЕ в Словаре экономических терминов:
ТОЛКОВАНИЕ - разъяснение и уяснение смысла и содержания норм права с помощью законов мышления. Логический способ толкования складывается из различных …
ИСЧИСЛЕНИЕ в Большом энциклопедическом словаре:
знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. …
ИСЧИСЛЕНИЕ в Большой советской энциклопедии, БСЭ:
основанный на чётко сформулированных правилах формальный аппарат оперирования со знаками определённого вида, позволяющий дать исчерпывающе точное описание некоторого класса задач, …
ИСЧИСЛЕНИЕ в Энциклопедическом словаре Брокгауза и Евфрона:
Этим словом означают отдельные части математики, см. Вариационное И., Дифференциальное И., Интегральное И. и И. конечных …
ЛОГИЧЕСКОЕ в Большом российском энциклопедическом словаре:
ЛОЃИЧЕСКОЕ СЛЕДСТВИЕ, суждение (предложение, высказывание, формула), полученное посредством дедуктивного рассуждения из нек-рых исходных …
ЛОГИЧЕСКОЕ в Большом российском энциклопедическом словаре:
ЛОЃИЧЕСКОЕ ИСЧИСЛЕНИЕ, исчисление, символы и правила к-рого могут быть интерпретированы в терминах …
ИСЧИСЛЕНИЕ в Большом российском энциклопедическом словаре:
ИСЧИСЛ́ЕНИЕ ПРЕДИКАТОВ, раздел матем. логики, логич. исчисление, в алфавит знаков к-рого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), …
ИСЧИСЛЕНИЕ в Большом российском энциклопедическом словаре:
ИСЧИСЛ́ЕНИЕ КЛАССОВ, раздел матем. логики, логика классов , представленная (построенная) как исчисление; примерно соответствует силлогистике …
ИСЧИСЛЕНИЕ в Большом российском энциклопедическом словаре:
ИСЧИСЛ́ЕНИЕ ВЫСКАЗЫВАНИЙ, раздел матем. логики, аксиоматич. построение логики высказываний …
ИСЧИСЛЕНИЕ в Большом российском энциклопедическом словаре:
ИСЧИСЛ́ЕНИЕ, знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символич. выражений из букв алфавита системы - языка И., т.е. …
ИСЧИСЛЕНИЕ в Энциклопедии Брокгауза и Ефрона:
? Этим словом означают отдельные части математики, см. Вариационное И., Дифференциальное И., Интегральное И. и И. конечных …
ИСЧИСЛЕНИЕ в Полной акцентуированной парадигме по Зализняку:
исчисле'ние, исчисле'ния, исчисле'ния, исчисле'ний, исчисле'нию, исчисле'ниям, исчисле'ние, исчисле'ния, исчисле'нием, исчисле'ниями, исчисле'нии, …
ИСЧИСЛЕНИЕ в словаре Синонимов русского языка:
вычисление, подсчет, расценивание, …
ИСЧИСЛЕНИЕ в Новом толково-словообразовательном словаре русского языка Ефремовой:
ср. 1) Процесс действия по знач. глаг.: исчислять (1), исчислить; подсчет, вычисление. 2) устар. Процесс действия по знач. глаг.: исчислять …
ИСЧИСЛЕНИЕ в Словаре русского языка Лопатина:
исчисл`ение, …
ИСЧИСЛЕНИЕ в Полном орфографическом словаре русского языка:
исчисление, …
ИСЧИСЛЕНИЕ в Орфографическом словаре:
исчисл`ение, …
ИСЧИСЛЕНИЕ в Современном толковом словаре, БСЭ:
знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. …
ИСЧИСЛЕНИЕ в Толковом словаре русского языка Ушакова:
исчисления, ср. (книжн.). 1. Действие по глаг. исчислить-исчислять. Исчисление убытков. 2. Название отделов высшей математики (мат.). Диференциальное исчисление. Интегральное исчисление. …
ИСЧИСЛЕНИЕ в Толковом словаре Ефремовой:
исчисление ср. 1) Процесс действия по знач. глаг.: исчислять (1), исчислить; подсчет, вычисление. 2) устар. Процесс действия по знач. глаг.: …
ИСЧИСЛЕНИЕ в Новом словаре русского языка Ефремовой:
ср. 1. процесс действия по гл. исчислять 1., исчислить; подсчет, вычисление. 2. устар. процесс действия по гл. исчислять 2., исчислить; …
ИСЧИСЛЕНИЕ в Большом современном толковом словаре русского языка:
I ср. 1. процесс действия по гл. исчислять I 2. Результат такого действия; подсчет, вычисление. II ср. устар. 1. процесс …
БЕСКОНЕЧНОЕ ЛОГИЧЕСКОЕ в Новейшем философском словаре:
понятие диалектической логики, введенное грузинским философом С.Б. Церетели (1907-1966). Б. Л., по определению Церетели, "есть то, отрицание чего утверждает его …
ЛОГИЧЕСКОЕ ТОЛКОВАНИЕ в Однотомном большом юридическом словаре:
- см. толкование логическое …
ЛОГИЧЕСКОЕ ТОЛКОВАНИЕ в Большом юридическом словаре:
- см. Толкование логическое …
ОПРОВЕРЖЕНИЕ ЛОГИЧЕСКОЕ в Большой советской энциклопедии, БСЭ:
логическое , обоснование, или содержательное доказательство , ложности суждения (предложения), умозаключения (рассуждения), совокупности гипотез (суждений) и умозаключений, составляющей научную теорию …
ЛОГИЧЕСКОЕ И ИСТОРИЧЕСКОЕ в Большой советской энциклопедии, БСЭ:
и историческое , существенные моменты развития объективного мира и методы его познания. Различают объективную логику и историю развития объекта и …
ИНТЕГРАЛЬНОЕ ИСЧИСЛЕНИЕ в Большой советской энциклопедии, БСЭ:
исчисление, раздел математики, в котором изучаются свойства и способы вычисления интегралов и их приложения. И. и. тесно связано с дифференциальным …
ДИФФЕРЕНЦИАЛЬНОЕ ИСЧИСЛЕНИЕ в Большой советской энциклопедии, БСЭ:
исчисление, раздел математики, в котором изучаются производные и дифференциалы функций и их применения к исследованию функций. Оформление Д. и. в …
ДИФФЕРЕНЦИАЛЬНОЕ ИСЧИСЛЕНИЕ в Энциклопедическом словаре Брокгауза и Евфрона:
Исчисление бесконечно малых, включающее так называемое Д. исчисление, а также ему обратное интегральное, принадлежит к числу наиболее плодотворных открытий человеческого …
АРИФМЕТИКО-ЛОГИЧЕСКОЕ в Большом российском энциклопедическом словаре:
АРИФМ́ЕТИКО-ЛОГИЧЕСКОЕ УСТРОЙСТВО (АЛУ), часть ЭВМ, в к-рой непосредственно выполняются арифметич. и логич. операции над …
ЛОГИЧЕСКОЕ НАПРАВЛЕНИЕ в Лингвистическом энциклопедическом словаре:
в языкознании — совокупность течений и отдельных концепций, изучающих язык в его отношеини к мышлению и знанию и ориентированных на …
ЛОГИЧЕСКОЕ СКАЗУЕМОЕ в Словаре лингвистических терминов:
(логический предикат). Смысловое сказуемое, т. е. содержащаяся в предложении информация о чем-то. В отличие от грамматического сказуемого, т. е. сказуемого …
ХОМЯКОВ АЛЕКСЕЙ СТЕПАНОВИЧ в Новейшем философском словаре:
(1804-1860) - русский религиозный философ, богослов, литературный критик, писатель и поэт. Наряду с И.В. Киреевским стоял у истоков славянофильства; его …
ЛУКАСЕВИЧ в Словаре постмодернизма:
(Lukasiewicz) Ян (1878-1956) - польский логик и философ, профессор Львовского и Варшавского университетов (1915-1939), с 1949 - Дублинского университета (Эйре), …
ДЖОЙС в Словаре постмодернизма.
ТОЛКОВАНИЕ в Словаре экономических терминов:
ЛОГИЧЕСКОЕ - см ЛОГИЧЕСКОЕ ТОЛКОВАНИЕ ; ТОЛКОВАНИЕ НОРМ …
КОЛ’ЕНА ИЗР’АИЛЕВЫ в Библейском словаре:
— потомки Иакова (Израиля), происшедшие от каждого из его двенадцати сыновей, родоначальников (глав) колен, родившихся от двух его жен и …
ЧИС 2 в Православной энциклопедии Древо:
Открытая православная энциклопедия "ДРЕВО". Библия . Ветхий Завет . Числа . Глава 2 Главы: 1 2 3 4 5 6 …
ЧИЧЕРИН БОРИС НИКОЛАЕВИЧ в Краткой биографической энциклопедии:
Чичерин (Борис Николаевич) - известный юрист и философ. Родился в Тамбове в 1828 г.; до 1868 г. был профессором государственного …
ТРОИЦКИЙ МАТВЕЙ МИХАЙЛОВИЧ в Краткой биографической энциклопедии:
Троицкий (Матвей Михайлович) - представитель эмпирической философии в России (1835 - 1899). Сын дьякона сельской церкви в Калужской губернии; окончил …
РОССИЯ, РАЗД. МАТЕМАТИКА в Краткой биографической энциклопедии:
Рпоха письменных памятников застает в России употребление десятичной системы счисления в пределах 1 - 10000 (тьма) и дробей двоичной системы …
УДАРЕНИЕ в Литературной энциклопедии:
или АКЦЕНТ [лат.] — выделение отдельных элементов в потоке звуков речи, осуществляемое или путем усиления мускульного напряжения и напора выдыхаемой …
ОБРАЗОВАНИЕ в Педагогическом энциклопедическом словаре:
, составная часть и одновременно продукт социализации. О. стоит на фундаменте научения, которое протекает в ходе социализации. Его отличие от …
ЯЗЫКОЗНАНИЕ в Большой советской энциклопедии, БСЭ:
лингвистика, языковедение, наука о языке . Объектом Я. является строение, функционирование и историческое развитие языка, язык во всём объёме его …
ЭЙЛЕР ЛЕОНАРД в Большой советской энциклопедии, БСЭ:
(Euler) Леонард [4(15).4.1707, Базель, Швейцария, - 7(18).9.1783, Петербург], математик, механик и физик. Род. в семье небогатого пастора Пауля Эйлера. Образование …
МАТЕМАТИКА в Большой советской энциклопедии, БСЭ:
I. Определение предмета математики, связь с другими науками и техникой. Математика (греч. mathematike, от mathema - знание, наука), наука о …
ЛОГИЧЕСКАЯ ОПЕРАЦИЯ в Большой советской энциклопедии, БСЭ:
операция в ЦВМ, поразрядная операция над кодами произвольной длины по правилам алгебры логики. Л. о. производится над всеми цифрами кодов …
ЛОГИКА в Большой советской энциклопедии, БСЭ:
(греч. logik), наука о приемлемых способах рассуждения. Слово 'Л.' в его современном употреблении многозначно, хотя и не столь богато смысловыми …
ИНДЕКСЫ (В СТАТИСТИКЕ) в Большой советской энциклопедии, БСЭ:
в статистике, относительные величины, количественно характеризующие сводную динамику (реже - изменение в пространстве) разносоставной совокупности. Так, означает, что общий уровень …
ЧИЧЕРИН, БОРИС НИКОЛАЕВИЧ в Энциклопедическом словаре Брокгауза и Евфрона:
I известный юрист и философ. Род. в Тамбове в 1828 г.; до 1868 г. был профессором государственного права в московском …
ТРОИЦКИЙ МАТВЕЙ МИХАЙЛОВИЧ в Энциклопедическом словаре Брокгауза и Евфрона:
представитель эмпирической философии в России (1835—1899). Сын дьякона сельской церкви в Калужской губ.; окончил курс в Киевской духовной академии; был …
СИЛЛОГИЗМ в Энциклопедическом словаре Брокгауза и Евфрона:
умозаключение, в котором на основании нескольких суждений с необходимостью выводится новое суждение, называемое заключением. В отличие от С., как умозаключения …
РОССИЯ. РУССКАЯ НАУКА: МАТЕМАТИКА в Энциклопедическом словаре Брокгауза и Евфрона:
Эпоха письменных памятников застает в России употребление десятичной системы счисления в пределах 1—10000 (тьма) и дробей двоичной системы вместе с …
ПРИКАЗ ВОЕННЫЙ в Энциклопедическом словаре Брокгауза и Евфрона:
есть обязательное для выполнения требование начальника, обращенное к подчиненному. Из этого определения явствует, что военный П. должен удовлетворять трем условиям: …
ГРЕЧЕСКАЯ ФИЛОСОФИЯ в Энциклопедическом словаре Брокгауза и Евфрона:
обнимает собою более чем тысячелетний период истории. Она зарождается за VI в. до Р. X., совпадая с началом того умственного …
ГЕРАКЛИТ ЕФЕССКИЙ в Энциклопедическом словаре Брокгауза и Евфрона:
один из оригинальнейших и славнейших философов Греции; род. около середины VI в. до Р. X. и прожил приблизительно до 475 …
ЧИЧЕРИН, БОРИС НИКОЛАЕВИЧ в Энциклопедии Брокгауза и Ефрона:
? известный юрист и философ. Род. в Тамбове в 1828 г.; до 1868 г. был профессором государственного права в московском …
ТРОИЦКИЙ МАТВЕЙ МИХАЙЛОВИЧ в Энциклопедии Брокгауза и Ефрона:
? представитель эмпирической философии в России (1835?1899). Сын дьякона сельской церкви в Калужской губ.; окончил курс в Киевской духовной академии; …
КОНЕЧНЫЕ РАЗНОСТИ в Словаре Кольера:
Исчисление конечных разностей связано с изучением свойств и применений разностей между соседними членами какой-нибудь последовательности или между значениями функции в …
КИТАЙСКАЯ ФИЛОСОФИЯ в Словаре Кольера.
ЗАКОН О ПОДОХОДНОМ НАЛОГЕ С ФИЗИЧЕСКИХ ЛИЦ в Современном толковом словаре, БСЭ:
(в ред. Законов РФ от 16.07.92 № 3317-1, от 22.12 92 № 4178-1, от 06.03.93 № 4618-1; Федеральных законов от …

Большой энциклопедический словарь

← ЛОГИЧЕСКИЙ ЭЛЕМЕНТ ПРОСТЕЙШАЯ СТРУКТУРНАЯ ЕДИНИЦА ЭВМ

ЛОГИЧЕСКОЕ СЛЕДСТВИЕ→