| 1 |
جایگاه درس در برنامه درسی دوره |
درس تخصصی رشته علوم کامپیوتر |
| 2 |
هدف کلی |
آشنایی با منطق کلاسیک بصورت غیراصل موضوعی و بصورت دستگاه اصل موضوعی، مفاھیم صدق و الگو و دستگاه اصل موضوعی حساب و نظریه مجموعه ھا. آشنایی با کاربرد منطق در علوم کامپیوتر. |
| 3 |
شایستگی های پایه |
تسلط به مفاهیم درس مبانی علوم ریاضی. |
| 4 |
اهداف یادگیری |
یادگیری حساب غیرصوری گزارھھا، حساب صوری گزاره ھا،حساب غیرصوری محمولات، حساب صوری محمولات و منطق زبان مرتبه اول، صدق و الگو. |
| 5 |
روش تدریس |
آموزش مستقیم |
| 6 |
وظایف دانشجو |
شرکت فعال در کلاس و تحویل تمرین ها و پروژه ها |
| 7 |
منبع |
1. آ. گ. ھمیلتون، منطق برای ریاضیدانان، ترجمه محمدعلی پورعبدالله نژاد، نشر دانشگاه امام رضا، ١٣٩۵
2. M. Huth & M. Ryan, Logic in computer sciences, modeling and resoning about systems, Cambridge University Press 2004 |
| 8 |
مواد و امکانات آموزشی |
منابع کتابخانه ای و امکانات متداول کلاس درس |
| 9 |
نحوه ارزشیابی |
آزمون های میان ترم و پایان ترم و تمرین و پروژه های محول شده. |