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

انجمن علمی علوم کامپیوتر دانشگاه تهران برگزار می‌کند:🔷 منطق و علوم کامپیوتر؛ یک همزیستیِ برهم‌کنشی(تقدیم به دانشجویان ورودی ۱۴۰۳ رشته‌ی علوم کامپیوتر دانشگاه تهران)🔶 وجود رابطه‌ی نزدیک و طولانی میان منطق و علوم کامپیوتر واقعیتی انکارناپذیر است؛ رابطه‌ای از نوع همزیستی با بهره‌ی دوجانبه.در این سخنرانی برآنیم تا با نگاهی تاریخی از این ایده دفاع کنیم که نه‌تنها منطق در پیشرفت علوم کامپیوتر موثر بوده، بلکه علوم کامپیوتر نیز بر شیوه‌ی منطق‌ورزی اثر گذاشته است، و در این وادی با برهم‌کنشی‌ای‌ در بردارنده‌ی جنبه‌های گوناگونِ بنیادین و کارکردی روبه‌روییم.👤 مجید علی‌زاده، استاد گروه علوم کامپیوتر دانشگاه تهران📍مکان: دانشکده‌ی ریاضی، آمار و علوم‌کامپیوتر، کلاس ۲۲۱📅 تاریخ: سه‌شنبه ۴ آذر🕑 زمان: ساعت ۱۷:۳۰🔗 @CS_Talks_UT