mirror of
https://github.com/bpmbpm/doc.git
synced 2026-04-28 03:20:38 +00:00
| .. | ||
| blockchain | ||
| pic | ||
| algorithm.md | ||
| array.md | ||
| array_set_v1.md | ||
| array_set_v2.md | ||
| array_set_v2problem.md | ||
| graph.md | ||
| Latex.md | ||
| model_math.md | ||
| readme.md | ||
| term.md | ||
mathematics
- Эти пугающие производные, градиенты, матрицы Якоби и Гессе
- Царский путь к пониманию комплексных чисел. Часть I
Turing
- [AI ⊂ TM] Машина Тьюринга и искусственный интеллект
- Машина, которая никогда не останавливается: как одно предложение поставило предел человеческому познанию
programm
также
- BPM/workflow/math
- Математика креативности
- Теория связей https://github.com/bpmbpm/doc/tree/main/METAMODEL/LINK
- https://github.com/bpmbpm/doc/tree/main/METAMODEL
Теория всего
- Теория всего или С(Х,Y) Парадигма
- Единая теория информации: от стохастической метрики к непрерывному пространству и эффективной гравитации ; Единый Принцип Организации (ЕПО)
formalism
Isabelle
- wiki серьёзные разработки в области теории множеств проводились с использованием Isabelle/ZF.
- reddit "Математика в Lean" имеет схожую цель с твоей: https://github.com/leanprover-community/mathematics_in_lean.
Я думаю, что темы компьютерных наук (такие как семантика языков программирования, см. книгу "Concrete Semantics") лучше подходят для введения,
Функциональный анализ
- wiki
- ifmo
- studfile Функциональный анализ – это разновидность анализа, предполагающая рассмотрение объекта как комплекса выполняемых им функций, а не как материально-вещественных структур. Например, электрическая лампа накаливания рассматривается как носитель функции "излучать свет", а не только как совокупность конструктивных элементов (колба, цоколь, нить накаливания и др.).
- math.hse.ru А. Ю. Пирковский, pdf
ZF
- wiki ZFC, англ. Zermelo—Fraenkel set theory with the axiom of Choice
MTC
- МТС это последовательность связей, всё есть связь, связи играют роли всё остальное, сорта, операции, предикаты есть роли связей https://t.me/rusontology/12682
formalism list
- https://www.reddit.com/r/math/wiki/everythingaboutx/
- https://t.me/rusontology/12663 у меня в голове длинного списка нет. из технологий сем-веба вспоминается SHACL, формальные языки OMG это отдельная песня вокруг DOL, ну а как написали Coq-цы, которые теперь Rocq-цы пруф-ассистенты все здесь https://proofassistants.stackexchange.com/tags
Обзоры
link
- https://t.me/rusontology/12644 Таким образом, МТС — это «онтология», а TL — «логика + вычисления».
- https://tensor-logic.org/
- https://github.com/deep-foundation/deep-theory
- Теория групп для всех: пульт для управления реальностью прямо из палаты
- теория множеств,
matrix
- Транспонированная матрица
- Почему мы трансформируем трёхмерные векторы матрицами 4х4? функция вида y=ax+b линейная, а вот преобразование, как пишет автор, свойством линейности действительно не обладает (образ суммы не равен сумме образов).
из электротехники. Там нелинейные цепи — порождающие новые гармоники. А линейные — нет. Так что тут использование термина «нелинейное» — весьма и весьма спорно. И система уравнений вида ax+by+cz=d… не зря называется системой линейных уравнений. Вот проективная геометрия(я ей занимался) — нелинейна, несмотря на то что прямые переходят в прямые (или точки) и наоборот. Ну так там есть нелинейная нормализация на последний член.
term
- Имитация, симуляция или эмуляция
- дескриптивная теория множеств Бесконечность, графы и Wi-Fi: неожиданный мост между теорией множеств и информатикой
- tensor от tensus, «напряжённый» wiki ; Магия тензорной алгебры: Часть 1 — что такое тензор и для чего он нужен? ; reddit