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

Что такое ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ

раздел математической логики, аксиоматическое построение логики высказываний.

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

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ в Большой советской энциклопедии, БСЭ:
высказываний, исчисление суждений, раздел математической логики , в котором формально-аксиоматическим методом изучаются сложные (составные) высказывания, составленные из простых (элементарных, не …
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ в Современном толковом словаре, БСЭ:
раздел математической логики, аксиоматическое построение логики …
ИСЧИСЛЕНИЕ в Большом энциклопедическом словаре:
знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. …
ИСЧИСЛЕНИЕ в Большой советской энциклопедии, БСЭ:
основанный на чётко сформулированных правилах формальный аппарат оперирования со знаками определённого вида, позволяющий дать исчерпывающе точное описание некоторого класса задач, …
ИСЧИСЛЕНИЕ в Энциклопедическом словаре Брокгауза и Евфрона:
Этим словом означают отдельные части математики, см. Вариационное И., Дифференциальное И., Интегральное И. и И. конечных …
ИСЧИСЛЕНИЕ в Большом российском энциклопедическом словаре:
ИСЧИСЛ́ЕНИЕ ПРЕДИКАТОВ, раздел матем. логики, логич. исчисление, в алфавит знаков к-рого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), …
ИСЧИСЛЕНИЕ в Большом российском энциклопедическом словаре:
ИСЧИСЛ́ЕНИЕ КЛАССОВ, раздел матем. логики, логика классов , представленная (построенная) как исчисление; примерно соответствует силлогистике …
ИСЧИСЛЕНИЕ в Большом российском энциклопедическом словаре:
ИСЧИСЛ́ЕНИЕ ВЫСКАЗЫВАНИЙ, раздел матем. логики, аксиоматич. построение логики высказываний …
ИСЧИСЛЕНИЕ в Большом российском энциклопедическом словаре:
ИСЧИСЛ́ЕНИЕ, знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символич. выражений из букв алфавита системы - языка И., т.е. …
ИСЧИСЛЕНИЕ в Энциклопедии Брокгауза и Ефрона:
? Этим словом означают отдельные части математики, см. Вариационное И., Дифференциальное И., Интегральное И. и И. конечных …
ИСЧИСЛЕНИЕ в Полной акцентуированной парадигме по Зализняку:
исчисле'ние, исчисле'ния, исчисле'ния, исчисле'ний, исчисле'нию, исчисле'ниям, исчисле'ние, исчисле'ния, исчисле'нием, исчисле'ниями, исчисле'нии, …
ИСЧИСЛЕНИЕ в словаре Синонимов русского языка:
вычисление, подсчет, расценивание, …
ИСЧИСЛЕНИЕ в Новом толково-словообразовательном словаре русского языка Ефремовой:
ср. 1) Процесс действия по знач. глаг.: исчислять (1), исчислить; подсчет, вычисление. 2) устар. Процесс действия по знач. глаг.: исчислять …
ИСЧИСЛЕНИЕ в Словаре русского языка Лопатина:
исчисл`ение, …
ИСЧИСЛЕНИЕ в Полном орфографическом словаре русского языка:
исчисление, …
ИСЧИСЛЕНИЕ в Орфографическом словаре:
исчисл`ение, …
ИСЧИСЛЕНИЕ в Современном толковом словаре, БСЭ:
знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. …
ИСЧИСЛЕНИЕ в Толковом словаре русского языка Ушакова:
исчисления, ср. (книжн.). 1. Действие по глаг. исчислить-исчислять. Исчисление убытков. 2. Название отделов высшей математики (мат.). Диференциальное исчисление. Интегральное исчисление. …
ИСЧИСЛЕНИЕ в Толковом словаре Ефремовой:
исчисление ср. 1) Процесс действия по знач. глаг.: исчислять (1), исчислить; подсчет, вычисление. 2) устар. Процесс действия по знач. глаг.: …
ИСЧИСЛЕНИЕ в Новом словаре русского языка Ефремовой:
ср. 1. процесс действия по гл. исчислять 1., исчислить; подсчет, вычисление. 2. устар. процесс действия по гл. исчислять 2., исчислить; …
ИСЧИСЛЕНИЕ в Большом современном толковом словаре русского языка:
I ср. 1. процесс действия по гл. исчислять I 2. Результат такого действия; подсчет, вычисление. II ср. устар. 1. процесс …
ЛОГИКА ВЫСКАЗЫВАНИЙ в Большом энциклопедическом словаре:
раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из …
ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ в Большой советской энциклопедии, БСЭ:
исчисление , исчисление (формальная система), интерпретируемое в терминах какого-либо фрагмента дедуктивной логики . Различные Л. и. служат базой для построения …
ЛОГИКА ВЫСКАЗЫВАНИЙ в Большой советской энциклопедии, БСЭ:
высказываний , раздел математической логики , посвященный изучению логических форм сложных высказываний, образованных из элементарных высказываний с помощью связок, аналогичных …
ЛОГИКА в Большой советской энциклопедии, БСЭ:
(греч. logik), наука о приемлемых способах рассуждения. Слово 'Л.' в его современном употреблении многозначно, хотя и не столь богато смысловыми …
ИНТЕГРАЛЬНОЕ ИСЧИСЛЕНИЕ в Большой советской энциклопедии, БСЭ:
исчисление, раздел математики, в котором изучаются свойства и способы вычисления интегралов и их приложения. И. и. тесно связано с дифференциальным …
ДИФФЕРЕНЦИАЛЬНОЕ ИСЧИСЛЕНИЕ в Большой советской энциклопедии, БСЭ:
исчисление, раздел математики, в котором изучаются производные и дифференциалы функций и их применения к исследованию функций. Оформление Д. и. в …
ДИФФЕРЕНЦИАЛЬНОЕ ИСЧИСЛЕНИЕ в Энциклопедическом словаре Брокгауза и Евфрона:
Исчисление бесконечно малых, включающее так называемое Д. исчисление, а также ему обратное интегральное, принадлежит к числу наиболее плодотворных открытий человеческого …
ЛОГИКА ВЫСКАЗЫВАНИЙ в Современном толковом словаре, БСЭ:
раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из …
ПЕРФОРМАТИВНАЯ КОНЦЕПЦИЯ ГЕНДЕРА в Словаре Терминов гендерных исследований..
ЯЗЫК в Новейшем философском словаре:
сложная развивающаяся семиотическая система, являющаяся специфическим и универсальным средством объективации содержания как индивидуального сознания, так и культурной традиции, обеспечивая возможность …
ФУКО в Новейшем философском словаре:
(Foucault) Мишель (1926-1984) - французский философ-постструктуралист, ставивший целью описание механизмов порождения текстов, форм знания, самоидентификации. Исследуя в книге "Рождение клиники. …
ЯЗЫК в Словаре постмодернизма:
- сложная развивающаяся семиотическая система, являющаяся специфическим и универсальным средством объективации содержания как индивидуального сознания, так и культурной традиции, обеспечивая …
ФУКО в Словаре постмодернизма:
- сочинение Делеза ("Foucault", 1986). Книга состоит из двух частей. В первой - "От архива к диаграмме" - размещены две …
ФИЛОСОФСКИЕ ИССЛЕДОВАНИЯ в Словаре постмодернизма:
("Philosophische Untersuchungen") - главное произведение позднего периода творчества Витгенштейна. Несмотря на то, что книга была издана лишь в 1953, через …
ПЕРЕЛЬМАН в Словаре постмодернизма:
(Perelman) Хаим (1912-1984) - бельгийский философ, логик, профессор. Родился в Варшаве. Окончил Свободный университет в Брюсселе. Возглавлял Брюссельскую школу "новой …
МЕТАФОРА в Словаре постмодернизма:
(греч. metaphora - перенесение) - перенесение свойств одного предмета (явления или грани бытия) на другой по принципу их сходства в …
ЛУКАСЕВИЧ в Словаре постмодернизма:
(Lukasiewicz) Ян (1878-1956) - польский логик и философ, профессор Львовского и Варшавского университетов (1915-1939), с 1949 - Дублинского университета (Эйре), …
АРХЕОЛОГИЯ ЗНАНИЯ в Словаре постмодернизма:
("L'arheologie du savoir", 1969) - работа Фуко, завершающая первый, так называемый "археологический период" в его твор-честве и составляющая своеобразный триптих …
КОЛ’ЕНА ИЗР’АИЛЕВЫ в Библейском словаре:
— потомки Иакова (Израиля), происшедшие от каждого из его двенадцати сыновей, родоначальников (глав) колен, родившихся от двух его жен и …
ЧИС 2 в Православной энциклопедии Древо:
Открытая православная энциклопедия "ДРЕВО". Библия . Ветхий Завет . Числа . Глава 2 Главы: 1 2 3 4 5 6 …
КУЧЕРОВ ТИМОФЕЙ ИВАНОВИЧ в Православной энциклопедии Древо:
Открытая православная энциклопедия "ДРЕВО". Кучеров Тимофей Иванович ( 1871 - 1937 ), ктитор , мученик . Память 19 ноября , …
РОССИЯ, РАЗД. МАТЕМАТИКА в Краткой биографической энциклопедии:
Рпоха письменных памятников застает в России употребление десятичной системы счисления в пределах 1 - 10000 (тьма) и дробей двоичной системы …
ФОЛЬКЛОР в Литературной энциклопедии.
ЭЙЛЕР ЛЕОНАРД в Большой советской энциклопедии, БСЭ:
(Euler) Леонард [4(15).4.1707, Базель, Швейцария, - 7(18).9.1783, Петербург], математик, механик и физик. Род. в семье небогатого пастора Пауля Эйлера. Образование …
СИНОНИМИЯ в Большой советской энциклопедии, БСЭ:
(от греч. synonymia - одноимённость), бинарное отношение ,в котором находятся любые два равнозначные, но не тождественные выражения; под равнозначностью понимается …
СЕКВЕНЦИЙ ИСЧИСЛЕНИЕ в Большой советской энциклопедии, БСЭ:
исчисление (позднелатинское sequentia - последовательность, следствие), секвенциальные исчисления, исчисления способов заключений, модификации понятия логического исчисления , в которых основными объектами …
ПРОПОЗИЦИОНАЛЬНАЯ ПЕРЕМЕННАЯ в Большой советской энциклопедии, БСЭ:
переменная , переменная для высказываний, переменная, область значений которой состоит из двух т. н. истинностных значений: 'истина' и 'ложь' (а …
ПРЕДИКАТ (СВОЙСТВО ОТД. ПРЕДМЕТА) в Большой советской энциклопедии, БСЭ:
(от позднелат. praedicatum- сказанное), то же, что свойство; в узком смысле - свойство отдельного предмета, например 'быть человеком', в широком …
ПРАВИЛО ВЫВОДА в Большой советской энциклопедии, БСЭ:
вывода , правило преобразования некоторой формальной системы, дедуктивное правило, правило-разрешение, регламентирующее допустимые способы переходов от некоторой совокупности утверждений ( суждений …
ПОЛОЖИТЕЛЬНАЯ ЛОГИКА в Большой советской энциклопедии, БСЭ:
логика , логика, в которой приемлемыми считаются только рассуждения, не связанные с опровержениями, т. е. с обоснованиями ложности высказываний. Поскольку …
ОБЩЕСТВЕННОЕ МНЕНИЕ в Большой советской энциклопедии, БСЭ:
мнение , состояние массового сознания, заключающее в себе отношение (скрытое или явное) людей к событиям и фактам социальной действительности, к …
НАТУРАЛЬНОЕ ИСЧИСЛЕНИЕ в Большой советской энциклопедии, БСЭ:
исчисление, исчисление естественного вывода, натуральная дедукция, общее название логических исчислений, введённых и изученных в 1934 немецким логиком Г. Генценом (и …
МОДЕЛЕЙ ТЕОРИЯ в Большой советской энциклопедии, БСЭ:
теория, раздел математики, возникший при применении методов математической логики в алгебре. Ко 2-й половине 20 в. М. т. оформилась в …
МНОГОЗНАЧНАЯ ЛОГИКА в Большой советской энциклопедии, БСЭ:
логика, раздел математической логики , изучающий математические модели логики высказываний . Эти модели отражают две основные черты последней - множественность …
ЛОГИЧЕСКИЕ ОПЕРАЦИИ в Большой советской энциклопедии, БСЭ:
http-equiv"Default-Style" content"encstyle"> Логические операции Логические операции , логические связки, логические операторы, функции, преобразующие высказывания или пропозициональные формы (т. е. выражения …
ЛОГИКА КЛАССОВ в Большой советской энциклопедии, БСЭ:
классов , раздел логики , основным предметом рассмотрения в котором служат классы (множества) предметов, задаваемые характеризующими их свойствами, общими для …
ИНДЕКСЫ (В СТАТИСТИКЕ) в Большой советской энциклопедии, БСЭ:
в статистике, относительные величины, количественно характеризующие сводную динамику (реже - изменение в пространстве) разносоставной совокупности. Так, означает, что общий уровень …
АЛГЕБРА ЛОГИКИ в Большой советской энциклопедии, БСЭ:
логики, раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. …
РОССИЯ. РУССКАЯ НАУКА: МАТЕМАТИКА в Энциклопедическом словаре Брокгауза и Евфрона:
Эпоха письменных памятников застает в России употребление десятичной системы счисления в пределах 1—10000 (тьма) и дробей двоичной системы вместе с …
ЛОГИКА в Большом российском энциклопедическом словаре:
Л́ОГИКА ВЫСКАЗЫВАНИЙ, раздел логики, в к-ром вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения …
КОНЕЧНЫЕ РАЗНОСТИ в Словаре Кольера:
Исчисление конечных разностей связано с изучением свойств и применений разностей между соседними членами какой-нибудь последовательности или между значениями функции в …
СИНТАКСИС в Лингвистическом энциклопедическом словаре:
(от греч. syntaxis — построение, порядок) — 1) характерные для конкретных языков средства и правила создания речевых единиц; 2) раздел …
ЗАКОН О ПОДОХОДНОМ НАЛОГЕ С ФИЗИЧЕСКИХ ЛИЦ в Современном толковом словаре, БСЭ:
(в ред. Законов РФ от 16.07.92 № 3317-1, от 22.12 92 № 4178-1, от 06.03.93 № 4618-1; Федеральных законов от …

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

← ИСЧИСЛЕНИЕ ИСЧИСЛЕНИЕ КЛАССОВ→