مبانی منطق
Fundamentals of Logic
| نام درس: | مبانی منطق | مقطع: | کارشناسی |
|---|---|---|---|
| پیش‌نیاز: | مبانی علوم ریاضی | گروه درس: | تخصصی الزامی |
| هم‌نیاز: | ندارد | نوع درس: | نظری |
| تعداد واحد: | 3 | تعداد ساعت: | 48 |
| حل تمرین: | ندارد |
سرفصل درس:
آشنایی با منطق: آشنایی با منطق گزاره‌ایی، زبان منطق گزاره‌ایی، قواعد استنتاج طبیعی، معناشناسی، قضیه صحت و تمامیت، فرم های نرمال الگوریتمهای 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