deep-econom (deep_econom) wrote,
deep-econom
deep_econom

Category:

похоже им курса формализации не хватает

обещал тут
не дериватируй, а то без приор останешься
https://deep-econom.livejournal.com/590430.html

что приступлю к ролику:
и также пройдусь по докладу того, чего они называют "онтологикой"
Прапион Медведева "Онтологика 2020"
https://youtu.be/8D8cfcJ20zI
---

на 12й минуте ролика
я кажется понял что именно им надо и почему у них беда
они плохо формулируют понятия, безобразно, они словоблудствуют вместо ясных формулировок
понятно почему это происходит, не программисты они и не математики

требуется учить формализации!!! требуется учить курсантов навыкам формализации неформальных вещей
как образовываются понятия, как создаются определения, как создаются шкалы, как происходят измерения, как производится систематизация (суть попытка формализации) и схематизация и т.д.

основные сложности математики и физики у учеников в школе это правильно формализовать условия задачи - составить уравнение, потом пошли тупые манипуляции по твердому алгоритму
примерно аналогичные проблемы я видел у студентов при изучении программирования и теории вероятностей особенно
как только в тервере формализовал задачу правильно, так по сути решил, у студентов это было основной проблемой

вот им и нужен курс по навыкам формализации!

они это плохо умеют делать
на самом деле в некотором смыысле все их курсы учат навыкам формализации
ну вот берем управление жизненным циклом предприятия
по сути это шаблон-формализация
берем чек-листы, берем альфы
это все уже изготовленные паттерны-шаблоны-рецепты-алгоритмы, что суть формализации
а вот формализации-то они и не учат
их попытка сделать курс онтологии и логики и есть такая попытка

а если умеешь формализировать, то все эти курсы и сам в состоянии составить, ну конечно потрудиться придется, и понятно полезны курсы будут все равно, либо самому изобретать чек-лист какойнибудь или чеклист требований например, или уже взять готовый и подправить если потребуется

на самом деле и в искусственном интеллекте основная проблема в том, что не понимают как формализовать, что формализовать, в каком направлении формализовать, проблема везде одна, тоже самое с философией и прочим мало формализуемым
---

ладно буду слушать дальше
---

upd
перечитываю пост, мысль приходит в голову )

требуется учить теории множеств, созданию исчислений, структурам данных )) логике
примерно тому, чему учат математиков и программистов ))

ну да, требуется учить формализации и моделированию

порылся у себя в жж, нашел )

моделирование как курс по системному/рациональному мышлению
https://deep-econom.livejournal.com/123912.html
надо учить людей построению и использованию моделей с постоянным использованием метапринципа надсистемных переходов
это в частности объясняет достаточно хорошо, что лучше всего моделируют (мой возможно сомнительный домысел) инженеры/программисты/ученые

ворчание https://deep-econom.livejournal.com/165279.html
какое сакральное знание может дать математикам и программистам Крис Партридж в формализации и моделировании???

upd+
а все четыре пункта из цитированного абзаца поста
не дериватируй, а то без приор останешься
https://deep-econom.livejournal.com/590430.html

это и есть модели, только разного уровня модели
а им надо курс по моделированию и формализации
который и будет служить базой подо всей их конструкцией из их курсов
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 3 comments