| کارشناسی | مقطع: | مبانی منطق | نام درس: |
|---|---|---|---|
| تخصصی الزامی | گروه درس: | مبانی علوم ریاضی | پیش‌نیاز: |
| نظری | نوع درس: | ندارد | هم‌نیاز: |
| 48 | تعداد ساعت: | 3 | تعداد واحد: |
| ندارد | حل تمرین: |
سرفصل درس:
آشنایی با منطق: آشنایی با منطق گزاره‌ایی، زبان منطق گزاره‌ایی، قواعد استنتاج طبیعی، معناشناسی، قضیه صحت و تمامیت، فرم های نرمال الگوریتمهای SAT. آشنایی با زبان منطق محمولات، زبان منطق محمولات، قواعد استنتاج طبیعی، توصیف پذیری زبان، آشنایی با زبان Prolog.
منابع:
-
اردشیر، م (۱۴۰۰) منطق ریاضی. شرکت نشر کتاب هرمس
-
Huth, M., & Ryan, M. (2004). Logic in Computer Science: Modelling and reasoning about systems. Cambridge university press.
-
Enderton, H. B. (2001). A mathematical introduction to logic (2nd ed.). Academic Press.
-
Henle, J. M. (1986). An Outline of Set Theory. Springer-Verlag.
-
Lehman, E., Leighton, F. T., Meyer. A. R. (2018), Mathematics for Computer Science, Samurai Media Limited, url: https://courses.csail.mit.edu/6.042/spring18/mcs.pdf