#عصرانه_ریاضی
از منطق و نظریهی انواع تا درستییابی صوری
جلسه اول
تایپ تئوری و حساب لامبدا
علیرضا محمودیان
⏰ شنبه ۵ خرداد، ساعت ۱۸
این عصرانه به صورت هیبرید برگزار میشود، مکان برگزاری کلاس ۲۲۱ دانشکده ریاضی و لینک از طریق کانال اطلاع رسانی خواهد شد.
Post #1371
7.85K
- ❤ 30
- 🕊 2
- 👍 1