DictionaryForumContacts

   Russian
Google | Forvo | +
to phrases
исчисление nstresses
gen. числення; рахуванпя n; обрахування; вираховування; вилічування; облічування; облік m; чисління n; лічба
math. вираховування (неоконч.); вирахування f; обчислення n (действие); обчислювання n (неоконч.); обчисляння; числення (совокупность приёмов, наименований и обозначений чисел)
met. обчислення n; числення
 Russian thesaurus
исчисление n
gen. знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов слов и формул фраз, и процесса вывода потенциально значимых истинных формул исчисления его фразеологии из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования вывода его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы интерпретация исчислений, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления. Большой Энциклопедический словарь
исчисление
: 26 phrases in 4 subjects
General5
Logic1
Metallurgy1
Technology19