نظریه علوم کامپیوتر (ارشد)د

نیمسال اول 1395

منبع درس:

Martin D. Davis, Ron Sigal, Elaine J. Weyuker, Computability, complexity, and languages: fundamentals of theoretical computer science, Second Edition. Academic Press, 1994.
Other useful books:
John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation, Third Edition Pearson/Addison-Wesley, 2007.
Michael Sipser, Introduction to the Theory of Computation, Third Edition Cengage Learning, 2013
Alfred V. Aho and Jeffrey D. Ullman, Foundations of Computer Science, C Edition W. H. Freeman, 1995. online available at this link

نمره نهایی:

میان‌ترم: ۷ نمره

پایان‌ترم: ۸ نمره

تکلیف: 5 نمره

تاریخ امتحان میان ترم: TBD

لینک درس در سامیاد

جدول ارائه درس:

اسلاید	ارائه کننده	مرجع	مبحث	زمان
			CH.1: Introduction	هفته اول
			CH. 2: Programs and Computable Functions	هفته دوم
			Ch. 3: Promitive Recursive Functions	هفته سوم
				هفته چهارم
				هفته پنجم
				هفته ششم
				هفته هفتم
				هفته هشتم
				هفته نهم
				هفته دهم
				هفته یازدهم
				هفته دوازدهم
				هفته سیزدهم
				هفته چهاردهم
				هفته پانزدهم
				هفته شانزدهم
				.

تکالیف:

تکالیف از طریق سیستم سامیاد دریافت خواهد شد. نسبت به ثبت نام درس در این سیستم اقدام نمایید

el.yazd.ac.ir

در صورت دستنویس بودن حل تمرینات می‌توانید از آنها عکس گرفته و در نهایت همه را به یک فایل پی دی اف تبدیل کرده و ارسال نمایید.

نمونه سایتهای تبدیل عکس به پی دی اف:

http://online2pdf.com/

http://www.convert-jpg-to-pdf.net/

http://www.a-pdf.com/faq/how-to-join-and-combine-jpg-images-to-one-pdf.htm

علاوه بر این ابزار، را دیگر قرار دادن عکسها در یک فایل

Word

است و سپس تبدیل فایل به پی دی اف که در

Office 2010

براحتی امکان پذیر است.

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

CamScanner

را بررسی کنید. نمونه فایل ایجاد شده با این ابزار