🔷در همایش مسیر واقعی کارآفرینی چه گذشت...؟

🔸با ما در اینستاگرام همراه باشید!

@cs_talks_ut

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

🔷 منطق و علوم کامپیوتر؛ یک همزیستیِ برهم‌کنشی
(تقدیم به دانشجویان ورودی ۱۴۰۳ رشته‌ی علوم کامپیوتر دانشگاه تهران)

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

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

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

🔗 @CS_Talks_UT

با توجه به تعطیلی دانشگاه در روز آتی، این ارائه در روز سه‌شنبه ۴ آذر برگزار نمی‌شود و به روز سه‌شنبه ۱۱ آذر موکول خواهد شد.

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

🔷 An introduction to Linux

🔶 New to Linux? This first session is your perfect starting point. We'll cover all the essentials: what Linux is, its core philosophy, and how to navigate the file system. We'll also demystify file permissions and explore some of the community's most famous memes. You'll leave with a solid foundation, ready to tackle hands-on installation in Session 2.

👤 کیاوش قنبری، دانشجوی ریاضی دانشگاه تهران

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

🔗 @CS_Talks_UT

با توجه به تعطیلی دانشگاه در روز آتی، این ارائه در روز شنبه ۸ آذر برگزار نمی‌شود و به روز شنبه ۱۵ آذر موکول خواهد شد.

با توجه به تعطیلی دانشگاه در روز‌های آتی و درخواست دانشجویان، این ارائه در روز سه‌شنبه ۱۱ آذر برگزار نمی‌شود و تاریخ جایگزین متعاقباً اعلام خواهد شد.

یادآوری:
این ارائه شنبه ۱۵ آذر در کلاس ۲۰۱ برگزار می‌شود.

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

🔷 پردازش زبان (از ماشین تورینگ تا LLM)

🔶 در این ارائه مسیری جذاب و فشرده از ریشه‌های نظری پردازش زبان طبیعی تا پیشرفت‌های عملی امروز را طی می‌کنیم. ابتدا مفاهیم بنیادی (ماشین تورینگ، نظریه محاسبه و مدل‌های زبان آماری) را مرور می‌کنیم، سپس تغییر پارادایم به یادگیری عمیق و معماری‌های عصبی (RNN، Transformer) را نشان می‌دهیم. بخش پایانی به ظهور مدل‌های زبانی بزرگ (LLM)، کاربردهای واقعی، چالش‌های فنی و چشم‌اندازهای آینده اختصاص دارد.

👤 سیدمحمدحسین یزدانی‌فر
رئیس هیئت مدیره و CTO شرکت نوا ویرا
دارنده مدال نقره و برنز کشوری المپیاد کامپیوتر

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

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

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

🔗 @CS_Talks_UT

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

🔷 منطق و علوم کامپیوتر؛ یک همزیستیِ برهم‌کنشی
(تقدیم به دانشجویان ورودی ۱۴۰۳ رشته‌ی علوم کامپیوتر دانشگاه تهران)

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

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

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

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

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

🔗 @CS_Talks_UT

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

🔷 World Models: From prediction to congnitive maps

🔶 Most AI reacts to data—but what if machines could imagine and plan like humans? This talk explores world models, showing how agents like Dreamer can master complex worlds such as Minecraft through internal simulation. We introduce Cloned-Structured Cognitive Graphs (CSCGs), a structured, interpretable approach that could open the door to more powerful and fundamentally different AI.

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

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

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

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

🔗 @CS_Talks_UT

با توجه به همزمانی این برنامه با مسابقه‌ی والیبال دانشکده، این برنامه در روز سه‌شنبه ۲ دی برگزار نمی‌شود و به روز سه‌شنبه ۹ دی موکول خواهد شد.

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

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

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

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

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

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

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

🔗 @CS_Talks_UT