СловникиФорумКонтакти

   Російська
Google | Forvo | +
до фраз
исчисление імен.наголоси
заг. Berechnung f; Kalkül n
аеродин. Rechnung f
геолог. Schätzung f
дор.спр. Umrechnung f
ек. Ausrechnung f; Bemessung f; Bewertung f
зовн. торг. Ermittlung f
лінгв. Rechnen n
метр. Zählung f (eines Tages, суток)
фін. Abrechnung f; Kalkulation f
юр. Errechnung f
IT Abzählung f
 Російський тезаурус
исчисление імен.
заг. знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов слов и формул фраз, и процесса вывода потенциально значимых истинных формул исчисления его фразеологии из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования вывода его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы интерпретация исчислений, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления. Большой Энциклопедический словарь
исчисление: 376 фраз в 46 тематиках
Автоматика1
Автомобілі2
Аеродинаміка1
Аналітична хімія1
Артилерія1
Астрономія1
Бізнес17
Банки та банківська справа4
Бухгалтерський облік крім аудиту6
Військовий термін3
Військово-морський флот3
Водопостачання2
Гірнича справа1
Геофізика1
Дорожня справа1
Економіка83
Електроніка1
Загальна лексика18
Залізничний транспорт1
Зварювання1
Зовнішня торгівля11
Книжний/літературний вираз1
Ковзани1
Комп'ютери4
Логіка1
Міжнародний валютний фонд7
Математика104
Медицина1
Менеджмент3
Металургія1
Метрологія3
Митна справа1
М’ясне виробництво1
Нотаріальна практика1
Природні ресурси та охорона природи1
Психологія3
Радіо1
Соціальне забезпечення1
Статистика3
Суднобудування3
Текстиль1
Техніка21
Трудове право1
Фінанси23
Хімія2
Юридична лексика27