Словарь логики - исчисление
Исчисление
исчисление
— основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого класса и алгоритм решения. В математической логике понятие об И.подверглось уточнению и более строгой формализации. Логическое И. строится на базе некоторого формализеванного языка. Задается набор исходных символов, из которых с помощью четко определенных правил строятся формулы рассматриваемого И. Некоторые из этих формул выбираются в качестве аксиом, из которых с помощью правил преобразования получают новые формулы, называемые теоремами.
После того как к И. добавляется интерпретация, придающая значение ее исходным символам и формулам, И. превращается в язык, описывающий некоторую предметную область (см.: Исчисление высказываний, Исчисление классов, Исчисление предикатов и т. п.). .
Рейтинг статьи:
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 374 | |
2 | 371 | |
3 | 363 | |
4 | 339 | |
5 | 338 | |
6 | 335 | |
7 | 328 | |
8 | 326 | |
9 | 325 | |
10 | 325 | |
11 | 320 | |
12 | 316 | |
13 | 314 | |
14 | 313 | |
15 | 311 | |
16 | 310 | |
17 | 309 | |
18 | 308 | |
19 | 307 | |
20 | 300 |