مبانی نظریّه محاسبه، بهار ۱۴۰۰

کلاس‌های درس، از طریق این پیوند Skype و روزهای یکشنبه و سه‌شنبه ساعت ۴ تا ۶ عصر برگزار می‌شود.
کلاس حل تمرین: .
کانال تلگرام درس: @ut1400btc
پیوند صفحه‌ی درس مربوط به سال‌های قبل که حاویِ نمونه‌سؤالات امتحان میان‌ترم به همراه پاسخ‌نامه و پاسخ برخی تمرین‌ها می‌باشد.
ماتون، یک بازی اندروئیدی جالب برای یادگیری عبارات منظم و اتوماتون. گسترش‌دهندگان: آریا صادقی - آشنا گرگان‌محمدی
زمان‌های تشکیل کلاس‌های تمرین:‌ به زودی اعلام می‌شود
کتاب کمکیِ درس: Introduction to Languages and the Theory of Computation , John Martin, 4th Edition, 2010
کتاب اصلیِ درس: Introduction to the Theory of Computation, Michael Sipser, 3rd Edition, 2012
تدریس‌یاران: آقای شایان پیغمبری و اشا سروش‌پور.
این‌جا صفحه‌ی اختصاصی درس مبانی نظریه‌محاسبه است که در ترم دوم سال تحصیلی ۹۹-۱۳۹۸ در دانشکده‌ی ریاضی، آمار و ع.ک. دانشگاه تهران ارائه می‌شود.

Education