"Annie's Daily安妮" — @thesnailgirl Telegram-kanali

به سختی یه کتاب پیدا کردم که عین آدم منطق زیرساختاری رو توضیح بده. الان هم دارم دلایل این که چرا یه زیرمجموعه‌ای از قواعد ساختاری منطق رو حذف کنیم ممکنه به یه سری نتایج خوب منجر شه و به سری مفاهیم بهتر مدل شن.

46 0 0

Annie's Daily安妮

17 Jun 2024, 20:52

یعنی بلژیکی‌ها از کروات‌ها هم بدشانس‌ترن :))

یه گلشون آفساید بود یکی دیگه هم به خاطر برخورد مویی توپ با دست بازیکن بلژیک مردود شد :))

آپدیت: بلژیک یک هیچ به اسلواکی باخت.

55 0 0

Annie's Daily安妮

17 Jun 2024, 20:19

ولی خب این دونفر تا الان که هر چی موقعیت داشتن رو خراب کردن.

انتظار نداشتم اسلواکی این قدر خوب بازی کنه.

57 0 0

Annie's Daily安妮

17 Jun 2024, 19:19

می‌دونستم لوکاکو و دی‌بروینه توی تیم ملی بلژیک توپ می‌زنن، زودتر بازی‌های بلژیک رو می‌گذاشتم توی لیستم :))

58 0 0

Annie's Daily安妮

17 Jun 2024, 18:54

اگر (مثل من) وقتی جواب درست مسائل رو درنمی‌یابید، والدین درونتون میان و حسابی مجازاتتون می‌کنن و می‌گن خب حالا فلان مرحله از زندگیت چی می‌شه و تو که همه‌ش بلد بودی چرا الان بلد نیستی و فلان، و به دلداری هیچ کس هم گوش‌تون بدهکار نیست، این مقاله رو بخونید شاید کمکتون کنه.

60 0 0

Annie's Daily安妮

17 Jun 2024, 18:50

schwartz-2008.pdf

34.5Kb

60 0 5 1

Annie's Daily安妮

17 Jun 2024, 18:46

در حال خوندن یه کتاب از یونگم، و هر بار می‌رم سراغش احساس می‌کنم می‌رم صاف می‌شینم پای منبر یونگ، مغزم رو می‌دم دستش :))

59 0 1

Annie's Daily安妮

17 Jun 2024, 18:02

ترم آخر ارشدم ولی شاید باورتون نشه، زندگیم توی کنکور گیر کرده. دورانی که بین روز عادی و روز تعطیلش هیچ فرقی نبود و هر دقیقه از بیداری رو می‌بایست صرف درس می‌کردی. باعث شده نسبت به تعطیلی بی‌تفاوت شم. هنوز تعطیلی‌ها رو به چشم «فرصت جبران برای درس» ببینم. مثلا امروز رو باید استراحت می‌کردم و نقاشی تمرین می‌کردم، ولی تقویم برام مهم نیست و هر روزی باشه، اگر توی خونه یا محلی که بهش می‌گم خونه، باشم، باید فکرم توی درس باشه یا به خاطر درس نخوندن خودم رو تنبیه کنم.

هعی.

62 0 3 6

Annie's Daily安妮

17 Jun 2024, 11:06

روشا پیتر، بنیان‌گذار تئوری توابع بازگشتی

https://mathshistory.st-andrews.ac.uk/Biographies/Peter/

Rózsa Péter

Rózsa Péter was a Hungarian mathematician and logician. She became a founder of recursive function theory.

64 0 1 2

Annie's Daily安妮

16 Jun 2024, 21:54

به این نوشته، گفتاری از گنتزن در مورد چرایی ساخت دستگاه استنتاج طبیعی، برای شفافیت بیشتر، اضافه شد.

Annie's Daily安妮

«گذری بر نظریه برهان - ۴.۱» مفهوم صوری‌سازی مراد از صوری‌سازی، نمایش یک مفهوم ریاضی در قالب یک شئ ریاضیاتی است تا بتوان تحقیق در مورد ویژگی‌های آن را دقیق‌تر کرد. مثلا، این حکم را در نظر بگیرید: «من اگر هم مفهوم الف و هم مفهوم ب را بدانم، نتیجه می‌گیرم که هر کدام از آن‌ها را می‌دانم.» این حکم، ی...

65 0 0

Annie's Daily安妮

16 Jun 2024, 19:48

هر چی استانداردهای دوگانه کمتر، حرف‌هامون حساب‌تر و بجاتر، رقت‌انگیز به نظر اومدنمون هم کمتر و آزاد‌تر و قوی‌تر بودنمون، بیشتر.

41 0 0 2

Annie's Daily安妮

16 Jun 2024, 17:53

تعویضی‌های بلند و باریک هلند موثرتر از لهستان بودن. هلند ۲، لهستان ۱.

+ دروازه‌بان هلندی‌ها هم خوب بود کارش.

58 0 0

Annie's Daily安妮

16 Jun 2024, 17:45

سرمربی‌ها هر چی قدبلند و باریک تو تیم هست دارن می‌فرستن تو زمین، بلکه از یه گوشه‌ای یا از تو هوا گل بزنن:))

59 0 0

Annie's Daily安妮

16 Jun 2024, 17:41

هلند زودتر از لهستان دست از خراب‌کردن مرحله آخر کشید؛ در نتیجه گل دوم رو زد.

60 0 0

Annie's Daily安妮

16 Jun 2024, 17:23

فقط نیم ساعت اول بازی رو از دست دادم (کل گل‌ها هم همون موقع زده شده).

بابا این چه وضعشه، طرفین هی یه موقعیت خوب رو شروع می‌کنن به ساختن ولی اون پاس آخر رو خراب می‌کنن، عه.

60 0 0

SearcheeBot

TGAlertsBot

TGStat Bot

Annie's Daily安妮

Kanal geosi va tili

Toifa

Annie's Daily安妮

Annie's Daily安妮

Annie's Daily安妮

Annie's Daily安妮

Annie's Daily安妮

Annie's Daily安妮

Annie's Daily安妮

Annie's Daily安妮

Annie's Daily安妮

Annie's Daily安妮

Annie's Daily安妮

Annie's Daily安妮

Annie's Daily安妮

Annie's Daily安妮

Annie's Daily安妮

Annie's Daily安妮

Annie's Daily安妮

Annie's Daily安妮

Annie's Daily安妮

Annie's Daily安妮

96

Sayt tili

SearcheeBot

TGAlertsBot

TGStat Bot

Annie's Daily安妮

Kanal geosi va tili

Toifa

96