mirror of
https://github.com/goq/telegram-list.git
synced 2024-11-25 11:33:07 +03:00
parent
78fdeb4268
commit
769d336727
@ -987,7 +987,6 @@
|
||||
* [Онтологии](https://t.me/rusontology) — Онтологии, тезаурусы, их автоматизацию, внедрение и использование
|
||||
* [pro.algorithms](https://t.me/proalgorithms) — Группа по обсуждению алгоритмов, архитектурных решений, паттернов проектирования и прикладной математики.
|
||||
* [MATEMATIKA](https://t.me/matematika_org) — Чат про математику (есть хорошие книги в закрепе!). От https://matematika.org
|
||||
* [/math/](https://t.me/slashmath) — Чат для обсуждения математики, картофана, коммутирующих диаграмм иногда теоретический физики и программирования
|
||||
* [Математический чат](https://t.me/typ_math_chat) — Уютное логово математиков
|
||||
* [Формальные методы верификации ПО на практике](https://t.me/practical_fm) — Обсуждение тем, связанных с практическим использованием формальных методов верификации и спецификации ПО.
|
||||
* [Теория категорий](https://t.me/ru_catheory) — Чат о теории категорий
|
||||
|
Loading…
Reference in New Issue
Block a user