Продолжение
списка. Списки, даже более чем достаточно, детализированы, на вырост, для последующего уточнения в направлении конкретных теорий и моделей. Складывается устойчивое ощущение, что определение возможно только относительно других, то есть это структура и по сути нет никаких
определений и теорий, а это просто более «примитивные» модели. И здесь же тот же «концепт». То есть «концептуальная модель - метамодель.» Все модели! Абстрактные структуры. Формальные структуры. Схемы. Архитектуры. Требуется классификация моделей, а в манифесте достаточно сформулировать отношения к самым общим институциональным дициплинам, возможно с указанием некоторых направлений, например, АЛГЕБРА - Теория категорий ... и т. п. Здесь нет таких «модных» направлений как «Искусственный интеллект», «Нейронные сети», «Машинное обучение», которые предлагается включить в третий класс с неустоявшейся классификацией. Наряду с такими направлениями, которые лежат в основе широкой современной практики и образования социальной инфраструктуры, но которые игнорируют в системе общего образования, считаясь узкой специализацией.
Кибернетика (
Кибернетика второго порядка,
Кибернетика концептуальных систем,
Нейрокибернетика,
Пятая кибернетическая парадигма,
Теория автоматов,
Теория систем),
Концептуальная схема,
Концептуальное моделирование,
Методология (
Методология науки,
ТРИЗ),
Общая теория систем,
Символьное моделирование,
Системная инженерия,
Системный анализ,
Теория управления,
Тематическое моделирование,
Фундаментальная наука Алгебра (
Алгебраическая система,
Алгебра логики,
Аналитическая теория чисел (
Теория чисел),
Булева алгебра,
Линейная алгебра,
Общая алгебра (
Геометрия,
Морфизмы,
Теория категорий,
Топология),
Универсальная алгебра),
Вычислительная математика,
Дискретная математика (
Граф,
Обобщение графов,
Теория графов),
Исследования операций (
Оптимизация,
Теория оптимизации,
Теория принятия решений),
Комбинаторика (
Случайные процессы,
Статистика (
Математическая статистика),
Теория вероятностей (
Теория вероятностей и математическая статистика),
Теория игр,
Теория массового обслуживания),
Логика (
Математическая логика,
Металогика,
Метаматематика (
Математическая структура,
Математические концепции,
Основания математики),
Теория алгоритмов,
Теория моделей),
Математический анализ (
Аппроксимация,
Функциональный анализ,
Теория функций (
Функции,
Преобразование Фурье,
Конфорные отображения,
Типы функций),
Математическое моделирование (
Идентификация систем)
Алгоритмы (
Алгоритмическая теория информации,
Алгоритмы и структуры данных,
Алгоритмы оптимизации,
Генетический алгоритм,
Словарь алгоритмов и структур данных,
Эволюционные алгоритмы,
Эвристические алгоритмы),
Данные (
Анализ данных,
БД,
Моделирование данных,
Структуры данных,
Теоретические основы БД,
Теория типов,
Типы данных),
Вычислительные науки,
Информатика (
Биоинформатика,
Информационные системы,
Информационные технологии,
Информация,
Теоретическая информатика,
Теория информации),
Исчисление (
Исчисление процессов,
Логические операции (
Логика в информатике),
Рекурсивные функции,
Функциональное программирование),
Компьютерное моделирование,
Компьютерные языки,
Модели вычислений,
Объектно-ориентированное проектирование,
Операционные системы (
Процессы),
Парадигмы программирования,
Программирование (
Ассемблер,
Метапрограммирование,
Кодирование (
Теория кодирования),
Компиляция,
Интерпретация,
Парсеры,
Трансляция,
Шифрование),
Программное обеспечение (
Системное программное обеспечение),
Формализация (
Формальные методы,
Формальные науки,
Формальные системы,
Формальные языки,
Языки формальных спецификаций (
Теория формальных языков))