Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Afrikaans
Arabic
Bashkir
Chinese
Czech
Danish
Dutch
English
Esperanto
Estonian
Finnish
French
Georgian
German
Greek
Hebrew
Hungarian
Italian
Japanese
Kazakh
Khmer
Kyrgyz
Latvian
Lithuanian
Norwegian Bokmål
Polish
Portuguese
Romanian
Russian
Serbian Latin
Slovak
Spanish
Swedish
Tajik
Turkish
Ukrainian
Vietnamese
+
G
o
o
g
l
e
|
Forvo
|
+
to phrases
исчисление
n
This HTML5 player is not supported by your browser
stresses
gen.
ҳисоб
(
В. Бузаков
)
;
ҳисоб кардан
;
ҳисоб кардани
;
ҳисоб карда баромадан
;
ҳисоб карда баромадани
math.
ҳисобкунӣ
(номи фаслҳои математикои олӣ)
Russian thesaurus
исчисление
n
gen.
знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов
слов
и формул
фраз
, и процесса вывода потенциально значимых
истинных
формул исчисления
его фразеологии
из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования
вывода
его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы
интерпретация исчислений
, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления.
Большой Энциклопедический словарь
исчисление
:
12 phrases
in 2 subjects
General
8
Mathematics
4
Add
|
Report an error
|
Get short URL