| 1 |
منبع |
١. آ. گ. همیلتون، منطق برای ریاضیدانان، ترجمه محمدعلی پورعبداالله نژاد، نشر دانشگاه امام رضا، ١٣٩۵.
٢. م. اردشیر، منطق ریاضی، نشر هرمس، 1395. |
| 2 |
مواد و امکانات آموزشی |
منابع کتابخانه ای و امکانات متداول کلاس درس |
| 3 |
نحوه ارزشیابی |
حل تمرین ها و سوالات، مشارکت فعال در مباحث کلاس، آزمون میانی و آزمون پایانی |
| 4 |
وظایف دانشجو |
آمادگی مباحث تدریس شده قبلی برای هر جلسه، مشارکت فعال در مباحث درسی، حل تمرین ها و سوالات مطرح شده |
| 5 |
روش تدریس |
تدریس مستقیم همراه با مثال ها و تمرین های متنوع، مشارکت دانشجویان در فرآیند تدریس بصورت پرسش و پاسخ |
| 6 |
شایستگی های پایه |
تسلط بر مباحث درس مبانی علوم ریاضی و شناخت کلی از ماهیت مباحث نظری ریاضیات.
توانایی ها و شایستگی هایی که درس پرورش می دهد:
توانایی کار با دستگاه های اصل موضوعی حساب گزاره ها و حساب محمولات و دستگاه اعداد طبیعی و دستگاه نظریه مجموعه ها. |
| 7 |
جایگاه درس در برنامه درسی دوره |
درس تخصصی در رشته کارشناسی عاوم کامپیوتر |
| 8 |
هدف کلی |
آشنایی با منطق کلاسیک بصورت غیراصل موضوعی و بصورت دستگاه اصل موضوعی، مفاهیم صدق و الگو و دستگاه اصل موضوعی حساب و نظریه مجموعه ها. |
| 9 |
اهداف یادگیری |
یادگیری حساب غیرصوری گزارهها، حساب صوری گزارهها، حساب غیرصوری محمولات، حساب صوری محمولات و منطق زبان مرتبه اول، صدق و الگو، چند دستگاه ریاضی معروف، آشنایی با قضیه ناتمامیت گدل. |