formal system
formal system · formal systems
логіка
формальная система
formales System
The grouping of a formal language and a set of inference rules and/or axiomsThe grouping of a formal language and a set of inference rules and/or axioms.
Значення
значень: 1The grouping of a formal language and a set of inference rules and/or axioms.
formales System
формальная систе́маformalʹnaja sistéma
Ще визначення
- (logic and mathematics) abstract, theoretical organization of terms and implicit relationships that is used as a tool for the analysis of the concept of deduction.
Переклади
мов: 3Русский
За значеннями 1
combination of formal language and inference rules:
Deutsch
За значеннями 1
combination of formal language and inference rules:
Форми
множина: formal systems| Однина | formal system |
|---|---|
| Множина | formal systems |
правильне