--- dir: rtl --- مبانی علوم ریاضی (Foundation of Mathematics) |عنوان درس یه فارسی|عنوان درس به انگلیسی|تعداد واحد (ساعت آموزش)|نوع واحد درسی|پشنیاز/همنیاز| |:-:|:-:|:-:|:-:|:-:| |مبانی علوم ریاضی| Foundation of Mathematics | ۳(۴۸ ساعت ) | پایه الزامی|ندارد|**نظری **اهداف کلی :** آشنایی با مبانی منطق، مجموعه ها، توابع و کسب مهارت برای درک مفاهیم ریاضی **اهداف ویژه:** دانشجو باید بتواند با مفاهیم پایه ای منطق و نظریه مجموعه ها کار کند. **سر فصل یا رئوس مطالب:** منطق گزاره ها و جدول ارزش. مجموعه ها و اعمال مقدماتی روی آنها. پارادوکس راسل. روابط و توابع. روابط هم ارزی و افراز. مجموعه های متناهی، شمارا و ناشمارا. اعداد اصلی. قضایای کانتور. قضایای شرودر برنشتاین. اصل انتخاب و صورت‌های معادل آن. **فهرست منابع پیشنهادی**: Halmos, Paul R. Naive set theory. Courier Dover Publications, 2017. Stewart, Ian, and David Tall. The foundations of mathematics. OUP Oxford, 2015. Lin, Shwu-Yeng T., and You-Feng Lin. Set theory with applications. Mancorp Pub, 1985.