فرادرس
هزینه آموزش
۴۱,۰۰۰ تومان

آموزش مبانی منطق و نظریه مجموعه ها

آموزش مبانی منطق و نظریه مجموعه ها

تعداد دانشجو
۶۹۴ نفر
مدت زمان
۱۷ ساعت و ۴۱ دقیقه
هزینه آموزش
۴۱,۰۰۰ تومان
محتوای این آموزش
۱۰ بازخورد (مشاهده نظرات)
آموزش مبانی منطق و نظریه مجموعه ها

چکیده

در این فرادرس می خواهیم به مباحث اساسی منطق در کامپیوتر و ریاضیات و همچنین نظریه مجموعه ها و مباحث جبر بول، بپردازیم و در واقع این آموزش تمامی مباحث منطق و نظریه مجموعه های مربوط به رشته های کامپیوتر و ریاضی را پوشش خواهد داد که با کمک حل مسائل متنوع، قصد داریم لذت یادگیری این درس را برای تمامی داوطلبان، چند برابر کنیم و این درس در کنکورهای ارشد و دکتری، منبع سوال می باشد و چشم انداز این آموزش، داوطلبان کنکور نیز می باشند.

مدرس
منوچهر بابایی

کارشناس ارشد مهندسی کامپیوتر - نرم افزار

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

توضیحات تکمیلی

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

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

در این فرادرس می خواهیم به مباحث اساسی منطق در کامپیوتر و ریاضیات و همچنین نظریه مجموعه ها و مباحث جبر بول، بپردازیم و در واقع این آموزش تمامی مباحث منطق و نظریه مجموعه های مربوط به رشته های کامپیوتر و ریاضی را پوشش خواهد داد که با کمک حل مسائل متنوع، قصد داریم لذت یادگیری این درس را برای تمامی داوطلبان، چند برابر کنیم و این درس در کنکورهای ارشد و دکتری، منبع سوال می باشد و چشم انداز این آموزش، داوطلبان کنکور نیز می باشند.

 
فهرست سرفصل ها و رئوس مطالب مطرح شده در این مجموعه آموزشی، در ادامه آمده است:
  • درس یکم: مقدمات منطق
    • مفهوم گزاره - رابط های منطقی
    • استلزام و استنتاج
    • استدلال قیاسی - تناقض
    • قواعد سورها
    • برهان درستی - برهان خلف - استقرای ریاضی
  • درس دوم: منطق مرتبه اول
    • منطق مرتبه اول در برابر منطق گزاره ای
    • زبان های مرتبه اول
    • درستی و مدل در منطق مرتبه اول
    • استنتاج در منطق مرتبه اول
  • درس سوم: مفهوم مجموعه ها
    • مجموعه ها و زیرمجموعه ها
    • تصریح مجموعه ها
    • اجتماع و اشتراک - متمم
    • نمودار ون
    • پارادوکس راسل (Russell)
  • درس چهارم: رابطه و تابع
    • حاصل ضرب دکارتی
    • رابطه
    • افراز و رابطه هم ارزی
    • تابع
    • نگاره و نگاره وارون مجموعه
    • تابع یک به یک پوشا و دو سویی
    • ترکیب توابع
  • درس پنجم: مجموعه های شمارای متناهی و ناشمارا
    • مجموعه های متناهی و نامتناهی
    • تناظر یک به یک در مجموعه
    • ویژگی های مجموعه های شمارای نامتناهی
    • مجموعه های ناشمارا
  • درس ششم: اعداد اصلی و حساب اعداد اصلی
    • اعداد اصلی چیست؟
    • قضیه شرودر - برنشتاین
    • عدد اصلی یک مجموعه توانی - قضیه کانتور (Cantor)
    • جمع و ضرب و توان اعداد اصلی
    • فرضیه پیوستار و تعمیم آن
  • درس هفتم: اصل انتخاب و صورت های هم ارز آن
    • معرفی اصل انتخاب
    • اصل ماکسیمال هاوسدورف (Hausdorff)
    • لم زرن
    • اصل خوش ترتیبی
    • اصل استقرای ترامتناهی
  • درس هشتم: اعداد ترتیبی و حساب ترتیبی
    • مفهوم اعداد ترتیبی
    • مقایسه اعداد ترتیبی
    • جمع و ضرب اعداد ترتیبی
    • اصل خوش ترتیبی
    • اصل استقرای ترامتناهی
 
مفید برای رشته های
  • علوم کامپیوتر
  • ریاضی

آنچه در این آموزش خواهید دید:

آموزش ویدئویی مورد تائید فرادرس
فایل PDF یادداشت‌ های ارائه مدرس



پیش نمایش‌ها

پیش‌نمایش ۱: مقدمات منطق - منطق گزاره‌ ای - بخش اول

توجه: اگر به خاطر سرعت اینترنت، کیفیت نمایش پایین‌تر از کیفیت HD ویدئو اصلی باشد؛ می‌توانید ویدئو را دانلود و مشاهده کنید (دانلود پیش‌نمایش - حجم: ۱۵ مگابایت -- (کلیک کنید +))

پیش‌نمایش ۲: مقدمات منطق - منطق گزاره‌ ای - بخش دوم

توجه: اگر به خاطر سرعت اینترنت، کیفیت نمایش پایین‌تر از کیفیت HD ویدئو اصلی باشد؛ می‌توانید ویدئو را دانلود و مشاهده کنید (دانلود پیش‌نمایش - حجم: ۱۴ مگابایت -- (کلیک کنید +))

پیش‌نمایش ۳: مقدمات منطق - منطق گزاره‌ ای - بخش سوم

توجه: اگر به خاطر سرعت اینترنت، کیفیت نمایش پایین‌تر از کیفیت HD ویدئو اصلی باشد؛ می‌توانید ویدئو را دانلود و مشاهده کنید (دانلود پیش‌نمایش - حجم: ۸ مگابایت -- (کلیک کنید +))

پیش‌نمایش ۴: منطق مرتبه اول - بخش اول

توجه: اگر به خاطر سرعت اینترنت، کیفیت نمایش پایین‌تر از کیفیت HD ویدئو اصلی باشد؛ می‌توانید ویدئو را دانلود و مشاهده کنید (دانلود پیش‌نمایش - حجم: ۱۶ مگابایت -- (کلیک کنید +))

پیش‌نمایش ۵: منطق مرتبه اول - بخش دوم
مشاهده این پیش‌نمایش، نیازمند عضویت و ورود به سایت (+) است.
پیش‌نمایش ۶: منطق مرتبه اول - استنتاج در منطق مرتبه اول
مشاهده این پیش‌نمایش، نیازمند عضویت و ورود به سایت (+) است.
پیش‌نمایش ۷: منطق مرتبه اول - بخش فرم نرمال پیشوندی در منطق مرتبه اول
مشاهده این پیش‌نمایش، نیازمند عضویت و ورود به سایت (+) است.
پیش‌نمایش ۸: مفهوم مجموعه ها - قوانین پایه مجموعه‌ ها - بخش اول
مشاهده این پیش‌نمایش، نیازمند عضویت و ورود به سایت (+) است.
پیش‌نمایش ۹: مفهوم مجموعه ها - قوانین پایه مجموعه‌ ها - بخش دوم
مشاهده این پیش‌نمایش، نیازمند عضویت و ورود به سایت (+) است.
پیش‌نمایش ۱۰: رابطه و تابع - افراز - رابطه هم ارزی
مشاهده این پیش‌نمایش، نیازمند عضویت و ورود به سایت (+) است.
پیش‌نمایش ۱۱: رابطه و تابع - تابع
مشاهده این پیش‌نمایش، نیازمند عضویت و ورود به سایت (+) است.
پیش‌نمایش ۱۲: مجموعه های شمارای متناهی و ناشمارا - بخش اول
مشاهده این پیش‌نمایش، نیازمند عضویت و ورود به سایت (+) است.
پیش‌نمایش ۱۳: مجموعه های شمارای متناهی و ناشمارا - بخش دوم
مشاهده این پیش‌نمایش، نیازمند عضویت و ورود به سایت (+) است.
پیش‌نمایش ۱۴: مجموعه های شمارای متناهی و ناشمارا - بخش سوم
مشاهده این پیش‌نمایش، نیازمند عضویت و ورود به سایت (+) است.
پیش‌نمایش ۱۵: اعداد اصلی و حساب اعداد اصلی - بخش اول
مشاهده این پیش‌نمایش، نیازمند عضویت و ورود به سایت (+) است.
پیش‌نمایش ۱۶: اعداد اصلی و حساب اعداد اصلی - بخش دوم
مشاهده این پیش‌نمایش، نیازمند عضویت و ورود به سایت (+) است.
پیش‌نمایش ۱۷: اصل انتخاب و صورت های هم ارز آن
مشاهده این پیش‌نمایش، نیازمند عضویت و ورود به سایت (+) است.
پیش‌نمایش ۱۸: اصل ماکسیمال هاوسدورف
مشاهده این پیش‌نمایش، نیازمند عضویت و ورود به سایت (+) است.
پیش‌نمایش ۱۹: اعداد ترتیبی و حساب ترتیبی
مشاهده این پیش‌نمایش، نیازمند عضویت و ورود به سایت (+) است.

راهنمای تهیه آموزش ها

آیا می دانید که تهیه یک آموزش از فرادرس و شروع یادگیری چقدر ساده است؟

راهنمایی بیشتر ( +)

در مورد این آموزش یا نحوه تهیه آن سوالی دارید؟
  • با شماره تلفن واحد مخاطبین ۵۷۹۱۶۰۰۰ (پیش شماره ۰۲۱) تماس بگیرید. - تمام ساعات اداری
  • با ما مکاتبه ایمیلی داشته باشید (این لینک). - میانگین زمان پاسخ دهی: ۳۰ دقیقه


اطلاعات تکمیلی

نام آموزش آموزش مبانی منطق و نظریه مجموعه ها
ناشر فرادرس
شناسه اثر ۸–۱۲۴۵۲–۰۶۴۵۳۵ (ثبت شده در مرکز رسانه‌های دیجیتال وزارت ارشاد)
کد آموزش FVSFT95041
مدت زمان ۱۷ ساعت و ۴۱ دقیقه
زبان فارسی
نوع آموزش آموزش ویدئویی     (کیفیت HD - مورد تایید فنی فرادرس)
حجم دانلود ۸۷۹ مگابایت     (کیفیت ویدئو HD‌ با فشرده سازی انحصاری فرادرس)


نظرات

تا کنون ۶۹۴ نفر از این آموزش استفاده کرده اند و ۱۰ نظر ثبت شده است.
سوگل
سوگل

در خصوص رشته ی دانشگاهیم این آموزشو تهیه کردم. خیلی مفید بود برام.

زهرا
زهرا

من این ترم همین آموزشو داشتم، اما نحوه تدریس استاد من با مدرس فرادرس خیلی فرق می کنه، حتی محتواشم خیلی متفاوت بود.

مهرداد
مهرداد

بنده آموزش های دیگه مهندس بابایی رو هم تهیه کردم و خیلی راضی بودم. آموزش هاشون جامع بود. به نظر من برای کسی که بخواد کنکور ارشدبده کافی هستش و مطالب رو تا 70 یا 80 درصد پوشش دادند. به نظر من آموزش هایی که مدرس خودشون تو صفحه یادداشت می کنند و پاورپوینت نیست، خیلی بیشتر مفید هستند تا آموزش هایی که فقط از رو پاورپوینت خونده میشن.

محمد
محمد

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

امیر
امیر

با سلام ... نحوه آموزش شما واقعا عالی بود فقط مثال‌ها کمی داشتید و همچنین کتاب نظریه مجموعه‌ها کاربرد ها رو 100 درصد پوشش نمیداد .... ولی برای کسی که کلا دوست داره درباره منطق بدونه، بد نیست

منوچهر بابایی
منوچهر بابایی

با سلام
در کنکور کارشناسی ارشد، بدلیل نکته محور بودن ازمون بعضی سوالات خلاقیتی هستند و در واقع با دانستن مطالب پایه ای در این اموزش میتوان آنها را حل نمود. مثلا بحث ارضاپذیری در این اموزش وجود دارد. ارضا پذیری یعنی یک جمله منطقی (چه منطق گزاره ای و چه منطق مرتبه اول) حداقل به ازای یک مدل نتیجه درست داشته باشد و صدق کند. بحث استقلال مجموعه ها نیز خلاقیت طراح کنکور است و تا سوال ان دیده نشود بطور مستقیم مفهوم خاصی نخواهد بود که در یک اموزش کلی به آن پرداخته شود اگرچه در یک اموزش نکته و تست کنکور باید قطعا به ان پرداخته شود .
مثلا سوال هفده از کنکور دکتری 97 علوم کامپیوتر را در نظر میگیریم و انرا حل میکنیم:
مجموعه زیر از فرمولهای گزاره ای چه تعداد زیرمجموعه مستقل و هم ارز دارد؟
برای مشاهده سوال و پاسخ به لینک زیر مراجعه بفرمایید.
http://s8.picofile.com/file/8360363900/img004.jpg
همانطور که می بینید مسایل پایه ای و مفاهیم این سوال کاملا در اموزش توضیح داده شده است.

دانشجو
دانشجو

سلام بنظر من آموزش خوبی بود ولی برای کسی که کنکور داره کامل نبود مثل زیر فرمول گزاره ای که خیلی سوال ارشد بوده مثل ارضا پذیری و استقلال مجموعه ها و .....

علی باقری
علی باقری

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

معین
معین

بسیار عالی. منتظر بودیم بی صبرانه

حجت
حجت

با درود فراوان به تیم پر تلاش فرادرس
هنوز آموزش رو تهیه نکردم اما این آموزش میتونه خیلی عالی باشه ، منتظر انتشار این آموزش بودم.

با تشکر از تیم فرادرس ، به خصوص مدرس این فرادرس


برچسب‌ها: Hausdorff | استقرای ریاضی | استنتاج در منطق مرتبه اول | استنتاج طبیعی | اصل استقرای ترامتناهی | اصل انتخاب | اصل خوش ترتیبی | اصل ماکسیمال هاوسدورف | اعداد اصلی چیست | اعداد ترتیبی | افراز | برهان خلف | برهان درستی | پارادوکس راسل | تابع دو سویی | تابع یک به یک پوشا | ترکیب توابع | تناظر یک به یک در مجموعه | جبر بول | حاصل ضرب دکارتی | رابط های منطقی | رابطه هم ارزی | قضیه کانتور | قضیه کانتور در اعداد اصلی | قواعد سورها | لم زرن | مبانی منطق | مجموعه های شمارای متناهی | مجموعه های متناهی | مجموعه های ناشمارا | مجموعه های نامتناهی | مفهوم اعداد ترتیبی | مفهوم گزاره | منطق گزاره ای | منطق گزاره‌ای | منطق مرتبه اول | نمودار ون