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

محمد صالحه، دانشجوی دکتری در دانشگاه تورنتو، فارغ‌التحصیل دانشگاه شریف دارای افتخارات مدال طلای المپیاد دانشجویی کامپیوتر سال ۱۳۸۹، مدال نقره المپیاد دانش آموزی سال ۱۳۸۲، مقام‌های دوم و سوم در مسابقات جهانی روبوکاپ در سال‌های ۲۰۰۷ و ۲۰۰۸

https://bit.ly/2N7WBP1
@harmoniclib

@harmoniclib
راستین نگاه کن, به بابا نگاه کن....

شاهین مقدم در سوگ فرزندش
کانادا

دومین بزرگ‌داشت روز جهانی منطق (سال ۱۳۹۸) سه شنبه ۲۴ دی ۱۳۹۸ ساعت ۱۴-۱۸ در دانشگاه تربیت مدرس، دانشکده علوم انسانی، طبقه چهار، سالن میرحسنی، با سخنرانی‌های زیر برگزار می‌شود:


لطف الله نبوی (دانشگاه تربیت مدرس)، گودل و قرائت برگی از دفتر وی
سید محمد باقری (دانشگاه تربیت مدرس)، Compactness for infinitary propositional logics.
محمد گلشنی (پژوهشگاه دانش‌های بنیادی)، Godel's constructible universe and its extensios.
امیرحسین اکبرطباطبایی (دانشگاه اوترخت)، Intuitionistic implications: on the logics of spacetime.

نخستین بزرگ‌داشتِ روزِ جهانیِ منطق، در دانشکده‌ی ریاضیِ دانشگاه صنعتیِ امیرکبیر برگزار شد: https://logic.aut.ac.ir
ورود برای عموم آزاد است.

شادروان مهدی اسحاقیان
جانباخته حادثه سقوط هواپیمای ۷۳۷ اُکراینی
با دیگر دوستانشون جهت ادامه تحصیل از مسافران این هواپیما بودند
روحش شاد و یادش گرامی
از خداوند متعال برای خانواده مرحوم صبر جمیل خواستاریم.
@harmoniclib

Invitation to Real Analysis (Cesar E. Silva) [Pure and Applied Undergraduate Texts 36] American Mathematical Society (2019)
@harmoniclib

مسائلی در آنالیز تابعی
@harmoniclib

دبیرستان شهید اژه ای اصفهان
@harmoniclib

دانشگاه شهید بهشتی
@harmoniclib

دانشگاه لاوال کانادا
@harmoniclib

شادروان مهدی اسحاقیان در مرکز تصویر
Iran team - Robocon 2017 contest - Tokyo - Japan
@harmoniclib