Wörterbücher
Forum
Kontakte

   Russisch
Google | Forvo | +
zu Phrasen
исчисление Sub.Betonungen
Chem. obliczanie
Fin. wymiar m
Math. ponumerowanie; przeliczanie n; rachunek m (см. rachunki)
Tech. wyliczenie n; obliczenie; obrachunek m; rachunek m; liczenie
 Russisch Thesaurus
исчисление Sub.
Allg. знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов слов и формул фраз, и процесса вывода потенциально значимых истинных формул исчисления его фразеологии из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования вывода его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы интерпретация исчислений, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления. Большой Энциклопедический словарь
исчисление: 67 Phrasen in 5 Thematiken
Allgemeine Lexik2
Analytische Chemie1
Mathematik44
Technik11
Wirtschaft9