Russian | English |
доказательства в системе естественного вывода | natural deduction system proofs (ssn) |
естественная модель для асинхронных систем | natural model for asynchronous systems (ssn) |
естественные системы | natural systems (ssn) |
естественный путь изучения эволюции больших физических систем | natural way of studying the evolution of large physical systems (ssn) |
моделирование структуры и поведения естественных систем | emulating the structure and behavior of natural 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) |
Непрерывное время, с другой стороны, является естественной моделью для асинхронных систем, поскольку промежуток времени, разделяющий события, может быть сколь угодно мал | 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) |
Реальные объекты, обладающие тремя свойствами состояние, поведение, идентичность, образуют системы с естественным поведением. Естественные системы безусловно являются самыми сложными системами из всех известных | 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) |
система естественного вывода | natural deduction system (ssn) |
система с естественным поведением | natural behavioral system (ssn) |
системы с естественным поведением | natural behavioral systems (ssn) |
увеличение гибкости системы естественного вывода | adding flexibility to the natural deduction system (ssn) |