مقدمه ای بر مبانی تفکر ریاضی

رای دهی: 5 / 5

فعال سازی ستارهفعال سازی ستارهفعال سازی ستارهفعال سازی ستارهفعال سازی ستاره
 

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


در ادامه درس مبانی رياضیات وارد موضوعی به نام «حساب محمولات» می شويم. در اين بخش موضوعی به نام «محمول» وارد منطق رياضی می‌شود. مثلاً وقتی می گوييم «زيد، عمروا را زد» يک محمول به کار برده‌ايم که زيد و عمروا متغيرهای نمادين آن هستند. می‌توانيم اين متغيرها را به شکل ديگری نشان دهيم و بنويسيم «x ، y را زد.». اين جمله تا زمانی که به جای x و y موجوديت‌های واقعی را جايگزين نکنيم قابل ارزش‌گذاری نيست. اما همين که جايگزينی‌های لازم انجام شود می‌توان ارزش گزاره حاصل را بررسی کرد. برای آن که شکل عام‌تری برای محمول داشته باشيم و فقط به زد و خورد محدود نشويم، اجازه دهيد به جای «x، y را زد» از نماد «P(x,y)» استفاده کنيم.

محمول‌ها همانند آجرهای ساختمانی برای منطق رياضی را عمل می‌کنند. محمول‌ها با کمک سورهای عمومی و وجودی جملات و گزاره‌های جديدی را ايجاد می‌کنند که به مفاهيم آن تنوع می‌بخشد. مثلاً اگر بخواهيم بگوييم «Adolf همه را زده است.» می‌نويسيم:

∀y P(Adolf,y)

يا بخواهيم بگوييم «کسی حسن را زده است.» می نويسيم:

∃x P(x,Hassan)

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

جدول ارزشی p آنگاه q در سایت ریاضیات ایران

زمانی که وارد اين موضوع درس شدم دنبال روش می‌گشتم که ارزش اين گزاره‌ها را با استفاده از يک برنامه کامپيوتری محاسبه کنم. اين کار به آسانی حساب گزاره‌ها نبود۱ و هيچ ايده‌ی مناسبی برای اين کار نيافتم. به سراغ استاد درس رفتم و کارهای قبلی و عجز خود را مطرح کردم و از او کمک خواستم. پاسخ او برايم شگفت آور بود: «ثابت شده است که نمی‌‎توان الگوريتمی طراحی کرد که بتواند ارزش تمام گزارهای حساب محمولات را مشخص کند.»

با بزرگترين چالش فکری خود مواجه شده بودم و سوالات بی پاسخ زيادی پيش رویم قرار گرفته بود:

چرا نمی‌شود چنين الگوريتمی را طراحی کرد؟

پس رياضيدنان چگونه ارزش گزاره‌های رياضی را بدست می‌آورند؟

چگونه می‌توان «ثابت کرد» که نمی‌توان الگوريتمی را طراحی کرد؟

و ....

در ادامه بحث به دنبال جواب هایی برای اینگونه سوالات خواهیم بود. با ما همراه باشید....


۱. برای حساب گزاره‌ها برنامه‌ای نوشته بودم که ارزش گزاره‌های ترکيبی را بر اساس ارزش اجزای تشکيل دهند آن محاسبه می کرد.

نظر خود را اضافه کنید.

ارسال نظر به عنوان مهمان

0
نظر شما به دست مدیر خواهد رسید
  • هیچ نظری یافت نشد

جدیدترین محصولات

آمادگی برای امتحان ریاضی عمومی یک - روشهای انتگرالگیری آمادگی برای امتحان ریاضی عمومی یک - روشهای انتگرالگیری بازدید (23)
آمادگی برای امتحان ریاضی عمومی یک - روشه...
حل تمرین های فصل پنجم کتاب کار ریاضی هشتم خیلی سبز حل تمرین های فصل پنجم کتاب کار ریاضی هشتم خیلی سبز بازدید (82)
حل تمرین های فصل پنجم کتاب کار ریاضی هشت...
پاسخ تشریحی المپیاد علمی ریاضی پایه نهم خراسان رضوی 26 بهمن 95 مرحله اول پاسخ تشریحی المپیاد علمی ریاضی پایه نهم خراسان رضوی 26 بهمن 95 مرحله اول بازدید (138)
پاسخ تشریحی المپیاد علمی ریاضی پایه نهم ...
پاسخ تشریحی المپیاد علمی ریاضی پایه نهم خراسان رضوی 27 بهمن 94 مرحله اول پاسخ تشریحی المپیاد علمی ریاضی پایه نهم خراسان رضوی 27 بهمن 94 مرحله اول بازدید (150)
پاسخ تشریحی المپیاد علمی ریاضی پایه نهم ...
جزوه جبر یک دکتر خسروی دانشگاه صنعتی امیرکبیر 96-97 جزوه جبر یک دکتر خسروی دانشگاه صنعتی امیرکبیر 96-97 بازدید (130)
جزوه جبر یک دکتر خسروی دانشگاه صنعتی امی...

فایل های تصادفی

حل تمرین های کتاب کار ریاضی هفتم خیلی سبز  فصل چهارم حل تمرین های کتاب کار ریاضی هفتم خیلی سب... بازدید (268)
حل تمرین های کتاب کار ریاضی هفتم خیلی سب...
پاسخ تشریحی میانترم محاسبات عددی صنعتی شریف آذر 1395 پاسخ تشریحی میانترم محاسبات عددی صنعتی ش... بازدید (5753)
پاسخ تشریحی آزمون میان ترم محاسبات عددی ...
پاسخ تشریحی پایانترم ریاضی عمومی یک صنعتی شریف گروه 29 ترم اول 1394 پاسخ تشریحی پایانترم ریاضی عمومی یک صنعت... بازدید (5190)
پاسخ تشریحی پایانترم ریاضی عمومی یک صنعت...
 نخستین درس در جبر مجرد فرالی، مقدمه و فهرست مطالب نخستین درس در جبر مجرد فرالی، مقدمه و ف... بازدید (7745)
فهرست مطالب و مقدمه کتاب نخستین درس در ج...
حل تمرین های کتاب ریاضی هشتم خیلی سبز  فصل دوم حل تمرین های کتاب ریاضی هشتم خیلی سبز ف... بازدید (6626)
حل تمرین های فصل دوم کتاب کار ریاضی هشتم...

پربازدیدترین محصولات

حل المسائل کتاب نظریه مجموعه ها و کاربردهای آن (مبانی ریاضی) لین و لین حل المسائل کتاب نظریه مجموعه ها و کاربردهای آن (مبانی ریاضی) لین و لین بازدید (25407)
پاسخ سوالات و تمرینات کتاب نظریه مجموعه ...
مثلث نوشته دکتر میرزاوزیری مثلث نوشته دکتر میرزاوزیری بازدید (20202)
کتاب مثلث دکتر میرزاوزیری ، رمز فایل www...
اشتباه سوزنبان دکتر میرزاوزیری اشتباه سوزنبان دکتر میرزاوزیری بازدید (19215)
نویسنده : دکتر مجید میرزاوزیری ؛ چاپ او...
حافظه استاد، نوشته دکتر میرزاوزیری حافظه استاد، نوشته دکتر میرزاوزیری بازدید (17506)
حافظه استاد، نوشته دکتر میرزاوزیری چاپ...
آشنایی با نظریه گراف، دوگلاس بی وست آشنایی با نظریه گراف، دوگلاس بی وست بازدید (16998)
دانلود کامل کتاب آشنایی با نظریه گراف دو...
  • تهران و کرج
  • 09190-24816-0
  • این ایمیل آدرس توسط سیستم ضد اسپم محافظت شده است. شما میباید جاوا اسکریپت خود را فعال نمایید

آمار سایت

ارسال پیام برای ما

  Mail is not sent.   Your email has been sent.
بالا