mirror of
https://github.com/bpmbpm/doc.git
synced 2026-04-29 20:10:48 +00:00
37 lines
4.5 KiB
Markdown
37 lines
4.5 KiB
Markdown
### mathematics
|
||
- [Эти пугающие производные, градиенты, матрицы Якоби и Гессе](https://habr.com/ru/companies/ruvds/articles/938950/)
|
||
|
||
### programm
|
||
- [Регулярная катастрофа и как её избежать. Подход к регулярным выражениям](https://habr.com/ru/companies/sberdevices/articles/954296/)
|
||
### также
|
||
- [BPM/workflow/math](https://github.com/bpmbpm/doc/tree/main/BPM/workflow/math)
|
||
- [Математика креативности](https://habr.com/ru/articles/946764/)
|
||
- Теория связей https://github.com/bpmbpm/doc/tree/main/METAMODEL/LINK
|
||
- https://github.com/bpmbpm/doc/tree/main/METAMODEL
|
||
### formalism
|
||
#### Isabelle
|
||
- [wiki](https://ru.wikipedia.org/wiki/Isabelle#:~:text=Isabelle%20%E2%80%94%20%D0%B8%D0%BD%D1%82%D0%B5%D1%80%D0%B0%D0%BA%D1%82%D0%B8%D0%B2%D0%BD%D1%8B%D0%B9%20%D0%B8%D0%BD%D1%81%D1%82%D1%80%D1%83%D0%BC%D0%B5%D0%BD%D1%82%20%D0%B4%D0%BB%D1%8F%20%D0%B0%D0%B2%D1%82%D0%BE%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%BE%D0%B3%D0%BE,%D0%BD%D0%B0%D0%BF%D0%B8%D1%81%D0%B0%D0%BD%20%D0%BD%D0%B0%20%D1%8F%D0%B7%D1%8B%D0%BA%D0%B5%20Standard%20ML.) серьёзные разработки в области теории множеств проводились с использованием Isabelle/ZF.
|
||
- [reddit](https://www.reddit.com/r/math/comments/10z1uah/learning_mathematics_with_a_formal_proof_assistant/?tl=ru) "Математика в Lean" имеет схожую цель с твоей: https://github.com/leanprover-community/mathematics_in_lean.
|
||
Я думаю, что темы компьютерных наук (такие как семантика языков программирования, см. книгу "Concrete Semantics") лучше подходят для введения,
|
||
#### Функциональный анализ
|
||
- [wiki](https://ru.wikipedia.org/wiki/%D0%A4%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D0%BE%D0%BD%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B9_%D0%B0%D0%BD%D0%B0%D0%BB%D0%B8%D0%B7)
|
||
- [ifmo](https://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D0%BE%D0%BD%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B9_%D0%B0%D0%BD%D0%B0%D0%BB%D0%B8%D0%B7)
|
||
- [studfile](https://studfile.net/preview/9996436/page:5/) Функциональный анализ – это разновидность анализа, предполагающая рассмотрение объекта как комплекса выполняемых им функций, а не как материально-вещественных структур. Например, электрическая лампа накаливания рассматривается как носитель функции "излучать свет", а не только как совокупность конструктивных элементов (колба, цоколь, нить накаливания и др.).
|
||
- [math.hse.ru](https://math.hse.ru/data/2011/09/05/1267101190/fa_lec_01.pdf) А. Ю. Пирковский, pdf
|
||
#### ZF
|
||
- [wiki](https://ru.wikipedia.org/wiki/%D0%A1%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%B0_%D0%A6%D0%B5%D1%80%D0%BC%D0%B5%D0%BB%D0%BE_%E2%80%94_%D0%A4%D1%80%D0%B5%D0%BD%D0%BA%D0%B5%D0%BB%D1%8F) 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
|
||
### Обзоры
|
||
- [Сверхтьюринговые вычисления и гиперкомпьютеры. Тезис Чёрча-Тьюринга как универсальный предел познания](https://habr.com/ru/articles/961020/)
|
||
|
||
### link
|
||
- https://t.me/rusontology/12644 Таким образом, МТС — это «онтология», а TL — «логика + вычисления».
|
||
- https://tensor-logic.org/
|
||
- https://github.com/deep-foundation/deep-theory
|