Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Afrikaans
Arabic
Bashkir
Chinese
Czech
Danish
Dutch
English
Esperanto
Estonian
Finnish
French
Georgian
German
Hebrew
Hungarian
Italian
Japanese
Latvian
Norwegian Bokmål
Polish
Portuguese
Russian
Serbian Latin
Spanish
Tajik
Turkish
Ukrainian
Vietnamese
G
o
o
g
l
e
|
Forvo
|
+
to phrases
исчисление
n
stresses
gen.
kiszámítás
;
számítás
Russian thesaurus
исчисление
n
gen.
знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов
слов
и формул
фраз
, и процесса вывода потенциально значимых
истинных
формул исчисления
его фразеологии
из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования
вывода
его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы
интерпретация исчислений
, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления.
Большой Энциклопедический словарь
исчисление
:
18 phrases
in 5 subjects
General
5
Geology
1
Mathematics
10
School
1
Speed skating
1
The server is undergoing maintenance and the site is working in read-only mode. Please check back later.">
Add
|
The server is undergoing maintenance and the site is working in read-only mode. Please check back later.">
Report an error
|
Get short URL
|
Language Selection Tips