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

دسترسی به اطلاعات این آموزش: اطلاعات کلی محتوا و سرفصل ها پیش نمایش و دانلود اطلاعات تکمیلی دیدگاه ها
آموزش مبانی منطق و نظریه مجموعه ها

درباره ناشر

فرادرس
فرادرس

فرادرس بزرگ‌ترین ناشر دیجیتال آموزش‌های تخصصی، دانشگاهی و مهندسی است.

درباره مدرس

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

مدرس فرادرس

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


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



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

 

👤 مدرس: مهندس منوچهر بابایی
🕓 مدت زمان: ۱۷ ساعت و ۴۱ دقیقه
🎓 تعداد دانشجو: ۶۷۱ نفر این آموزش را تهیه کرده اند. — ۱۴ نفر در یک ماه اخیر

هزینه آموزش: ۴۱,۰۰۰ تومان



آنچه شما در این فرادرس خواهید دید:
آموزش ویدئویی مورد تایید فرادرس
فایل PDF یادداشت های مدرس در حین آموزش

تضمین کیفیت و گارانتی بازگشت هزینه
توجه: کیفیت این آموزش توسط فرادرس تضمین شده است. در صورت عدم رضایت از آموزش، به انتخاب شما:
  • بازگشت و شارژ کل مبلغ پرداختی در حساب کاربری
  • و یا ۷۰ درصد مبلغ پرداختی به حساب بانکی شما بازگشت داده می شود.
    (توضیحات بیشتر +)
دانلود آنی
فعال‌سازی آنی لینک دانلود، بلافاصله پس از ثبت سفارش


    توضیحات


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

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

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

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


    پیش نیاز

    پیش نمایش

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


    توجه: ممکن است که به خاطر سرعت پایین اینترنت شما، نمایش آنلاین با کیفیت پایین تر از کیفیت HD ویدئوی اصلی نمایش داده شوند. در این صورت آموزش را دانلود کرده و سپس مشاهده نمایید.

    دانلود مستقیم پیش نمایش - حجم دانلود ۱۵ مگابایت (کلیک کنید +)

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


    توجه: ممکن است که به خاطر سرعت پایین اینترنت شما، نمایش آنلاین با کیفیت پایین تر از کیفیت HD ویدئوی اصلی نمایش داده شوند. در این صورت آموزش را دانلود کرده و سپس مشاهده نمایید.

    دانلود مستقیم پیش نمایش - حجم دانلود ۱۴ مگابایت (کلیک کنید +)

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


    توجه: ممکن است که به خاطر سرعت پایین اینترنت شما، نمایش آنلاین با کیفیت پایین تر از کیفیت HD ویدئوی اصلی نمایش داده شوند. در این صورت آموزش را دانلود کرده و سپس مشاهده نمایید.

    دانلود مستقیم پیش نمایش - حجم دانلود ۸ مگابایت (کلیک کنید +)

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


    توجه: ممکن است که به خاطر سرعت پایین اینترنت شما، نمایش آنلاین با کیفیت پایین تر از کیفیت HD ویدئوی اصلی نمایش داده شوند. در این صورت آموزش را دانلود کرده و سپس مشاهده نمایید.

    دانلود مستقیم پیش نمایش - حجم دانلود ۱۶ مگابایت (کلیک کنید +)

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


    مشاهده آنلاین و یا دانلود رایگان این پیش نمایش، نیازمند عضویت و ورود به سایت (+) است.

    پیش نمایش ۶ : منطق مرتبه اول - استنتاج در منطق مرتبه اول - ۶۵ دقیقه


    مشاهده آنلاین و یا دانلود رایگان این پیش نمایش، نیازمند عضویت و ورود به سایت (+) است.

    پیش نمایش ۷ : منطق مرتبه اول - بخش فرم نرمال پیشوندی در منطق مرتبه اول - ۸ دقیقه


    مشاهده آنلاین و یا دانلود رایگان این پیش نمایش، نیازمند عضویت و ورود به سایت (+) است.

    پیش نمایش ۸ : مفهوم مجموعه ها - قوانین پایه مجموعه‌ ها - بخش اول - ۲۲ دقیقه


    مشاهده آنلاین و یا دانلود رایگان این پیش نمایش، نیازمند عضویت و ورود به سایت (+) است.

    پیش نمایش ۹ : مفهوم مجموعه ها - قوانین پایه مجموعه‌ ها - بخش دوم - ۱۸ دقیقه


    مشاهده آنلاین و یا دانلود رایگان این پیش نمایش، نیازمند عضویت و ورود به سایت (+) است.

    پیش نمایش ۱۰ : رابطه و تابع - افراز - رابطه هم ارزی - ۱۹ دقیقه


    مشاهده آنلاین و یا دانلود رایگان این پیش نمایش، نیازمند عضویت و ورود به سایت (+) است.

    پیش نمایش ۱۱ : رابطه و تابع - تابع - ۱۹ دقیقه


    مشاهده آنلاین و یا دانلود رایگان این پیش نمایش، نیازمند عضویت و ورود به سایت (+) است.

    پیش نمایش ۱۲ : مجموعه های شمارای متناهی و ناشمارا - بخش اول - ۱۶ دقیقه


    مشاهده آنلاین و یا دانلود رایگان این پیش نمایش، نیازمند عضویت و ورود به سایت (+) است.

    پیش نمایش ۱۳ : مجموعه های شمارای متناهی و ناشمارا - بخش دوم - ۱۵ دقیقه


    مشاهده آنلاین و یا دانلود رایگان این پیش نمایش، نیازمند عضویت و ورود به سایت (+) است.

    پیش نمایش ۱۴ : مجموعه های شمارای متناهی و ناشمارا - بخش سوم - ۱۶ دقیقه


    مشاهده آنلاین و یا دانلود رایگان این پیش نمایش، نیازمند عضویت و ورود به سایت (+) است.

    پیش نمایش ۱۵ : اعداد اصلی و حساب اعداد اصلی - بخش اول - ۱۹ دقیقه


    مشاهده آنلاین و یا دانلود رایگان این پیش نمایش، نیازمند عضویت و ورود به سایت (+) است.

    پیش نمایش ۱۶ : اعداد اصلی و حساب اعداد اصلی - بخش دوم - ۱۹ دقیقه


    مشاهده آنلاین و یا دانلود رایگان این پیش نمایش، نیازمند عضویت و ورود به سایت (+) است.

    پیش نمایش ۱۷ : اصل انتخاب و صورت های هم ارز آن - ۱۵ دقیقه


    مشاهده آنلاین و یا دانلود رایگان این پیش نمایش، نیازمند عضویت و ورود به سایت (+) است.

    پیش نمایش ۱۸ : اصل ماکسیمال هاوسدورف - ۵۲ دقیقه


    مشاهده آنلاین و یا دانلود رایگان این پیش نمایش، نیازمند عضویت و ورود به سایت (+) است.

    پیش نمایش ۱۹ : اعداد ترتیبی و حساب ترتیبی - ۹ دقیقه


    مشاهده آنلاین و یا دانلود رایگان این پیش نمایش، نیازمند عضویت و ورود به سایت (+) است.




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

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


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

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

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

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

    با شروع یادگیری، یک کلیک فاصله دارید. همین حالا شروع کنید.

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

    هزینه آموزش: ۴۱,۰۰۰ تومان




    دیدگاه ها

    ( امتیاز ۴.۲ از ۵ )
    ۴.۲ از 5


    تا کنون ۶۷۱ نفراز این آموزش استفاده کرده اند و ۱۰ نظر ثبت شده است.
    1. 5 از 5

      :

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

    2. 3 از 5

      :

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

    3. 4 از 5

      :

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

    4. 4 از 5

      :

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

    5. 0 از 5

      :

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

    6. 0 از 5

      :

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

    7. 0 از 5

      :

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

    8. 0 از 5

      :

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

    9. 5 از 5

      :

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

    10. 0 از 5

      :

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

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


    نظر شما در مورد این فرادرس چیست؟

    امتیاز شما به این آموزش:




​همین امروز شروع به آموختن کنید​

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

هزینه آموزش: ۴۱,۰۰۰ تومان


برچسب‌ها: , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,



فرادرس در رسانه ها و جشنواره ها

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