دوره آموزشی مبانی برنامه نویسی: ریاضیات گسسته

ریاضیات گسسته چیه و چه ربطی به برنامه‌نویسی داره؟
وقتی صحبت از برنامه‌نویسی می‌شه، ریاضی همیشه یه بخش کلیدی از ماجراست! یکی از شاخه‌های مهم ریاضیات گسسته هست، که روی ساختارهای مجزا (یعنی چیزایی که پیوسته نیستن، مثل اعداد صحیح، گراف‌ها و گزاره‌های منطقی) تمرکز داره. این مفاهیم توی برنامه‌نویسی خیلی به کار میان و توی بخش‌های مختلفی مثل طراحی نرم‌افزار، تحلیل الگوریتم‌ها و منطق برنامه‌نویسی استفاده می‌شن.

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

توی این دوره آموزشی، پگی فیشر بهت یاد می‌ده که چطور با مفاهیم پایه‌ی ریاضیات گسسته کار کنی! این دوره بر پایه‌ی یه کتابخونه‌ی متن‌باز SML (Standard Machine Language) ساخته شده که بهت کمک می‌کنه این مفاهیم رو توی عمل ببینی. قراره روی داده‌ها کار کنی، جدول درستی بنویسی، داده‌ها رو تحلیل کنی و گراف‌های ریاضی رو برای نمایش اطلاعات استفاده کنی. در انتهای هر فصل، چالش‌هایی برای سنجش یادگیریت وجود داره، که بهت کمک می‌کنه این مفاهیم رو از تئوری به دنیای عملی برنامه‌نویسی بیاری و در وقتت صرفه‌جویی کنی و کدهای بهتری بنویسی.

اهداف یادگیری:
استفاده‌ی عملی از ریاضیات گسسته در دنیای واقعی
شناخت اشیا به‌عنوان مجموعه‌های داده و نحوه‌ی استفاده ازشون
یادگیری نمادگذاری مجموعه‌ها و عملیات روی اون‌ها
راه‌اندازی و کار با SML (Standard Machine Language)
کار با انواع داده‌ها، رشته‌ها و توابع توی SML
تحلیل و بررسی دنباله‌های داده‌ای
نوشتن جدول درستی (Truth Table) برای تحلیل منطقی
شناسایی و ارزیابی گزاره‌ها (Predicates) در منطق ریاضی
اعتبارسنجی استدلال‌ها و بررسی منطق برنامه‌نویسی
نوشتن اثبات‌های شرطی، دوطرفه و زیرمجموعه‌ای
نمایش داده‌ها با گراف‌ها و بررسی ارتباط بین اون‌ها
یادگیری تکنیک‌های پیشرفته‌ی ریاضیات گسسته برای بهینه‌سازی کد