 |
способ построения
| научной теории
| в виде
| системы аксиом
| и
| правил вывода
| позволяющих
| путем
| логической
| дедукции
| получать
| утверждения
| данной
| теории
- only individual words found (there may be no translations for some thesaurus entries in the bilingual dictionary)| способ построения | |
| automat. | realization |
| научная теория | |
| gen. | scientific theory |
| в виде | |
| gen. | in terms of; by way of; in the form of |
| dipl. | through |
| Makarov. | in the nature of |
| math. | in the shape of; of the form |
| mech. | in the figure |
| система аксиом | |
| IT | axiom scheme |
| и | |
| gen. | and |
| правила вывода | |
| IT | inference rules |
| позволяющий | |
| gen. | permissive |
| путём | |
| gen. | via |
| логический | |
| gen. | logical |
| дедукция | |
| logic | deduction |
| получается | |
| gen. | it turns out |
| утверждение | |
| gen. | confirmation |
| данный | |
| gen. | specific |
| S-теория | |
| math. topol. | S-theory |
| |||
| realization (ssn) | |||
| способ построения: 10 phrases in 2 subjects |
| Computers | 3 |
| Geophysics | 7 |