Anmelden
|
German
|
Nutzungsvereinbarung
Wörterbücher
Forum
Kontakte
Russisch
⇄
Afrikaans
Arabisch
Baschkirisch
Chinesisch
Deutsch
Dänisch
Englisch
Esperanto
Estnisch
Finnisch
Französisch
Georgisch
Hebräisch
Italienisch
Japanisch
Lettisch
Niederländisch
Norwegisch
Polnisch
Portugiesisch
Russisch
Serbisch
Spanisch
Tadschikisch
Tschechisch
Türkisch
Ukrainisch
Ungarisch
Vietnamesisch
G
o
o
g
l
e
|
Forvo
|
+
zu Phrasen
исчисление
Sub.
Betonungen
Chem.
obliczanie
Fin.
wymiar
m
Math.
ponumerowanie
;
przeliczanie
n
;
rachunek
m
(см.
rachunki
)
Tech.
wyliczenie
n
;
obliczenie
;
obrachunek
m
;
rachunek
m
;
liczenie
Russisch Thesaurus
исчисление
Sub.
Allg.
знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов
слов
и формул
фраз
, и процесса вывода потенциально значимых
истинных
формул исчисления
его фразеологии
из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования
вывода
его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы
интерпретация исчислений
, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления.
Большой Энциклопедический словарь
исчисление:
67 Phrasen
in 5 Thematiken
Allgemeine Lexik
2
Analytische Chemie
1
Mathematik
44
Technik
11
Wirtschaft
9
Hinzufügen
|
Fehler melden
|
Kurzlink auf diese Seite
|
Hinweise