Декларация вычислительного мышления

Jun 02, 2019 12:52


"... Вычислительное мышление/computational thinking/информатика - просто мышление с использованием понятий computer science ... делать акцент не на содержании предмета, а на навыках мышления (навыки планирования каких-то действий?) ... акцент сдвигается с императивной алгоритмики на другие виды вычислений/inference/evaluation, вычислительное мышление становится просто мышлением об операциях с моделями - преобразовании одних моделей в другие, выводе на базе информации моделей, моделирование в части разбиения на уровни абстракции в моделировании ... вычислительное мышление скатывается к пониманию его как "просто мышлению" ... вопросом последних лет в вычислительном мышлении стал вопрос о включении в computer science алгоритмики вычислений/вывода на дифференцируемых программах/differentiable programming и далее дифференцируемых моделях в целом/differentiable modeling ... моделирование данных: непонятно, где там программирование, а где уже нет (работа с кучерявыми типами данных ведь без разницы, в базах данных, или в переменных - и там тонкая разница про "языки запросов" и "обычные языки" ... коннективистские модели тоже попали в предмет вычислительного мышления ... это будет алгоритмика обучения и поиска ... классическая "информатика", про работу агентов (людей и компьютеров) с текстами и кодами ... в сферу информатики попадает и лингвистика, и когнитивистика, и философская логика, и даже биосемиотика ... классическая computer science занималась описанием перекодирования: как из одного кода получить другой код. Код - это формальное в части семантики и синтаксиса использованного языка представление какого-то содержания. А текст - это вообще "всё есть текст". И одна из основных практик информатики тем самым - форматизация и деформализация (фордеф как тип софта для такой практики, как модем/модулятор-демодулятор) ... Информатика должна быть информатикой-в-большом, распределённым моделированием мира. А программирование-моделирование-онтологизирование суть одно, и это и есть информатика/computational thinkin ... рассказ про разные "программирования" - разные модели вычислений ... программирование в большинстве своём - простые алгоритмы над сложными данными, утрамбованными в какие-то базы данных. Простые алгоритмы вывода/оценки/вычислений над сложными моделями мира ... вычисоительное мышление - абстрагирование и композиция/декомпозиция моделей мира с выполнением потом вычислений/вывода/оценки моделей ... когда-то SICP (Structure and Interpretation of Computer Programs) был "фундаментальным курсом" для computer science ... новые программирования приходит с коннективистской парадигмой ... создать предмет/дисциплину ... с акцентом на "все нужные понятия под одной обложкой" ... простая мысль: строить новый курс на базе Julia примерно так же, как SIPC строился на базе Scheme ...



DISCLAIMER: по сути дела, это не текст с собственным содержанием, а аннотированный набор ссылок с текстами, откуда и нужно брать идеи для дальнейшего продвижения в создании <ПРЕДМЕТА>.

П. С. Почти манифест. И прецедент - прототип.

реализация, язык моделирования, библиография, философия, метавычисления, манифест

Previous post Next post
Up