منطق برای علوم کامپیوتر

Logic for Computer Science

---

کارشناسی	مقطع:	منطق برای علوم کامپیوتر	نام درس:
تخصصی اختیاری	گروه درس:	مبانی علوم ریاضی	پیش‌نیاز:
نظری	نوع درس:	ندارد	هم‌نیاز:
48	تعداد ساعت:	3	تعداد واحد:
		ندارد	حل تمرین:

سرفصل درس:

• نحو و معناشناسی منطق گزاره ای، قضیه فشردگی، دستگاه اثبات، قضیه صحت و تمامیت،مساله SAT، نحو و معناشناسی منطق مرتبه اول، توصیف خواص برنامه با منطق مرتبه اول، قواعد استنتاج منطق مرتبه اول، آشنایی با منطق زمانی، آشنایی با منطق Hoare، آشنایی با زبان برنامه نویسی Prolog

منابع:

• اردشیر، م. (۱۳۹۹)، منطق ریاضی، چاپ هرمس.

• Huth, M., Ryan, M. (2020), Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition, Cambridge: Cambridge University.

**