Вхід
|
Ukrainian
|
Угода користувача
Словники
Форум
Контакти
Російська
⇄
Іврит
Іспанська
Італійська
Англійська
Арабська
Африкаанс
Башкирська
В'єтнамська
Грузинська
Данська
Есперанто
Естонська
Китайська
Латиська
Норвезька
Нідерландська
Німецька
Польська
Португальська
Російська
Сербська
Таджицька
Турецька
Угорська
Українська
Французька
Фінська
Чеська
Японська
G
o
o
g
l
e
|
Forvo
|
+
до фраз
исчисление
імен.
наголоси
заг.
ҳисоб
(
В. Бузаков
)
;
ҳисоб кардан
;
ҳисоб кардани
;
ҳисоб карда баромадан
;
ҳисоб карда баромадани
мат.
ҳисобкунӣ
(номи фаслҳои математикои олӣ)
Російський тезаурус
исчисление
імен.
заг.
знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов
слов
и формул
фраз
, и процесса вывода потенциально значимых
истинных
формул исчисления
его фразеологии
из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования
вывода
его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы
интерпретация исчислений
, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления.
Большой Энциклопедический словарь
исчисление:
12 фраз
в 2 тематиках
Загальна лексика
8
Математика
4
Додати
|
Повідомити про помилку
|
Коротке посилання
|
Способи вибору мов