- ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ
-
исчисление, символы и правила к-рого могут быть интерпретированы в терминах логики.
Естествознание. Энциклопедический словарь.
ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ
Смотреть что такое "ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ" в других словарях:
ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ — см. Логистика. Философский энциклопедический словарь. 2010. ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ исчисление ( … Философская энциклопедия
ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ — исчисление, символы и правила которого могут быть интерпретированы в терминах логики … Большой Энциклопедический словарь
логическое исчисление — исчисление, символы и правила которого могут быть интерпретированы в терминах логики. * * * ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ, исчисление, символы и правила которого могут быть интерпретированы в терминах логики … Энциклопедический словарь
Логическое исчисление — Исчисление (формальная система), интерпретируемое в терминах какого либо фрагмента дедуктивной логики (См. Логика). Различные Л. и. служат базой для построения более богатых «нелогических» (например, математических) теорий. Примерами Л. и … Большая советская энциклопедия
Логическое исчисление — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете … Википедия
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие… … Большой Энциклопедический словарь
исчисление предикатов — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений «все» и «некоторые» (кванторы), позволяющие … Энциклопедический словарь
Исчисление (значения) — В математике термином «исчисление» обозначаются разные области знаний, а также формальные теории (множества формул, полученных из аксиом с помощью правил вывода). Дифференциальное исчисление Интегральное исчисление Вариационное исчисление… … Википедия
ЛОГИЧЕСКОЕ И ИСТОРИЧЕСКОЕ — см. Историческое и логическое. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983. ЛОГИЧЕСКОЕ И ИСТОРИЧЕСКОЕ … Философская энциклопедия
ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ — исчисление, символы и правила которого могут быть интерпретированы в терминах логики. Любое исчисление представляет собой знаковую систему, которая, как чисто синтаксическая структура, однозначно определяется двумя порождающими процедурами: 1)… … Современный философский словарь
