a pessimistic researcher
جهان ما از دیتابیس و فرمال متد شروع میشه و به پوچی ختم میشه!
إظهار المزيد- المشتركون
- التغطية البريدية
- ER - نسبة المشاركة
جاري تحميل البيانات...
جاري تحميل البيانات...
#عصرانه_ریاضی از منطق و نظریهی انواع تا درستییابی صوری جلسه چهارم Towards a Big-step Higher-Order Mathematical Operational Semantics پویا پرتو ⏰ یکشنبه ۱۳ خرداد، ساعت ۱۸ این عصرانه به صورت هیبرید برگزار میشود، مکان برگزاری کلاس ۲۰۷ دانشکده ریاضی و لینک از طریق کانال اطلاع رسانی خواهد شد.
#عصرانه_ریاضی از منطق و نظریهی انواع تا درستییابی صوری جلسه سوم آشنایی با نظریه زبانهای برنامهنویسی اشا سروشپور ⏰ شنبه ۱۲ خرداد، ساعت ۱۸ این عصرانه به صورت هیبرید برگزار میشود، مکان برگزاری کلاس ۲۲۱ دانشکده ریاضی و لینک از طریق کانال اطلاع رسانی خواهد شد.
#عصرانه_ریاضی از منطق و نظریهی انواع تا درستییابی صوری جلسه دوم دنیای برهانها و نرمافزارهای بدون باگ محسن لیاقت ⏰ دوشنبه ۷ خرداد، ساعت ۱۸:۳۰ این عصرانه به صورت هیبرید برگزار میشود، مکان برگزاری کلاس ۲۲۱ دانشکده ریاضی و لینک از طریق کانال اطلاع رسانی خواهد شد.
David Nowak - Centre de Recherche en Informatique, Signal et Automatique de Lille - CRIStAL - UMR 9189 - CNRS and University of Lille
تسمح خطتك الحالية بتحليلات لما لا يزيد عن 5 قنوات. للحصول على المزيد، يُرجى اختيار خطة مختلفة.