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