Начала современного естествознания - исчисление
Связанные словари
Исчисление
исчисление
некоторая знаковая, символьная система. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. Приписывание символам исчисления значений преобразует исчисление в формализованный язык. Основные примеры исчислений: числовые и алгебраические системы, логические исчисления, например, логистика, как математическая логика.Начала современного естествознания. Тезаурус. — Ростов-на-Дону
В.Н. Савченко, В.П. Смагин
2006
.
Рейтинг статьи:
См. в других словарях
1.
1) Составная часть названия нек-рых разделов математики, трактующих правила вычислений и оперирования с объектами того или иного типа; напр., дифференциальное И., вариационное И. 2) Дедуктивная система, т. е. способ задания множества путем указания исходных элементов (аксиом исчисления) и вывода правил, каждое из к-рых описывает, как строить новые элементы из исходных и уже построенных. Выводомв И. наз. такое линейно упорядоченное множество, что всякий его элемент Рявляется либо аксиомой И. либо заключением применения к.-л. принадлежащего правила вывода, причем все посылки этого применения предшествуют Рв выводе. Элемент наз. выводимым в если в можно построить вывод, кончающийся этим элементом. Для удобства изучения выводов они иногда записываются в виде нелинейной структуры (см. Вывода дерево);выводы могут быть снабжены анализом, т. е. дополнительной информацией, облегчающей проверку правильности вывода (напр., при каждом элементе вывода пишутся код правила и номера предшествующих элементов, при помощи к-рых получен данный элемент). Пример. Рассмотрим исчисление задающее множество Мзаписей в однобуквенном алфавите...Математическая энциклопедия
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 372 | |
2 | 332 | |
3 | 331 | |
4 | 330 | |
5 | 329 | |
6 | 321 | |
7 | 311 | |
8 | 311 | |
9 | 311 | |
10 | 310 | |
11 | 308 | |
12 | 303 | |
13 | 301 | |
14 | 297 | |
15 | 297 | |
16 | 294 | |
17 | 277 | |
18 | 272 | |
19 | 272 | |
20 | 269 |