О подходах к анализу алгоритмов
Здесь имеются различные подходы, которые на уровне формальных систем считаются «эквивалентными». Именно из этого факта следует то, что «существует» и универсальное представление. Тем не менее, на практике пока ситуация такая, что общей точки зрения нет (Машина Тьюринга, Машина Поста, Нормальный алгоритм (Маркова), Теория автоматов, Лямда-исчисление, Комбинаторная логика, Регистровые машины, Стековые машины, ... и ...). Можно ли в этом направлении, наконец, поставить точку?
Модели - представления и интерпретации
DS-теория и R-данные
P.S. Глотеон затягивает. Пока нет окончательного видения структуры, проблемы с тегированием, но есть идея сначала создать ПОЛНЫЙ (!) комплект потенциальных тиддлеров, а потом уже их постепенно наполнять содержанием. Выбросить лишние и добавить какие-то «пропущенные» потом будет проще. Проделана определенная работа, дающая возможность, в целом, такой результат быстро получить. Уверен, что их не тысячи, а только сотни. Максимум в районе полутора-двух тысяч и из них только полторы-две сотни в рамках ключевых тем, задающих актуальные контексты.