انجمن علمی-دانشجویی ریاضی دانشگاه تهران dan repost
#عصرانه_ریاضی
از منطق و نظریه‌ی انواع تا درستی‌یابی صوری
جلسه اول
تایپ تئوری و حساب لامبدا
علیرضا محمودیان
⏰ شنبه ۵ خرداد، ساعت ۱۸
این عصرانه به صورت هیبرید برگزار می‌شود، مکان برگزاری متعاقباً اعلام و لینک از طریق کانال اطلاع رسانی خواهد شد.
از منطق و نظریه‌ی انواع تا درستی‌یابی صوری
جلسه اول
تایپ تئوری و حساب لامبدا
علیرضا محمودیان
⏰ شنبه ۵ خرداد، ساعت ۱۸
این عصرانه به صورت هیبرید برگزار می‌شود، مکان برگزاری متعاقباً اعلام و لینک از طریق کانال اطلاع رسانی خواهد شد.