| | | | | | |
| نظریه جبر پردازه | ۸۱۱۱۴۳۱ | ۳ | ۰۱ | | هرهفته (۰۹:۰۰ - ۱۰:۳۰) | - | ترم دوم ۱۴۰۳ |
| تحلیل و طراحی سیستم ها | ۸۱۰۱۱۴۹ | ۳ | ۰۱ | | هرهفته (۱۳:۳۰ - ۱۵:۰۰) | - | ترم دوم ۱۴۰۳ |
| طراحی کامپایلر و زبان های برنامه نویسی | ۸۱۰۱۵۷۴ | ۳ | ۰۱ | | هرهفته (۱۳:۳۰ - ۱۵:۰۰) | - | ترم اول ۱۴۰۳ |
| مدل سازی و درستی یابی صوری سیستم های هم روند و واکنشی | ۸۱۰۱۶۷۶ | ۳ | ۰۱ | | هرهفته (۰۹:۰۰ - ۱۰:۳۰) | - | ترم اول ۱۴۰۳ |
| کارآموزی | ۸۱۰۱۲۹۴ | ۳ | ۶۴ | نامشخص | - | ترم تابستان ۱۴۰۲ |
| نظریه جبر پردازه و ماشین خودکاره | ۸۱۰۱۹۰۱ | ۳ | ۰۱ | هرهفته (۱۰:۳۰ - ۱۲:۰۰) | هرهفته (۱۰:۳۰ - ۱۲:۰۰) | - | ترم دوم ۱۴۰۲ |
| طراحی کامپایلر و زبان های برنامه نویسی | ۸۱۰۱۵۷۴ | ۳ | ۰۱ | هرهفته (۱۴:۰۰ - ۱۵:۳۰) | هرهفته (۱۴:۰۰ - ۱۵:۳۰) | - | ترم اول ۱۴۰۲ |
| مدل سازی و درستی یابی صوری سیستم های هم روند و واکنشی | ۸۱۰۱۶۷۶ | ۳ | ۰۱ | | هرهفته (۰۹:۰۰ - ۱۰:۳۰) | - | ترم اول ۱۴۰۲ |
| نظریه جبر پردازه و ماشین خودکاره | ۸۱۰۱۹۰۱ | ۳ | ۰۱ | هرهفته (۱۰:۳۰ - ۱۲:۰۰) | هرهفته (۱۰:۳۰ - ۱۲:۰۰) | - | ترم دوم ۱۴۰۱ |
| تحلیل و طراحی سیستم ها | ۸۱۰۱۱۴۹ | ۳ | ۰۱ | هرهفته (۱۴:۰۰ - ۱۵:۳۰) | هرهفته (۱۴:۰۰ - ۱۵:۳۰) | - | ترم دوم ۱۴۰۱ |
| طراحی کامپایلر و زبان های برنامه نویسی | ۸۱۰۱۵۷۴ | ۳ | ۰۱ | هرهفته (۱۴:۰۰ - ۱۵:۳۰) | هرهفته (۱۴:۰۰ - ۱۵:۳۰) | - | ترم اول ۱۴۰۱ |
| مدل سازی و درستی یابی صوری سیستم های هم روند و واکنشی | ۸۱۰۱۶۷۶ | ۳ | ۰۱ | هرهفته (۰۹:۰۰ - ۱۰:۳۰) | هرهفته (۰۹:۰۰ - ۱۰:۳۰) | - | ترم اول ۱۴۰۱ |
| طراحی کامپایلر و زبان های برنامه نویسی | ۸۱۰۱۵۷۴ | ۳ | ۰۱ | | ۱۳۹۹/۱۱/۰۱ (۱۴:۰۰ - ۱۷:۰۰) | ترم اول ۱۳۹۹ |
| مدل سازی و درستی یابی صوری سیستم های هم روند و واکنشی | ۸۱۰۱۶۷۶ | ۳ | ۰۱ | | ۱۳۹۹/۱۱/۲۱ (۰۸:۳۰ - ۱۱:۰۰) | ترم اول ۱۳۹۹ |
| نظریه جبر پردازه و ماشین خودکاره | ۸۱۰۱۹۰۱ | ۳ | ۰۱ | هرهفته یک شنبه (۰۹:۰۰ - ۱۰:۳۰) | هرهفته سه شنبه (۰۹:۰۰ - ۱۰:۳۰) | ۱۳۹۹/۰۴/۱۸ (۰۸:۳۰ - ۱۱:۰۰) | ترم دوم ۱۳۹۸ |
| تحلیل و طراحی سیستم ها | ۸۱۰۱۱۴۹ | ۳ | ۰۱ | هرهفته یک شنبه (۱۴:۰۰ - ۱۵:۳۰) | هرهفته سه شنبه (۱۴:۰۰ - ۱۵:۳۰) | ۱۳۹۹/۰۴/۱۶ (۱۴:۰۰ - ۱۷:۰۰) | ترم دوم ۱۳۹۸ |
| طراحی و ساخت کامپایلر | ۸۱۰۱۴۲۰ | ۳ | ۰۱ | هرهفته یک شنبه (۱۴:۰۰ - ۱۵:۳۰) | هرهفته سه شنبه (۱۴:۰۰ - ۱۵:۳۰) | ۱۳۹۸/۱۱/۰۳ (۰۸:۳۰ - ۱۱:۳۰) | ترم اول ۱۳۹۸ |
| مدل سازی و درستی یابی صوری سیستم های هم روند و واکنشی | ۸۱۰۱۶۷۶ | ۳ | ۰۱ | هرهفته یک شنبه (۰۹:۰۰ - ۱۰:۳۰) | هرهفته سه شنبه (۰۹:۰۰ - ۱۰:۳۰) | ۱۳۹۸/۱۰/۲۵ (۰۸:۳۰ - ۱۱:۰۰) | ترم اول ۱۳۹۸ |
| کارآموزی | ۸۱۰۱۲۹۴ | ۳ | ۶۱ | نامشخص | نامشخص | ترم تابستان ۱۳۹۷ |
| نظریه جبر پردازه و ماشین خودکاره | ۸۱۰۱۹۰۱ | ۳ | ۰۱ | هرهفته یک شنبه (۰۹:۰۰ - ۱۰:۳۰) | هرهفته سه شنبه (۰۹:۰۰ - ۱۰:۳۰) | ۱۳۹۸/۰۴/۰۵ (۰۸:۳۰ - ۱۱:۰۰) | ترم دوم ۱۳۹۷ |
