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

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

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

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

Возможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:

Кавычки -  — в грамматике естественного языка парный знак препинания (обычно ,, " или « »),...

Категорическое Суждение -  (в традиционной логике) -суждение, в котором предикат утверждается или отрицается отно­сительно...

Категория - (от греч. kategoria - высказывание, обвинение, при­знак)  — предельно общее фундаментальное...

Класс, Множество (В Логике И Математике) -  - конеч­ная или бесконечная совокупность объектов, выделенная по об­щему для них признаку...

Классификация -  — многоступенчатое, разветвленное деле­ние логического объема понятия. Результатом К. является...

Конвенция - (от лат. conventio - соглашение)  - договор, согла­шение, условие. Разнообразные К. играют...

Коннотация - (от лат. connotatio — добавочное значение)  — до­полнительные черты, оттенки, сопутствующие...

Конструктивная Логика -  - одно из направлений современ­ной логики, изучающее рассуждения о конструктивных объек­тах и...

Контекст - (от лат. contextus — сцепление, соединение, связь)  — относительно законченный по смыслу отрывок...

Контекстуальное Определение - см.: Определение контек­стуальное.