логическое исчисление это:

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

Энциклопедический словарь. 2009.

Смотреть что такое "логическое исчисление" в других словарях:

  • ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ — см. Логистика. Философский энциклопедический словарь. 2010. ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ исчисление ( …   Философская энциклопедия

  • ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ — исчисление, символы и правила которого могут быть интерпретированы в терминах логики …   Большой Энциклопедический словарь

  • Логическое исчисление —         Исчисление (формальная система), интерпретируемое в терминах какого либо фрагмента дедуктивной логики (См. Логика). Различные Л. и. служат базой для построения более богатых «нелогических» (например, математических) теорий. Примерами Л. и …   Большая советская энциклопедия

  • ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ — исчисление, символы и правила к рого могут быть интерпретированы в терминах логики …   Естествознание. Энциклопедический словарь

  • Логическое исчисление — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете …   Википедия

  • ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие… …   Большой Энциклопедический словарь

  • исчисление предикатов — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений «все» и «некоторые» (кванторы), позволяющие …   Энциклопедический словарь

  • Исчисление (значения) — В математике термином «исчисление» обозначаются разные области знаний, а также формальные теории (множества формул, полученных из аксиом с помощью правил вывода). Дифференциальное исчисление Интегральное исчисление Вариационное исчисление… …   Википедия

  • ЛОГИЧЕСКОЕ И ИСТОРИЧЕСКОЕ —         см. Историческое и логическое. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983. ЛОГИЧЕСКОЕ И ИСТОРИЧЕСКОЕ …   Философская энциклопедия

  • ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ — исчисление, символы и правила которого могут быть интерпретированы в терминах логики. Любое исчисление представляет собой знаковую систему, которая, как чисто синтаксическая структура, однозначно определяется двумя порождающими процедурами: 1)… …   Современный философский словарь

Книги



Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»