Skip navigation

Что такое Исчисление? Значение слова ischislenie, философский словарь

Значение слова «Исчисление» в Философском словаре. Что такое исчисление? Узнайте, что означает слово ischislenie - толкование слова, обозначение слова, определение термина, его лексический смысл и описание.

Исчисление

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

2. Исчисление – — система правил оперирования со знаками, расширяющая возможности содержательного мышления в решении задач ив доказательстве суждений, выразимых средствами (на “ языке ”) данного И. Особенность И. состоит в том, что объекты , с к-рыми в нем оперируют, являются материальными предметами (цифры, буквы и др. знаки ), практически не меняющимися в процессе применения к ним правил И. Исторически И. возникло и развилось в рамках математики (напр., дифференциальное и интегральное И. и др.); позже метод построения И. был распространен на логику, появились различные виды логического и логико-математического И. в связи с чем оформилась как наука математическая, или символическая, логика , в к-рой посредством построения И. выражаются логические формы . Представление определенных областей знания, особенно в дедуктивных науках, в виде И., строящегося на основе методов, разработанных в совр. логике, является наиболее последовательным типом формализации соответствующей области знания; эффективность такой формализации подтверждается практикой применения вычислительной техники, развитием кибернетики и информатики ( Логистический метод ).

Философский словарь
Прослушать

Поделиться с друзьями:

Постоянная ссылка на страницу:

Ссылка для сайта/блога:

Ссылка для форума (BB-код):

«Исчисление» в других словарях:

Исчисление

- Знаковая система, создаваемая использованием процессаобразования всех синтаксически правильных символических выражений из буквалфа...
Энциклопедический словарь

Исчисление

-  — основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволя­ющий дать точное описание...
Словарь логики

исчисление

- ИСЧИСЛ'ЕНИЕ , исчисления, ср. ( ·книж. ). 1. Действие по гл. исчислить - исчислять . Исчисление убытков. 2....
Толковый словарь Ушакова

Связанные понятия: