برنامه درسی

پیشنیاز درس، مبانی ریاضی و ریاضی عمومی 2 است.

کتاب «آشنایی با آنالیز حقیقی» نوشته بارتل و شربرت، ترجمه دکتر طاهر قاسمی هنری و دکتر حکیمه ماهیار، انتشارات مبتکران.

کتاب «مبانی آنالیز ریاضی» نوشته راسل گوردن، ترجمه ارشک حمیدی، انتشارات ره‌آورد (وابسته به مؤسسه فاطمی)

سرفصل مطالبی که تدریس می شود عبارت است از:

دستگاه اعداد حقیقی، دنباله‌های اعداد حقیقی و قضایای همگرایی، سری‌های اعداد حقیقی و آزمون‌های همگرایی سری‌ها، توابع پیوسته حقیقی و ویژگی‌های مهم آنها به‌ویژه قضیه مقدار میانی، مشتق پذیری (قضیه رل، قضیه مقدار میانگین و بسط تیلور)، آشنایی با انتگرال ریمان و قضیه‌های اساسی حسابان.

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

کتاب «درآمدی به منطق جدید» نوشته ضیا موحد، انتشارات علمی-فرهنگی.

کتاب «منطق برای ریاضیدانان» نوشته آ. گ. همیلتون، ترجمه محمدعلی پورعبدالله، انتشارات آستان قدس رضوی.

کتاب «آشنایی با منطق ریاضی» نوشته هربرت ب. اندرتون، ترجمه غلامرضا برادران خسروشاهی، مرکز نشر دانشگاهی.

Mathematical Logic for Computer Science, Mordechai Ben-Ari, 3rd ed., Springer-Verlag, 2012

تعریف منطق به صدق، تعریف منطق به استنتاج، منطق گزاره ها، قواعد استنتاج در منطق گزاره‌ها، معنا و جداول ارزش، منطق محمول‌ها، قواعد استنتاج در منطق محمول‌ها، تعبیر و صدق، سازگاری و تمامیت منطق مرتبه اول، اصول نظریه مجموعه‌ها، مجموعه های شمارا و ناشمارا، ترتیب و اعداد ترتیبی، اعداد اصلی.