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

Handbook of model checking - Bloem, Roderick_ Clarke, Edmund M._ Henzinger, Thomas A._ Veith, Helmut et al - Springer - 2018
@debrary

Dana S. Scott

این کتاب مجموعه ای از تاثیر گذار ترین مقالات در حوضه model checking هستش .
توصیه شده به دانشجویانی که میخواهند به درک عمیقی از این حوضه برسند .
طبق توصیه توی سایت Springer گفته شده برای آموزش هم می‌توان استفاده کرد .
توصیه شده توسط ACM و IEEE

https://t.iss.one/debrary/1136

Handbook of Automata Theory Volume I Theoretical Foundations - Edited by Jean-Eric Pin - European Mathematical Society - 2021
@debrary

Handbook of Automata Theory Volume II Automata in Mathematics and Selected Applications - Edited by Jean-Eric Pin - European Mathematical Society - 2021
@debrary

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

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

وضعیت کارکنان فیسبوک تو این مدت ...

https://ocw.mit.edu/courses/mathematics/18-217-graph-theory-and-additive-combinatorics-fall-2019/
دانشگاه MIT طی یک حرکت بسیار زیبا و "انقلابی" در سال 2019 یک کلاسی تحت عنوان Graph Theory جداگانه برگزار کرده که قبلا این مباحث تنها زیر مجموعه ای از ریاضیات گسسته و.. بوده و کلاس جدا نبوده .
حالا هدف از این کلاس چی بوده اومدن مباحث روز دنیارو و تغیراتی که نظریه graph داشته تا به امروز رو بر رسی کردن و درباره مباحث و موضوعاتی که امروزه جوامع علمی با آن رو به رو هستند تا بتوانند آنها را حل کنند صحبت میکنه .
پیش نیاز زیاده اگر مرد عمل هستید وارد شوید :)

Dimitri Bertsekas

https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-231-dynamic-programming-and-stochastic-control-fall-2015/index.htm

یکی از سرفصل های کتاب CLRS درباره برنامه نویسی پویاست که دانشگاه MIT یک کلاس جدا برای این سر فصل گذاشته
اتفاق خوب این کلاس پروفسور Dimitri Bertsekas هست .
حقیقت من چیز خاصی از Dynamic programming نمیدونم فقط در حد طراحی الگریتم ساده اطلاع دارم که باهاش معمولا مسائل بهینه سازی و تصمیم گیری و بازگشتی رو و... را حل میکنن . بهمین خاطر میگم که موضوع بسیار سختیه و وقتی که یکی دو قسمت اول کلاسشو دیدم فهمیدم خیلی خیلی سخته .
این بنده خدا رو میشناختم که امروز بعد از مدتها که نشستم پای سیستم توی جست و جو هام خیلی اتفاقی کلاسشو پیدا کردم .
اطلاعات بیشتر توی قسمت syllabes لینک بالا هست .
حالا بعدا حتما یک پست جدا برای ایشون و کتابای بسیاری که به تحریر در آورد میریم .

https://ocw.mit.edu/courses/mathematics/18-404j-theory-of-computation-fall-2020/
فکر کنم اینو قبلا داخل کانال قرار دادم ولی بنظرم ارزش داره بازم تکرار شه
نظریه محاسبات یا همون computation theory خودمون جدید ترینشون 2020 دانشگاه MIT که ما در دانشگاه به عنوان نظریه زبان ها و ماشین ها میشناسیم .
حالا مدرس کیه اگر گفتین ؟! آقای مایکل سیپسر نوسنده یکی از کتوب مراجع درس نظریه زبانها و ماشینه