1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 9(107)'2012
  5. Задача формализации процессов управления боевой подготовкой

Задача формализации процессов управления боевой подготовкой

М. И. Литвиненко
Системи обробки інформації. — 2012. — № 9(107). — С. 107-110.
УДК 4.825
Мова статті: російська
Анотації на мовах:

Управление боевой подготовкой войск сложный и многогранный процесс, включающий в область своих интересов большое количество разнообразных факторов. С целью создания интеллектуальных систем управления боевой подготовкой предлагается на основе формального языка категорий один из возможных способов формализации процессов управления боевой подготовкой. Использование такого подхода позволит использовать при планировании боевой подготовки не только требования руководящих документов, но и опыт, знания особенности подготовки специалистов различного профиля. Использование языка категорий позволяет создать гибкий, и достаточно универсальный, инструмент формализации процессов управления боевой подготовкой.
Ключові слова: формализация, учебный процесс, логика категорий, формальный язык, управление, формальная теория
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Литвиненко М. И. Задача формализации процессов управления боевой подготовкой / М. И. Литвиненко  // Системи обробки інформації. — 2012. — № 9. — С. 107-110.