Математические основы теории оптимального и логического управления