Zaloguj się | Polish | Umowa użytkownika
SłownikiForumKontakt

   Rosyjski ⇄ +
Google | Forvo | +
do fraz

исчисление

rzecz. 		akcenty
posp. cómputo m (вычисление); calcuación f; cuento m; enumeración f; numeración f; cálculo m; computación f
ekon. calculación m; cuantificación f
lotn. cómputo m
praw. evaluación f; valoración f
techn. cuenta f
 Rosyjski tezaurus
исчисление rzecz.
posp. знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов слов и формул фраз, и процесса вывода потенциально значимых истинных формул исчисления его фразеологии из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования вывода его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы интерпретация исчислений, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления. Большой Энциклопедический словарь
исчисление
: 95 do fraz, 14 tematyki
Bankowość1
Biznes2
Ekonomia34
Elektronika1
Handel13
Ład korporacyjny2
Lotnictwo3
Matematyka4
Międzynarodowy fundusz walutowy14
Opieka społeczna i zabezpieczenie społeczne1
Organizacja narodów zjednoczonych1
Pospolicie4
Prawo2
Technika i technologia13

Dodaj | Zgłoś błąd | Krótki link