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