انجمن علمی علوم کامپیوتر دانشگاه تهران: post #608 — TG.ME

Forwarded fromCSCS Talks
انجمن علمی علوم کامپیوتر دانشگاه تهران برگزار می‌کند:

🔷 محاسبه به عنوان مفهومی انتزاعی

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

👤 علی دستجردی، دانشجوی علوم ‌کامپیوتر دانشگاه تهران

📍مکان: دانشکده‌ی ریاضی، آمار و علوم ‌کامپیوتر، کلاس ۲۲۱
📅 تاریخ
: یک‌شنبه ۷ دی
🕑 زمان
: ساعت ۱۷:۱۵

🔓 ورود برای عموم آزاد است.

✍️ لطفاً جهت هماهنگی با حراست دانشگاه، فرم مربوطه را پر کنید

🔗 @CS_Talks_UT
❤16👎1
December 23, 2025 4K 11