Исчисление – — основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого класса - и алгоритм решения. В математической логике понятие об И. подверглось уточнению и более строгой формализации. Логическое И. строится на базе некоторого формализеванного языка. Задается набор исходных символов, из которых с помощью четко определенных правил строятся формулы рассматриваемого И. Некоторые из этих формул выбираются в качестве аксиом, из которых с помощью правил преобразования получают новые формулы, называемые теоремами. После того как к И. добавляется интерпретация, придающая значение ее исходным символам и формулам, И. превращается в язык, описывающий некоторую предметную область (см.: Исчисление высказываний, Исчисление классов, Исчисление предикатов и т. п.).
Что такое Исчисление? Значение слова ischislenie, словарь логики
Значение слова «Исчисление» в Словаре логики. Что такое исчисление? Узнайте, что означает слово ischislenie - толкование слова, обозначение слова, определение термина, его лексический смысл и описание.
Исчисление
Поделиться с друзьями:
Постоянная ссылка на страницу:
Ссылка для сайта/блога:
Ссылка для форума (BB-код):
«Исчисление» в других словарях:
Исчисление
- Знаковая система, создаваемая использованием процессаобразования всех синтаксически правильных символических выражений из буквалфа...
Исчисление
- - основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание... и еще 1 определение
исчисление
- ИСЧИСЛ'ЕНИЕ , исчисления, ср. ( ·книж. ). 1. Действие по гл. исчислить - исчислять . Исчисление убытков. 2....