منطق ریاضی
نویسنده:
محمد اردشیر
مشخصات
تعداد صفحات
288
شابک
9789643636944
تاریخ ورود
1395/02/20
نوبت چاپ
9
سال چاپ
1403
تاریخ تجدید چاپ
14030514
وزن (گرم)
294
قیمت پشت جلد
275,000 تومان
کد کالا
49671
مشاهده بیشتر
درباره کتاب
کتاب حاضر نتیجهی چندین سال تدریس منطق ریاضی توسط دکتر محمد اردشیر در مقطع کارشناسی ریاضی در دانشگاه صنعتی شریف است.
نویسنده در فصل اول به توضیح منطق گزارهها، زبان و معناشناسی آنها و نطریهی برهان در این زمینه پرداخته و روشهای اصل موضوعی، استنتاج طبیعی و حساب رشتهها را مورد بررسی قرار میدهد. در فصل دوم با تجزیه و تحلیل منطق مرتبهی اول، فاکتورهایی که در فصل یک توضیح داده بود، برای این منطق هم شرح و بسط میدهد. نویسنده در فصل سوم به نظریهی مقدماتی مدلها و تعریف قضایای اساسی آن و مدلهای غیراستاندارد آنالیز و حساب میپردازد. در نهایت در فصل چهارم کتاب، منطق مرتبهی دوم و بالاتر، و معناشناسی آن در دو دستهی معناشناسی استاندارد و معناشناسی هنکین معرفی شدهاند.
این کتاب چهار فصل دارد: منطق گزارهها، منطق مرتبهی اول، نظریهی مقدماتی مدلها، منطق مرتبهی دوم و بالاتر.
منطق ریاضی در سال ۱۳۸۳ در مراسم کتاب سال، بهعنوان کتاب برگزیده معرفی شد.
بخشی از کتاب
منظورمان از منطق ریاضی، منطق ریاضی کلاسیک است. یکی از معانی «کلاسیک»، این است که هر گزارهای یا راست است و یا غلط. به عبارت دیگر، منطق کلاسیک به منطقی اطلاق میشود که دو ارزشی است. گزارههای اتمی، کوچکترین واحدهای خبری هستند که ممکن است راست باشند یا غلط. راست یا غلط بودن گزارههای اتمی، به «وضعیت امور» در جهان ارتباط دارد. گزارهی «باران میآید» را در نظر بگیرید. این گزاره، اتمیست. راست بودن این گزاره، به «وضع هوا» بستگی دارد. اگر از پنجره اتاق، بیرون را نگاه کنیم و زمین را خیس ببینیم یعنی به طریقی بدانیم که «در واقع» باران میآید، آنگاه گزاره «باران میآید» راست است.
نظرات کاربران
افزودن نظر
هنوز هیچ دیدگاهی ثبت نشده است
کالاهای مرتبط
