![М[ζММ[ξ|ζ]]](https://cdn.tlmtr.io/_next/image?url=https%3A%2F%2Fimg.tlmtr.io%2Fc%2F1r6Ex1%2F5220078066330178734%3Fty%3Dl&w=48&q=75){kind=small}
М[ζММ[ξ|ζ]]
رفتن به کانال در Telegram
Механіко-математичний мем =============================== функціональний морський бій перейшов у стохастичний: підібрав оптимальне керування хімарсом? винищив ворожий склад! =============================== Пояснення мемів та пропозиції: t.me/sexiest_prime
نمایش بیشتر797
مشترکین
-124 ساعت
+27 روز
+3730 روز
در حال بارگیری داده...
کانالهای مشابه
ابر برچسبها
اشارات ورودی و خروجی
---
---
---
---
---
---
جذب مشترکین
سپتامبر '26
سپتامبر '26
+44
در 10 کانالها
اوت '26
+30
در 9 کانالها
Get PRO
ژوئیه '26
+22
در 8 کانالها
Get PRO
ژوئن '26
+18
در 8 کانالها
Get PRO
مه '26
+18
در 11 کانالها
Get PRO
آوریل '26
+14
در 11 کانالها
Get PRO
مارس '26
+34
در 15 کانالها
Get PRO
فوریه '26
+19
در 11 کانالها
Get PRO
ژانویه '26
+12
در 6 کانالها
Get PRO
دسامبر '25
+13
در 7 کانالها
Get PRO
نوامبر '25
+13
در 5 کانالها
Get PRO
اکتبر '25
+27
در 5 کانالها
Get PRO
سپتامبر '25
+21
در 13 کانالها
Get PRO
اوت '25
+23
در 4 کانالها
Get PRO
ژوئیه '25
+15
در 3 کانالها
Get PRO
ژوئن '25
+10
در 3 کانالها
Get PRO
مه '25
+3
در 3 کانالها
Get PRO
آوریل '25
+9
در 0 کانالها
Get PRO
مارس '25
+10
در 3 کانالها
Get PRO
فوریه '25
+17
در 3 کانالها
Get PRO
ژانویه '25
+17
در 6 کانالها
Get PRO
دسامبر '24
+28
در 6 کانالها
Get PRO
نوامبر '24
+19
در 5 کانالها
Get PRO
اکتبر '24
+31
در 6 کانالها
Get PRO
سپتامبر '24
+21
در 3 کانالها
Get PRO
اوت '24
+33
در 7 کانالها
Get PRO
ژوئیه '24
+11
در 4 کانالها
Get PRO
ژوئن '24
+14
در 5 کانالها
Get PRO
مه '24
+10
در 7 کانالها
Get PRO
آوریل '24
+17
در 4 کانالها
Get PRO
مارس '24
+17
در 5 کانالها
Get PRO
فوریه '24
+8
در 2 کانالها
Get PRO
ژانویه '24
+33
در 14 کانالها
Get PRO
دسامبر '23
+14
در 6 کانالها
Get PRO
نوامبر '23
+7
در 4 کانالها
Get PRO
اکتبر '23
+14
در 2 کانالها
Get PRO
سپتامبر '23
+13
در 0 کانالها
Get PRO
اوت '23
+32
در 0 کانالها
Get PRO
ژوئیه '23
+10
در 0 کانالها
Get PRO
ژوئن '23
+8
در 0 کانالها
Get PRO
مه '23
+14
در 0 کانالها
Get PRO
آوریل '23
+2
در 0 کانالها
Get PRO
مارس '23
+13
در 0 کانالها
Get PRO
فوریه '23
+10
در 0 کانالها
Get PRO
ژانویه '23
+9
در 0 کانالها
Get PRO
دسامبر '22
+12
در 0 کانالها
Get PRO
نوامبر '22
+8
در 0 کانالها
Get PRO
اکتبر '22
+11
در 0 کانالها
Get PRO
سپتامبر '22
+49
در 0 کانالها
Get PRO
اوت '22
+18
در 0 کانالها
Get PRO
ژوئیه '22
+6
در 0 کانالها
Get PRO
ژوئن '22
+24
در 0 کانالها
Get PRO
مه '22
+9
در 0 کانالها
Get PRO
آوریل '22
+8
در 0 کانالها
Get PRO
مارس '22
+8
در 0 کانالها
Get PRO
فوریه '22
+4
در 0 کانالها
Get PRO
ژانویه '22
+9
در 0 کانالها
Get PRO
دسامبر '21
+20
در 0 کانالها
Get PRO
نوامبر '21
+20
در 0 کانالها
Get PRO
اکتبر '21
+19
در 0 کانالها
Get PRO
سپتامبر '21
+40
در 0 کانالها
Get PRO
اوت '21
+40
در 0 کانالها
Get PRO
ژوئیه '21
+24
در 0 کانالها
Get PRO
ژوئن '21
+21
در 0 کانالها
Get PRO
مه '21
+11
در 0 کانالها
Get PRO
آوریل '21
+16
در 0 کانالها
Get PRO
مارس '21
+17
در 0 کانالها
Get PRO
فوریه '21
+18
در 0 کانالها
Get PRO
ژانویه '21
+336
در 0 کانالها
| تاریخ | رشد مشترکین | اشارات | کانالها | |
| 24 سپتامبر | +1 | |||
| 23 سپتامبر | 0 | |||
| 22 سپتامبر | +1 | |||
| 21 سپتامبر | +1 | |||
| 20 سپتامبر | 0 | |||
| 19 سپتامبر | 0 | |||
| 18 سپتامبر | +1 | |||
| 17 سپتامبر | +1 | |||
| 16 سپتامبر | +12 | |||
| 15 سپتامبر | +1 | |||
| 14 سپتامبر | +2 | |||
| 13 سپتامبر | +6 | |||
| 12 سپتامبر | +5 | |||
| 11 سپتامبر | +1 | |||
| 10 سپتامبر | +3 | |||
| 09 سپتامبر | +5 | |||
| 08 سپتامبر | +1 | |||
| 07 سپتامبر | 0 | |||
| 06 سپتامبر | 0 | |||
| 05 سپتامبر | +1 | |||
| 04 سپتامبر | 0 | |||
| 03 سپتامبر | +1 | |||
| 02 سپتامبر | +1 | |||
| 01 سپتامبر | 0 |
پستهای کانال
| 2 |  Жити треба так, щоб привітання були саме такими | 1 |
| 3 |  Жити треба таким чином, щоб друзі вітали тебе саме так: | 1 |
| 4 |  А у вас які пригоди? | 335 |
| 5 |  بدون متن... | 343 |
| 6 |  В тебе є ібупрофен? Голова болить... | 343 |
| 7 |  بدون متن... | 359 |
| 8 | А де дійсна частина розкладу на сайті? | 426 |
| 9 |  بدون متن... | 474 |
| 10 |  Що вперше побачить чийсь наукєр в день публікації тем на курсові | 611 |
| 11 |  щзх? | 1 053 |
| 12 |  Коли в дисері раптово згадується задача, з якою ти возився на третьому курсі | 665 |
| 13 |  здається почалося | 478 |
| 14 | Gendo Ikari sought Instrumentality so that more data centers could be built on Earth | 576 |
| 15 |  Не дісталися ми поки до мемів. Маєте рандомну пікчу | 591 |
| 16 | Друзі, є цікава новина:
Іоргов Микола Зинонійович , заступник завідувача кафедри теоретичної та математичної фізики КАУ, з цього понеділка 14 вересня читатиме курс "Математичні доведення в Lean 4".
Lean 4 має розвинуту систему типів, яка дозволяє сформулювати математичні теореми та їх доведення як програми. Тому компілятор, коли перевіряє, що всі типи в програмі узгоджені, він фактично перевіряє коректність математичних доведень. Отже, якщо доведення, написане як програма в Lean 4, компілюється, значить доведення правильне.
В останній час, коли ШІ доводить математичні теореми, його змушують записати їх мовою Lean, щоб компілятор Lean зміг перевірити коректніть доведення.
До заняття можна буде підключитися по Zoom. Також планується запис лекцій. | 1 587 |
| 17 |  بدون متن... | 701 |
| 18 |  بدون متن... | 2 198 |
| 19 |  Ого, аноніми роблять каналу подарунки
Дякую | 743 |
| 20 |  بدون متن... | 746 |
