Sign in | English | Terms of Use

Google | Forvo | +

исчисление

n

ҳисоб (В. Бузаков); ҳисоб кардан; ҳисоб кардани; ҳисоб карда баромадан; ҳисоб карда баромадани

ҳисобкунӣ (номи фаслҳои математикои олӣ)

Russian thesaurus

исчисление n

знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов слов и формул фраз, и процесса вывода потенциально значимых истинных формул исчисления его фразеологии из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования вывода его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы интерпретация исчислений, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления. Большой Энциклопедический словарь

исчисление

: 12 phrases in 2 subjects

General	8
Mathematics	4

Add | Report an error | Get short URL