مبانی منطق

Fundamentals of Logic

کارشناسی
مقطع:
مبانی منطق
نام درس:

تخصصی الزامی

گروه درس:

مبانی علوم ریاضی

پیش‌نیاز:

نظری

نوع درس:

ندارد

هم‌نیاز:

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

Previousمبانی محاسبات علمیNextمبانی نظریه محاسبه

Last updated