Что такое Исчисление? Значение и толкование слова ischislenie, определение термина

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

Посмотреть значение слова Исчисление в других словарях:

Что означает термин Исчисление?Философский словарь