منطق برای علوم کامپیوتر
Logic for Computer Science
| نام درس: | منطق برای علوم کامپیوتر | مقطع: | کارشناسی |
|---|---|---|---|
| پیش‌نیاز: | مبانی علوم ریاضی | گروه درس: | تخصصی اختیاری |
| هم‌نیاز: | ندارد | نوع درس: | نظری |
| تعداد واحد: | 3 | تعداد ساعت: | 48 |
| حل تمرین: | ندارد |
سرفصل درس:
- نحو و معناشناسی منطق گزاره ای، قضیه فشردگی، دستگاه اثبات، قضیه صحت و تمامیت،مساله SAT، نحو و معناشناسی منطق مرتبه اول، توصیف خواص برنامه با منطق مرتبه اول، قواعد استنتاج منطق مرتبه اول، آشنایی با منطق زمانی، آشنایی با منطق Hoare، آشنایی با زبان برنامه نویسی Prolog
منابع:
-
اردشیر، م. (۱۳۹۹)، منطق ریاضی، چاپ هرمس.
-
Huth, M., Ryan, M. (2020), Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition, Cambridge: Cambridge University.
**