Terms for subject Programming containing logical systems

English	Russian
formal logical system	формальная логическая система (ssn)
formal logical systems	формальные логические системы (ssn)
formal technique of objectives definition, the sequence of actions logical control, and interference of system activity indicators deviations from the norm	формальный аппарат целеполагания, логического управления последовательностью действий и взаимовлияния отклонений от нормы показателей деятельности системы (ssn)
logical coordinate system	логическая система координат (ssn)
logical description of the state of the system	логическое описание состояния системы (ssn)
logical form of the data processed by the system	логическая форма данных, обрабатываемых системой (ssn)
logical systems	логические системы (ssn)