О сократическом подходе к логике дискретного линейного временидипломная работа (Бакалавр)