ИСЧИСЛЕНИЕ : Значение слова в словарях
ИСЧИСЛЕНИЕ
- исчисления, ср. (книжн.). 1. Действие по глаг. исчислить-исчислять. Исчисление убытков. 2. Название отделов высшей математики (мат.). Диференциальное исчисление. Интегральное исчисление. Исчисление конечных плоскостей.
- ИСЧИСЛ´ЕНИЕ, знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символич. выражений из букв алфавита системы - языка И., т.е. термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул И. (его фразеологии) из нек-рого фиксируемого в том же языке набора формул-аксиом. Любое И. однозначно определяется заданием алфавита И., правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. Приписывание символам И. значений, т.е. рассмотрение И. как знаковой системы (интерпретация И.), преобразует И. в формализованный язык. Осн. примеры И.: числовые и алгебр. системы, логич. исчисления.
- ИСЧИСЛ´ЕНИЕ ВЫСКАЗЫВАНИЙ, раздел матем. логики, аксиоматич. построение логики высказываний.
- ИСЧИСЛ´ЕНИЕ КЛАССОВ, раздел матем. логики, логика классов, представленная (построенная) как исчисление; примерно соответствует силлогистике Аристотеля.
- ИСЧИСЛ´ЕНИЕ ПРЕДИКАТОВ, раздел матем. логики, логич. исчисление, в алфавит знаков к-рого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов.
Искать значение слова ИСЧИСЛЕНИЕ на сайте