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

جدول گرایش ها و منابع آزمون دکتری رشته علوم کامپیوتر

دروس در سطح کارشناسی
   
ساختمان گسسته
   
منبع 1: کتاب ریاضیات گسسته، تالیف حبیب اذانچیلر، انتشارات حفیظ.

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

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

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

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

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

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



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

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

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

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

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



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

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

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

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

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

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

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

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

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




منابع عمومی

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

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