Se connecter
|
French
|
Conditions d'utilisation
Dictionnaire
Le forum
Contacts
Russe
⇄
Afrikaans
Allemand
Anglais
Arabe
Bachkir
Bokmål norvégien
Danois
Espagnol
Espéranto
Estonien
Finnois
Français
Géorgien
Hongrois
Hébreu
Italien
Japonais
Langues chinoises
Latin serbe
Letton
Néerlandais
Polonais
Portugais
Russe
Tadjik
Tchèque
Turc
Ukrainien
Vietnamien
G
o
o
g
l
e
|
Forvo
|
+
phrases
исчисление
n
contraintes
génér.
ҳисоб
(
В. Бузаков
)
;
ҳисоб кардан
;
ҳисоб кардани
;
ҳисоб карда баромадан
;
ҳисоб карда баромадани
math.
ҳисобкунӣ
(номи фаслҳои математикои олӣ)
Russe glossaire
исчисление
n
génér.
знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов
слов
и формул
фраз
, и процесса вывода потенциально значимых
истинных
формул исчисления
его фразеологии
из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования
вывода
его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы
интерпретация исчислений
, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления.
Большой Энциклопедический словарь
исчисление:
12 phrases
, 2
sujets
Général
8
Mathématiques
4
Ajouter
|
Signaler une erreur
|
Obtenir une URL courte
|
Conseils pour la sélection de la langue