این کتاب مجموعه ای از تاثیر گذار ترین مقالات در حوضه model checking هستش .
توصیه شده به دانشجویانی که میخواهند به درک عمیقی از این حوضه برسند .
طبق توصیه توی سایت Springer گفته شده برای آموزش هم می‌توان استفاده کرد .
توصیه شده توسط ACM و IEEE
https://t.iss.one/debrary/1136
توصیه شده به دانشجویانی که میخواهند به درک عمیقی از این حوضه برسند .
طبق توصیه توی سایت Springer گفته شده برای آموزش هم می‌توان استفاده کرد .
توصیه شده توسط ACM و IEEE
https://t.iss.one/debrary/1136
Telegram
Debrary
Handbook of Model Checking - Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem (eds.)
Springer - 2018
Springer - 2018
این کتابو چند وقت پیش یکی از بچها پیدا کرده بود ولی خب نمیتونستیم pdf اون رو پیدا کنیم کلا هیچ نسخه ای از اون رو پیدا نکردیم توی اینترنت .
خودم شخصا ، خیلی پیگیر بودم مثلا علاوه بر سایتای معروف و محبوب اینترنتی ، دارک وب و شبکه torrent رو هم گشتم . ولی خب چیزی دستگیرم نشد ، تا اینکه دوستان زحمت کشیدن و کتاب رو پیدا کردن و برای شما به صورت رایگان داخل کانال قرار دادن تا استفاده کنید .
خواهشی که هست لطفا این کتاب رو باز نشر نکنید تا بعدا از کانال پاک نشه و دچار کپی رایت تلگرام نشه .
جاداره یه خسته نباشید به دوستان پیگیر که کفش آهنی به پا داشتن هم بگیم 🙏🙏
خودم شخصا ، خیلی پیگیر بودم مثلا علاوه بر سایتای معروف و محبوب اینترنتی ، دارک وب و شبکه torrent رو هم گشتم . ولی خب چیزی دستگیرم نشد ، تا اینکه دوستان زحمت کشیدن و کتاب رو پیدا کردن و برای شما به صورت رایگان داخل کانال قرار دادن تا استفاده کنید .
خواهشی که هست لطفا این کتاب رو باز نشر نکنید تا بعدا از کانال پاک نشه و دچار کپی رایت تلگرام نشه .
جاداره یه خسته نباشید به دوستان پیگیر که کفش آهنی به پا داشتن هم بگیم 🙏🙏
De.coder
Dana S. Scott
چندتا از کتابای ایشون داخل کانال هست .
بزودی بقیه کتابای ایشون هم داخل کانال قرار میدیم تا مجموعه کامل بشود
بزودی بقیه کتابای ایشون هم داخل کانال قرار میدیم تا مجموعه کامل بشود
خب از بالا خبر رسیده که متاسفانه فیسبوک درست شده .
جا داره از چندتا پیام بسیار زیبا تو این مدت در دسترس نبودن فیسبوک رو نمایی کنیم.
( فقط اون عکسی که آپی BGP ها رو زده ولی زیرش نوشته حذف شدن کد های برنامه - پس می‌فهمیم که علم بهتر است )
جا داره از چندتا پیام بسیار زیبا تو این مدت در دسترس نبودن فیسبوک رو نمایی کنیم.
( فقط اون عکسی که آپی BGP ها رو زده ولی زیرش نوشته حذف شدن کد های برنامه - پس می‌فهمیم که علم بهتر است )
This media is not supported in your browser
VIEW IN TELEGRAM
وضعیت کارکنان فیسبوک تو این مدت ...
https://ocw.mit.edu/courses/mathematics/18-217-graph-theory-and-additive-combinatorics-fall-2019/
دانشگاه MIT طی یک حرکت بسیار زیبا و "انقلابی" در سال 2019 یک کلاسی تحت عنوان Graph Theory جداگانه برگزار کرده که قبلا این مباحث تنها زیر مجموعه ای از ریاضیات گسسته و.. بوده و کلاس جدا نبوده .
حالا هدف از این کلاس چی بوده اومدن مباحث روز دنیارو و تغیراتی که نظریه graph داشته تا به امروز رو بر رسی کردن و درباره مباحث و موضوعاتی که امروزه جوامع علمی با آن رو به رو هستند تا بتوانند آنها را حل کنند صحبت میکنه .
پیش نیاز زیاده اگر مرد عمل هستید وارد شوید :)
دانشگاه MIT طی یک حرکت بسیار زیبا و "انقلابی" در سال 2019 یک کلاسی تحت عنوان Graph Theory جداگانه برگزار کرده که قبلا این مباحث تنها زیر مجموعه ای از ریاضیات گسسته و.. بوده و کلاس جدا نبوده .
حالا هدف از این کلاس چی بوده اومدن مباحث روز دنیارو و تغیراتی که نظریه graph داشته تا به امروز رو بر رسی کردن و درباره مباحث و موضوعاتی که امروزه جوامع علمی با آن رو به رو هستند تا بتوانند آنها را حل کنند صحبت میکنه .
پیش نیاز زیاده اگر مرد عمل هستید وارد شوید :)
MIT OpenCourseWare
Graph Theory and Additive Combinatorics | Mathematics | MIT OpenCourseWare
This course examines classical and modern developments in graph theory and additive combinatorics, with a focus on topics and themes that connect the two subjects. The course also introduces students to current research topics and open problems.
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 لینک بالا هست .
حالا بعدا حتما یک پست جدا برای ایشون و کتابای بسیاری که به تحریر در آورد میریم .
یکی از سرفصل های کتاب CLRS درباره برنامه نویسی پویاست که دانشگاه MIT یک کلاس جدا برای این سر فصل گذاشته
اتفاق خوب این کلاس پروفسور Dimitri Bertsekas هست .
حقیقت من چیز خاصی از Dynamic programming نمیدونم فقط در حد طراحی الگریتم ساده اطلاع دارم که باهاش معمولا مسائل بهینه سازی و تصمیم گیری و بازگشتی رو و... را حل میکنن . بهمین خاطر میگم که موضوع بسیار سختیه و وقتی که یکی دو قسمت اول کلاسشو دیدم فهمیدم خیلی خیلی سخته .
این بنده خدا رو میشناختم که امروز بعد از مدتها که نشستم پای سیستم توی جست و جو هام خیلی اتفاقی کلاسشو پیدا کردم .
اطلاعات بیشتر توی قسمت syllabes لینک بالا هست .
حالا بعدا حتما یک پست جدا برای ایشون و کتابای بسیاری که به تحریر در آورد میریم .
MIT OpenCourseWare
Dynamic Programming and Stochastic Control | Electrical Engineering and Computer Science | MIT OpenCourseWare
The course covers the basic models and solution techniques for problems of sequential decision making under uncertainty (stochastic control). We will consider optimal control of a dynamical system over both a finite and an infinite number of stages. This…
https://ocw.mit.edu/courses/mathematics/18-404j-theory-of-computation-fall-2020/
فکر کنم اینو قبلا داخل کانال قرار دادم ولی بنظرم ارزش داره بازم تکرار شه
نظریه محاسبات یا همون computation theory خودمون جدید ترینشون 2020 دانشگاه MIT که ما در دانشگاه به عنوان نظریه زبان ها و ماشین ها میشناسیم .
حالا مدرس کیه اگر گفتین ؟! آقای مایکل سیپسر نوسنده یکی از کتوب مراجع درس نظریه زبانها و ماشینه
فکر کنم اینو قبلا داخل کانال قرار دادم ولی بنظرم ارزش داره بازم تکرار شه
نظریه محاسبات یا همون computation theory خودمون جدید ترینشون 2020 دانشگاه MIT که ما در دانشگاه به عنوان نظریه زبان ها و ماشین ها میشناسیم .
حالا مدرس کیه اگر گفتین ؟! آقای مایکل سیپسر نوسنده یکی از کتوب مراجع درس نظریه زبانها و ماشینه
MIT OpenCourseWare
Theory of Computation | Mathematics | MIT OpenCourseWare
This course emphasizes computability and computational complexity theory. Topics include regular and context-free languages, decidable and undecidable problems, reducibility, recursive function theory, time and space measures on computation, completeness…