آموزش مبانی منطق و برنامه نویسی منطق – پیش ثبت نام

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

درباره ناشر

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

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

درباره مدرس

گروه مدرسین فرادرس
گروه مدرسین فرادرس

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



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

👤 مدرس: گروه مدرسین فرادرس
روش دریافت: لینک دانلود و/یا ارسال فیزیکی

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

درخواست اطلاع رسانی انتشار این آموزش

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

مزایای درخواست اطلاع رسانی انتشار:

  • مطلع شدن از انتشار آموزش در اولین زمان پس از انتشار
  • دادن بیشترین اولویت انتشار به آموزش های مورد نظر خود (آموزش های با بیشترین پیش ثبت نام، با اولویت بیشتری منتشر می شوند)
  • دریافت تخفیف ویژه به هنگام انتشار، مختص افرادی که درخواست اطلاع رسانی در یک آموزش داشته اند.

Please leave this field empty.




    توضیحات

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

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

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

     

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

     

    مفید برای رشته های
    • علوم کامپیوتر
    • مهندسی کامپیوتر
    • ریاضی
    • فلسفه علم


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

    نام آموزش آموزش مبانی منطق و برنامه نویسی منطق – پیش ثبت نام
    ناشر فرادرس
    کد آموزش FVSFT95041
    زبان فارسی
    نوع آموزش آموزش ویدئویی     (کیفیت HD - مورد تایید فنی فرادرس)
    تعداد DVD یک عدد (در صورت دریافت غیر آنلاین)



    مطالب مرتبط


    دیدگاه ها

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

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

    *




درخواست اطلاع رسانی انتشار این آموزش

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

مزایای درخواست اطلاع رسانی انتشار:

  • مطلع شدن از انتشار آموزش در اولین زمان پس از انتشار
  • دادن بیشترین اولویت انتشار به آموزش های مورد نظر خود (آموزش های با بیشترین پیش ثبت نام، با اولویت بیشتری منتشر می شوند)
  • دریافت تخفیف ویژه به هنگام انتشار، مختص افرادی که درخواست اطلاع رسانی در یک آموزش داشته اند.

Please leave this field empty.



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




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

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

عضویت در خبرنامه فرادرس

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

Please leave this field empty.

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