منابع کارشناسی ارشد و دکتری رشته علوم کامپیوتر

دو درس ازدروس مبانی نظری اسلام

4

ادبیات فارسی

3

یک درس از دروس اخلاق اسلامی

2

زبان عمومی

3

یک درس از دروس انقلاب اسلامی

2

تربیت بدنی 1

1

یک درس ازدروس تاریخ وتمدن اسلامی

2

تربیت بدنی 2

1

یک درس از دروس آشنایی با منابع اسلامی

2

جمع

20

              ریاضی عمومی            

          معادلات دیفرانسیل           

مباني کامپيوتر و برنامه نويسي

مباني علوم رياضي          

مباني ماتريسها وجبر خطي

مباني آناليز رياضي

مباني آناليز عددي

مباني احتمال

مبانی نظریه محاسبه

             مبانی ترکیبیات              

مباني جبر

ساختمان داده ها و الگوریتم ها

برنامه سازی پیشرفته

جبر خظی عددی

اصول سیستمهای عامل

اصول سیستمهای کامپیوتری

مباني منطق و نظريه مجموعه ها

                    آنالیز عددی                 

              بهینه سازی خطی         

طراحی و تحلیل الگوریتم ها

بهینه سای غیر خطی

کامپایلر

نظریه محاسبه

مباحثی در علوم کامپیوتر

پایگاه داده ها

منطق

مدارهاي منطقي

نظريه کدگذاري

بهينه سازی ترکيبياتي

آناليز عددي

نرم افزار رياضي

بهينه سازي پويا

زبان هاي برنامه سازي

شبيه سازي کامپيوتري

طراحي هندسي کامپيوتري

شبکه هاي کامپيوتري

گرافيک کامپيوتري

هوش مصنوعي

اصول طراحي نرم افزار

ريزپردازنده 1

پروژه کارشناسي علوم کامپيوتر

زبان عمومی و تخصصی ( انگلیسی )

1 - كتاب زبان انگلیسی تخصصی برای دانشجویان رشته ی ریاضی 2 - زبان انگلیسی عمومی، محمود علیمحمدی

دروس پایه 

ریاضیات عمومی

1 - ریاضی عمومی ایساك مارون ترجمه خلیل پاریاب 2 - ریاضی عمومی جور توماس 3 - ریاضی عمومی آدامز 1و 2

مبانی علوم ریاضی

1 - كتاب لين ولين

مبانی ماتریس ها و جبر خطی

1 - جبر خطی تألیف هافمن 2 - جبر خطی تألیف اونان

مبانی آنالیز ریاضی

Pugh  آنالیز ریاضی رودین - آنالیز ریاضی آپوستل - آنالیز ریاضی

مبانی آنالیز عددی

 1 - آنالیز عددی ، نویسنده اسماعیل بابلیان 2 - محاسبات عددی، نویسنده كرایه چیان 3 - آنالیز عددی، نویسنده اوردن و دیگران ، ترجمه ی بابلیان 4 - آنالیز عددی  دكتر حسین زاده

مبانی احتمال

1 - نظریه احتمالات و نتیجه گیری آماری لارسون 2 - مبانی احتمال شلدون راس

ساختمان داده ها ، طراحی الگوریتم ها و مبانی نظریه محاسبه

ساختمان داده ها : 1 - اصول ساختمان داده ها تألیف هرویتز 2 - ساختمان داده ها با استفاده از پاسکال تألیف تننباوم  3 - ساختمان داده ها ، CLRS

الگوریتم ها : 1 - (CLRS)2 - اصول الگوریتم های کامپیوتر تالیف هرویتز 3 - الگوریتم ها و ساختمان داده تالیف ایهو

مبانی نظریه محاسبه :
 1 - R. Greenlaw, H. J. Hoover, Fundamentals of the theory of computation: principles and practice, Morgan Kaufmann Publishers Inc., 1998
2 - J. Martin, Introduction to Languages and the Theory of Computation, McGraw-Hill, 2010
3 - M. Sipser, Introduction to the theory of computation, Thomson Course Technology, 2006

مبانی منطق و نظریه مجموعه ها

1 - J. M. Henle, an Outline of Set Theory, Springer-Verlag, 1986.
2 - M. Huth, M. Ryan, Logic in Computer Sciences, modeling and reasoning about systems, Cambridge University Press, 2004.

ریاضیات گسسته و مبانی ترکیبیات

1 - ریاضیات گسسته، تالیف گریمالد 2 - ریاضی گسسته نوشته ترمبلی، گراسمن

دروس در سطح کارشناسی

ساختمان گسسته

کتاب ریاضیات گسسته و الگوریتم ها، تالیف علی بهفروز، انتشارات آییژ.

کتاب ریاضیات گسسته، تالیف حبیب اذانچیلر، انتشارات حفیظ.

کتاب ریاضیات گسسته، تالیف محمدتقی درویشی و مسعود نیکوکار، انتشارات گسترش علوم پایه.

کتاب ریاضیات گسسته، تالیف عبدالحسین زرین زاد و علیرضا فیضیان، انتشارات دیباگران تهران.

کتاب مبانی ترکیبات (رشته ریاضی)، مولف شهریار فرهمندراد، انتشارات دانشگاه پیام نور.

کتاب ساختمان های گسسته، تالیف هادی یوسفی، انتشارات پوران پژوهش.

کتاب ریاضیات گسسته، تالیف محمدحسن منصوری، انتشارات آزاده.

منطق

کتاب نظریه مجموعه ها و کاربردهای آن، مولفان یوفنگ لین و شووینگ لین، مترجم عمید رسولیان، انتشارات مرکز نشر دانشگاهی.

کتاب راهنما و مرجع کامل حل مسائل نظریه مجموعه ها و کاربردهای آن، مولفان یوفنگ لین و شووینگ لین، مترجم شیوا رسولیان، ویراستار منوچهر وصال، انتشارات مرکز نشر دانشگاهی.

کتاب راهنما و تشریح مسائل نظریه مجموعه ها و کاربردهای آن، مولفان علیرضا احمدی و محمدرضا زمانی، انتشارات امید مهر.

کتاب مبانی منطق جدید، مولف لطف الله نبوی، انتشارات سمت.

کتاب درآمدی به منطق جدید، انتشارات ضیاء موحد، انتشارات علمی و فرهنگی.

دروس در سطح کارشناسی ارشد

نظریه علوم کامپیوتر

کتاب محاسبه، پیچیدگی و زبان (Computability ,Complexity & Languages)، تالیف مارتین دیویدس، انتشارات Morgan Kaufmann.

کتاب نظریه علوم کامپیوتر (Theory of Computer Science)، تالیف K.L.P MISHRA، انتشارات Prentice-Hall of India Private limited

کتاب تئوری توابع بازگشتی و محاسبه پذیر موثر(Theory of recursive and Effective Computability )،تالیف رگرس،انتشارات Mc Graw Hilll.

کتاب محاسبات ماشین های محدود و نامحدود(Compution, Finite and Infinte Machines )،تالیف ام مینسکی،انتشارات Prentice-Hall.

۵-کتاب مقدمه ای بر نظریه محاسبات، تالیف مایکل سیپسر، ترجمه علیرضا غفاری و زهرا انصاری، انتشارات کانون نشر علوم.

کتاب معرفی بازگشتی نظریه محاسبات ،تالیف کارل اسمیت ،ترجمه مجید رشید پور و فرشید اسدی، انتشارات ماهواره.

کتاب مبانی نظریه محاسبات (نظریه زبان ها و ماشین ها)، مولفان هری لویس و کریستوز پاپادیمیترو، مترجمان فاطمه آقایی و حسن تفضلی، انتشارات دانشگاه صنعتی اصفهان.

کتاب مقدمه ای بر نظریه زبانها و ماشینها، تالیف پیتر لینز، مترجم عبدالحسین صراف زاده، انتشارات سیمای دانش.

کتاب نظریه محاسبات، تالیف حسن عسگر زاده، انتشارات دانشگاه پیام نور.

دروس استعداد تحصیلی

دروس زبان انگلیسی

استعداد تحصیلی ، نویسندگان : هادی مسیح خواه و محمد وکیلی انتشارات فرهنگ

کتاب های تخصصی انتشارات سمت ، 1100 لغت ضروری