Комментарий
Сложно всё это. Самое сложное тут -- это повернуть мозги в 4D, ибо это весьма и весьма контринтуитивно. Я думаю, что тут правильно было бы разработать ряд упражнений, чтобы после их выполнения необходимые представления были надёжно инсталлированы прямо в моск. Обратите внимание, как Юрий Балашов говорит про отсутствие "уже" в 4D. Будущее и прошлое там есть, а вот "уже" нет. Если мы хотим иметь русскоговорящих лучших в мире инженеров данных, то нужно подходить к этому операционально: сочинять упражнения. Возможно, аналитические философы в этом смогут помочь -- им это нужно для других целей, студентов учить. Хотя я боюсь, что в случае студентов они это 4D-время будут "проходить мимо", им не нужно будет уверенно работать в этой парадигме, им нужно будет просто знать о её наличии...
Базовое упражнение простое - формализовать ту или иную ситуацию на языке (подмножества) ФОЛ или эквивалентном, типа того же 15926. Для 4Д нужно чтобы формализуемая ситуация развивалась во времени и состояла из нескольких предметов (перемещаемых/преобразуемых). Но предварительно конечно нужно потренироваться на более простых примерах.
Конечно тут лучше не только примеры, но и инструментарий иметь для валидации/визуализации.
Думаю тут подойдут простые задачи на планирование, типа переместить набор кубиков из одного положения в другое (с возможной сборокой/разборкой агрегатов). Только акцент соответственно делать не на планирование, а на описание, формализацию.