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