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.
числення
;
рахуванпя
n
;
обрахування
;
вираховування
;
вилічування
;
облічування
;
облік
m
;
чисління
n
;
лічба
math.
вираховування
(неоконч.)
;
вирахування
f
;
обчислення
n
(действие)
;
обчислювання
n
(неоконч.)
;
обчисляння
;
числення
(совокупность приёмов, наименований и обозначений чисел)
met.
обчислення
n
;
числення
Russian thesaurus
исчисление
n
gen.
знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов
слов
и формул
фраз
, и процесса вывода потенциально значимых
истинных
формул исчисления
его фразеологии
из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования
вывода
его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы
интерпретация исчислений
, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления.
Большой Энциклопедический словарь
исчисление
:
26 phrases
in 4 subjects
General
5
Logic
1
Metallurgy
1
Technology
19
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