Выберите букву, на которую начинается слово, значение которого Вы хотите узнать:
А Б В Г Д З И К Л М Н О П Р С Т У Ф Ц Ч Э Ю Я
[Исчисление]
аЧ основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволянющий дать точное
описание некоторого класса задач, а для отндельных подклассов этого класса - и алгоритм решения. В математической логике
понятие об И. подверглось уточнению и более строгой формализации. Логическое И. строится на базе ненкоторого формализеванного языка. Задается набор исходнных символов, из которых с помощью четко определенных правил строятся формулы рассматриваемого И. Некоторые из этих формул выбираются в качестве аксиом, из которых с помощью правил пренобразования получают новые формулы, называемые теоремами. После того как к И. добавляется
интерпретация, придающая
значение ее исходным символам и формулам, И. превращается в язык, описыванющий некоторую предметную область (см.: Исчисление высказыванний, Исчисление классов, Исчисление предикатов и т. п.).
Вернуться в раздел Эзотерические и восточные энциклопедии.
Информация