Прикладные словари

Справочные словари

Толковые словари

Жаргонные словари

Гуманитарные словари

Технические словари



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


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

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

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

Интуиция - (от лат. intuitio — пристальное, внимательное всматривание, созерцание) ...
Иррациональное - (от лат. irrationalis неразумный, бессоз­нательный)   находящееся ...
Искусственный Интеллект -   метафорическое обозначе­ние области исследований, цель которых ...
Истина -  — мысль или высказывание, соответствующие своему предмету. Мысль ...
Истинностное Значение -   одна из возможных характери­стик высказывания с точки ...
Кавычки -  — в грамматике естественного языка парный знак препинания ...
Категорическое Суждение -  (в традиционной логике) суждение, в котором предикат утверждается ...
Категория - (от греч. kategoria высказывание, обвинение, при­знак)  — ...
Класс, Множество (В Логике И Математике) -   конеч­ная или бесконечная совокупность объектов, выделенная по ...
Классификация -  — многоступенчатое, разветвленное деле­ние логического объема понятия. Результатом ...


Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Код нашей кнопки: