vrr/doc
2
0
Fork 0
mirror of https://github.com/bpmbpm/doc.git synced 2026-05-01 21:10:37 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update readme.md

Browse source
This commit is contained in:
Dmitry 2025-10-29 09:49:30 +03:00 • committed by GitHub
parent a7de7808ba
commit 721fa5f942
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
math/readme.md
View file

@ -7,6 +7,7 @@
- [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.