Список тем лабораторных работ по автоматизации функционально-логического проектирования