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

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

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

Что означает термин Исчисление?Словарь логики

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

Итеративность - (санскр. itera - другой ) - понятие , введенное в дисциплинарный оборот современной философии...

Итифаллический - (Греч.) Определение богов как мужских и гермафродитных, - таких как бородатая Венера, Аполлон в...

Иттихад - «соединение», «слияние». Термин , обозначающий в мусульманской философии слияние души с Богом в...

Иудаизм - - религия , распространенная среди евреев. И. возн. во 2 тыс. до н. э. на основе политеистич....

Иудеохристиане - - принятое в науке название раннехрист. групп 1—3 вв., к-рые не порывали с иудаизмом и отправляли...

Ифинг - (Сканд.) Широкая река, отделяющая Асгард , обитель богов, от дома етунов, больших и сильных...

Ихрам - (араб.) - 1) одежда паломника-мусульманина, состоящая из 2 кусков неподрубленной белой льняной...

Ихтус - (Греч.) Рыба: символ Рыбы часто был относим к Иисусу, Христу нового Завета - частично потому, что...

Иччха - (Санскр.) Воля или сила воли.

Ишан - (перс.) - руководитель и наставник мусульм. общины дервишских, суфийских направлений. И., по...