Исчисление
— основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого класса - и алгоритм решения. В математической логике понятие об И. Подверглось уточнению и более строгой формализации. Логическое И. Строится на базе некоторого формализеванного языка. Задается набор исходных символов, из которых с помощью четко определенных правил строятся формулы рассматриваемого И. Некоторые из этих формул выбираются в качестве аксиом, из которых с помощью правил преобразования получают новые формулы, называемые теоремами. После того как к И. Добавляется интерпретация, придающая значение ее исходным символам и формулам, И.
Превращается в язык, описывающий некоторую предметную область (см. Исчисление высказываний, Исчисление классов, Исчисление предикатов и т. П.)..
Дополнительный поиск Исчисление
На нашем сайте Вы найдете значение "Исчисление" в словаре Словарь логики, подробное описание, примеры использования, словосочетания с выражением Исчисление, различные варианты толкований, скрытый смысл.
Первая буква "И". Общая длина 10 символа