‫ساختارهای گسسته (‪)۰۴-۱۱۱‬‬
‫‪Discrete Structures‬‬
‫دانشکدهی مهندسي کامپيوتر‬
‫مدرس‪ :‬حميد ضرابيزاده‬
‫کليات‬
‫هدف از اين درس‪ ،‬آشنايی دانشجويان با مفاهیم‪ ،‬ساختارها‪ ،‬و تکنیکهايی از رياضیات گسسته است که بهطور گسترده در علوم و‬
‫مهندسی کامپیوتر مورد استفاده قرار میگیرند‪ .‬ايجاد مهارتهای زيربنايی از جمله فهم و ساخت اثباتهای دقیق رياضی‪ ،‬تفکر‬
‫خالقانه در حل مسائل‪ ،‬آشنايی با نتايج اولیه در منطق‪ ،‬ترکیبیات‪ ،‬نظريهی اعداد‪ ،‬نظريهی گرافها و نظريهی محاسبات‪ ،‬و نیز فراهم‬
‫آوردن پیشنیاز رياضی موردنیاز برای بسیاری ديگر از دروس ارائهشده در گرايشهای مختلف مهندسی کامپیوتر از اهداف اين درس‬
‫به شمار میرود‪.‬‬
‫ريز مواد‬
‫‪ .1‬شمارش (‪ ۴‬جلسه)‬
‫‪‬‬
‫اصول اولیهی شمارش‪ ،‬جایگشتها و ترکیبها‬
‫‪‬‬
‫ضرايب دوجملهای‪ ،‬جایگشتها و ترکیبهای باتکرار‬
‫‪‬‬
‫اصل طرد و شمول‪ ،‬توزيع اشیا درون جعبهها‬
‫‪‬‬
‫اصل النهکبوتری‬
‫‪ .2‬منطق (‪ ۳‬جلسه)‬
‫‪‬‬
‫اصول اولیهی منطق‪ ،‬گزارهها‪ ،‬گزارههای همارز‬
‫‪‬‬
‫گزارهنماها‪ ،‬سورها‪ ،‬اصول استنتاج‬
‫‪‬‬
‫روشهای اثبات‬
‫‪ .۳‬نظريهی توابع و مجموعهها (‪ 2‬جلسه)‬
‫‪‬‬
‫‪‬‬
‫عملگرهای مجموعهای‪ ،‬مجموعههای شمارا و ناشمارا‬
‫توابع يکبهيک و پوشا‪ ،‬ترکیب توابع‪ ،‬معکوس توابع‪ ،‬دنبالهها‬
‫‪ .۴‬نظريهی اعداد (‪ 2‬جلسه)‬
‫‪‬‬
‫اعداد اول‪ ،‬همنهشتی‪ ،‬الگوريتمهای حسابی‬
‫‪‬‬
‫مقدمهای بر نظريهی رمزنگاری‬
‫‪ .5‬استقرا (‪ 1‬جلسه)‬
‫‪‬‬
‫استقرای رياضی‪ ،‬استقرای قوی‪ ،‬اصل خوشترتیبی‬
‫‪ .6‬روابط بازگشتي (‪ ۳‬جلسه)‬
‫‪‬‬
‫مسائل بازگشتی‬
‫‪‬‬
‫حل روابط بازگشتی (همگن و غیر همگن)‬
‫‪‬‬
‫توابع مولد‪ ،‬استفاده در حل روابط بازگشتی‬
‫‪ .7‬رابطهها (‪ 2‬جلسه)‬
‫‪‬‬
‫رابطهها و خواص آنها‪ ،‬نمايش رابطهها‪ ،‬ترکیب روابط‬
‫‪‬‬
‫رابطههای همارزی‪ ،‬بستار ترايايی‬
‫‪ .8‬ترتيب جزئي و جبر بول (‪ 2‬جلسه)‬
‫‪‬‬
‫مجموعههای مرتب جزئی‪ ،‬نمودار هاس‪ ،‬ترتیب توپولوژيکی‬
‫‪‬‬
‫مشبکهها‪ ،‬جبر بول‪ ،‬خواص جبر بول‬
‫‪ .9‬گرافها (‪ ۳‬جلسه)‬
‫‪‬‬
‫تعاريف اولیه‪ ،‬گرافهای خاص‪ ،‬نمايش گرافها‪ ،‬يکريختی گرافها‬
‫‪‬‬
‫مسیرها و همبندی‪ ،‬مسیرهای اويلری و همیلتنی‬
‫‪‬‬
‫گرافهای مسطح‪ ،‬قضیهی اويلر‪ ،‬رنگآمیزی گرافها‬
‫‪ .11‬درختها (‪ 2‬جلسه)‬
‫‪‬‬
‫درختها و جنگلها ‪ ،‬درختهای ريشهدار‪ ،‬کاربرد درختها‬
‫‪‬‬
‫درختهای فراگیر‪ ،‬درختهای فراگیر کمینه‬
‫‪ .11‬مدلسازی محاسبات (‪ 2‬جلسه)‬
‫‪‬‬
‫‪‬‬
‫زبانها و ماشینها‪ ،‬ماشینهای با حاالت متناهی‪ ،‬زبانهای منظم‬
‫ماشین تورينگ‪ ،‬تصمیمپذيری‬
‫آزمون ‪ -‬تمرين‬
‫‪‬‬
‫حدود ‪ 6‬تمرين نظری (‪ ۳‬نمره)‬
‫‪‬‬
‫دو آزمون میانترم (‪ 11‬نمره)‬
‫‪‬‬
‫آزمون پايانی (‪ 6‬نمره)‬
‫‪‬‬
‫آزمونهای کوتاه (‪ 2‬نمره)‬
‫‪‬‬
‫آمادهسازی يادداشتهای درسی ‪ -‬مشارکت در بهروزرسانی ويکیپديا (‪ +1‬نمره)‬
‫مرجع اصلي‬
‫‪K. H. Rosen. Discrete Mathematics and Its Applications. 7th edition, McGraw Hill, 2012.‬‬
‫‪‬‬
‫مرجع کمکي‬
‫‪R. P. Grimaldi. Discrete and Combinatorial Mathematics: An Applied Introduction. 5th Edition,‬‬
‫‪Pearson Addison Wesley, 2004.‬‬
‫‪‬‬
‫زمانبندی درس‬
‫روز‬
‫تاريخ‬
‫موضوع‬
‫بخشهای کتاب درسي‬
‫يکشنبه‬
‫‪ 1۳‬بهمن‬
‫درس ‪ .۱‬اصول اولیهی شمارش‬
‫‪6.1, 6.3‬‬
‫سهشنبه‬
‫‪ 15‬بهمن‬
‫درس ‪ .2‬جایگشتها و ترکیبهای باتکرار‬
‫‪6.4, 6.5‬‬
‫يکشنبه‬
‫‪ 21‬بهمن‬
‫درس ‪ .3‬اصل طرد و شمول‬
‫‪8.5, 8.6‬‬
‫سهشنبه‬
‫‪ 22‬بهمن‬
‫تعطيل رسمي‬
‫يکشنبه‬
‫‪ 27‬بهمن‬
‫درس ‪ .۰‬منطق‪ ،‬گزارهها‬
‫‪1.1, 1.2, 1.3‬‬
‫سهشنبه‬
‫‪ 29‬بهمن‬
‫درس ‪ .۱‬گزارهنماها‪ ،‬سورها‪ ،‬استنتاج‬
‫‪1.4, 1.5, 1.6‬‬
‫يکشنبه‬
‫‪ ۴‬اسفند‬
‫درس ‪ .6‬روشهای اثبات‬
‫سهشنبه‬
‫‪ 6‬اسفند‬
‫درس ‪ .7‬اصل النهی کبوتری‬
‫‪6.2‬‬
‫يکشنبه‬
‫‪ 11‬اسفند‬
‫درس ‪ .8‬نظريهی مجموعهها‬
‫‪2.1, 2.2, 2.5‬‬
‫سهشنبه‬
‫‪ 1۳‬اسفند‬
‫درس ‪ .9‬توابع‬
‫يکشنبه‬
‫‪ 18‬اسفند‬
‫درس ‪ .۱۴‬نظريهی اعداد‬
‫‪4.1, 4.2, 4.3‬‬
‫سهشنبه‬
‫‪ 21‬اسفند‬
‫درس ‪ .۱۱‬نظريهی اعداد‬
‫‪4.4, 4.5, 4.6‬‬
‫‪1.7, 1.8‬‬
‫‪2.3, 2.4‬‬
‫يکشنبه‬
‫‪ 17‬فروردين‬
‫درس ‪ .۱2‬استقرای رياضی‬
‫‪5.1, 5.2‬‬
‫سهشنبه‬
‫‪ 19‬فروردين‬
‫درس ‪ .۱3‬روابط بازگشتی‬
‫‪8.1‬‬
‫يکشنبه‬
‫‪ 2۴‬فروردين‬
‫درس ‪ .۱۰‬حل روابط بازگشتی‬
‫‪8.2‬‬
‫سهشنبه‬
‫‪ 26‬فروردين‬
‫درس ‪ .۱۱‬توابع مولد‬
‫‪8.4‬‬
‫يکشنبه‬
‫‪ ۳1‬فروردين‬
‫درس ‪ .۱6‬گرافها‬
‫‪10.1, 10.2, 10.3‬‬
‫سهشنبه‬
‫‪ 2‬اردیبهشت‬
‫درس ‪ .۱7‬گرافها‬
‫‪10.4, 10.5‬‬
‫يکشنبه‬
‫‪ 7‬اردیبهشت‬
‫درس ‪ .۱8‬گرافها‬
‫‪10.7, 10.8‬‬
‫سهشنبه‬
‫‪ 9‬اردیبهشت‬
‫درس ‪ .۱9‬درختها‬
‫‪11.1, 11.2‬‬
‫يکشنبه‬
‫‪ 1۴‬اردیبهشت‬
‫درس ‪ .2۴‬درختها‬
‫‪11.4, 11.5‬‬
‫سهشنبه‬
‫‪ 16‬اردیبهشت‬
‫درس ‪ .2۱‬رابطهها‬
‫‪9.1, 9.3, 9.4‬‬
‫يکشنبه‬
‫‪ 21‬اردیبهشت‬
‫درس ‪ .22‬ترتیب جزئی‬
‫سهشنبه‬
‫‪ 2۳‬اردیبهشت‬
‫تعطيل رسمي‬
‫يکشنبه‬
‫‪ 28‬اردیبهشت‬
‫درس ‪ .23‬جبر بول‬
‫‪12.1, 12.2‬‬
‫سهشنبه‬
‫‪ ۳1‬اردیبهشت‬
‫درس ‪ .2۰‬مدلسازی محاسبات‬
‫‪13.3, 13.4‬‬
‫يکشنبه‬
‫‪ ۴‬خرداد‬
‫درس ‪ .2۱‬مدلسازی محاسبات‬
‫‪13.5‬‬
‫سهشنبه‬
‫‪ 6‬خرداد‬
‫تعطيل رسمي‬
‫‪9.5-6‬‬