| English | Russian |
| adding flexibility to the natural deduction system | увеличение гибкости системы естественного вывода (ssn) |
| Continuous time, on the other hand, is the natural model for asynchronous systems, because the separation of events can be arbitrarily small | Непрерывное время, с другой стороны, является естественной моделью для асинхронных систем, поскольку промежуток времени, разделяющий события, может быть сколь угодно мал (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| developing natural deduction system proofs | построение доказательств в системе естественного вывода (ssn) |
| emulating the structure and behavior of natural systems | моделирование структуры и поведения естественных систем (ssn) |
| natural behavioral system | система с естественным поведением (ssn) |
| natural behavioral systems | системы с естественным поведением (ssn) |
| natural deduction system | система естественного вывода (ssn) |
| natural deduction system proofs | доказательства в системе естественного вывода (ssn) |
| natural language system | естественно-языковая система (ssn) |
| natural model for asynchronous systems | естественная модель для асинхронных систем (ssn) |
| natural systems | естественные системы (ssn) |
| natural way of studying the evolution of large physical systems | естественный путь изучения эволюции больших физических систем (ssn) |
| Perhaps we should construct artificial systems by emulating the structure and behavior of natural systems | Наверное, мы должны конструировать искусственные системы с помощью моделирования структуры и поведения естественных систем (см. Maciaszek, L.A.: Requirements Analysis and System Design, 3rd ed. 2007 ssn) |
| Real-life objects that possess the three properties state, behavior, identity build up natural behavioral systems. Natural systems are by far the most complex systems that we know | Реальные объекты, обладающие тремя свойствами состояние, поведение, идентичность, образуют системы с естественным поведением. Естественные системы безусловно являются самыми сложными системами из всех известных (см. Maciaszek, L.A.: Requirements Analysis and System Design, 3rd ed. 2007 ssn) |
