... и в довесок к предыдущему

[vlkamov]

Моделированию данных (точнее, моделированию объектов в реальном мире с результирующими моделями-как-данными, аналогично алгоритмике как моделированию действий в реальном мире с результирующими моделями-как-алгоритмами) в сегодняшней школьной информатике не учат никак. А надо. Моделирование данных является приложением философской логики к проблемам программирования. Поэтому моделирование данных как наука (компактные объяснения того, как моделируем объекты реального мира) сводится главным образом к философской логике и ее приложениям к метафизике, онтологии и частично гносеологии и эпистемологии -- ибо описание данными объектов окружающего мира начинается с выявления этих объектов в окружающем мире, а ответ на вопрос "что существует в окружающем нас мире" даёт онтология. Ибо нельзя выделить из мира объект, если он не существует. А что существует, то можно выделить. Онтология -- это как раз разделяемый многими людьми ответ на вопрос о том, что существует. Тем самым моделирование данных и онтология -- это близнецы-братья. Современное моделирование данных исправляет именно философские ошибки древних мыслителей (прежде всего Аристотеля) -- хотя эти ошибки и являются глубоко укоренёнными в языке и нынешних практиках. Увы, эти ошибки приводят к трудностям, и сейчас (относительно недавно -- что-то сто лет назад, что-то тридцать лет назад) придуманы новые способы описания мира, что ведет к новым способам моделирования данных. Эти способы контринтуитивны, и им нужно специально учить.