Без заголовка

В этих же лекциях я говорил, что нужно для того, чтобы "описание" (типа как у Мизеса) сделать "моделью". Ежели вы подумаете, чем модели на декларативных языках программирования отличаются от моделей на процедурных языках, и где там "детерминистичность" (в программировании недетерминированные программы давно обсуждают), то мы быстро договоримся.