— основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида , позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов э того класса - и алгоритм решения. В математической логике понятие об И. подверглось уточнению и более строгой формализации. Логическое И. строится на базе некоторого формализеванного язык а. Задается набор исходных символов, из которых с помощью четко определенных правил строятся формулы рассматриваемого И. Некоторые из этих формул выбираются в качестве аксиом, из которых с помощью правил преобразования получают новые формулы, называемые теоремами. После того как к И. добавляется интерпретация , придающая значение ее исходным символам и формулам, И. превращается в язык, описывающий некоторую предметную область (см.: Исчисление высказываний, Исчисление классов, Исчисление предикатов и т. п.).
Что такое Исчисление? Значение слова Исчисление в словаре логики
Исчисление - — основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого класса - и алгоритм решения. В математической логике понятие об И. подверглось уточнению и более строгой формализации. Логическое И. строится на базе некоторого формализеванного языка. Задается набор исходных символов, из которых с помощью четко определенных правил строятся формулы рассматриваемого И. Некоторые из этих формул выбираются в качестве аксиом, из которых с помощью правил преобразования получают новые формулы, называемые теоремами. После того как к И. добавляется интерпретация, придающая значение ее исходным символам и формулам, И. превращается в язык, описывающий некоторую предметную область (см.: Исчисление высказываний, Исчисление классов, Исчисление предикатов и т. п.).
Однокоренные и похожие слова:
Значение слова Исчисление в других словарях:
- Что такое Исчисление? энциклопедический словарь
- Определение термина Исчисление? философский словарь
- Толкование слова Исчисление? толковый словарь ушакова
Узнайте лексическое, прямое, переносное значение следующих слов:
- Логика Дедуктивная - см.: Дедукция. ...
- Логика Времени - или: Временная логика, — раздел современной модальной логики, ...
- Лжеца Парадокс - один из наиболее известных логических парадоксов. В ...
- Круг В Определении - — логическая ошибка, связанная с нарушением одного из ...
- Косвенное Доказательство - доказательство, в котором истинность тезиса устанавливается путем ...
- Концепт - (от лат. conceptus— понятие) — содержание понятия, то ...
- Контрапозиции Закон - общее название для ряда логических законов, позволяющих ...
- Интенсионал И Экстенсионал - понятия, введенные австрийским логиком и философом Р. ...
- Индукция Полная - индукция, в которой делается заключение о том, ...
- Индукция Математическая, Полная Математическая Индукция - средство доказательства общих положений в математике и ...
- Индукции Каноны - (от греч. canon — правило, предписание) методы установления ...
- Индуктивная Логика - раздел логики, изучающий индуктивные умозаключения, которые отличаются ...
- Имя - выражение естественного или искусственного, формализованного языка, обозначающее ...
- Импликация - (от лат. implicatio сплетение, от implico — ...
- Эристика - (от греч. eristika — искусство спора) — искусство ...