منطق ریاضی؛ ویراست دوم

نویسنده: محمد اردشیر
مترجم:
‏موضوع: علوم و فنون
‏مشخصات نشر: تهران، هرمس

 

 

۲۷۵,۰۰۰ تومان

موجود در انبار

جزئیات کتاب

نوبت چاپ:

9

تعداد صفحات:

304صفحه

نوع جلد:

شومیز

نوع کاغذ:

بالک

قطع:

رقعی

شابک:

978-964-363-694-4

سال چاپ:

1403

درباره نویسنده

محمد اردشیر

محمد اردشیر

محمد اردشیر بهرستاقی زادۀ ۱۳۳۵ استاد تمام دانشکدهٔ ریاضی دانشگاه صنعتی شریف و پژوهشگر منطق و ریاضیات شهودگرا است.

کتاب حاضر نتیجۀ چندین ‌سال تدریس منطق ریاضی توسط دکتر محمد اردشیر در مقطع کارشناسی ریاضی در دانشگاه صنعتی شریف است.
نویسنده در فصل اول به توضیح منطق گزاره‌ها، زبان و معناشناسی آن‌ها و نطریهٔ برهان در این زمینه پرداخته و روش‌های اصل موضوعی، استنتاج طبیعی و حساب رشته‌ها را مورد بررسی قرار می‌دهد. در فصل دوم با تجزیه و تحلیل منطق مرتبهٔ اول، فاکتورهایی که در فصل یک توضیح داده بود، برای این منطق هم شرح و بسط می‌دهد. نویسنده در فصل سوم به نظریهٔ مقدماتی مدل‌ها و تعریف قضایای اساسی آن و مدل‌های غیراستاندارد آنالیز و حساب می‌پردازد. در نهایت در فصل چهارم کتاب، منطق مرتبهٔ دوم و بالاتر، و معناشناسی آن در دو دسته ی معناشناسی استاندارد و معناشناسی هنکین معرفی شده‌اند. این کتاب چهار فصل دارد: منطق گزاره‌ها، منطق مرتبه اول، نظریه مقدماتی مدل‌ها، منطق مرتبه دوم و بالاتر.منطق ریاضی در سال ۱۳۸۳ در مراسم کتاب سال، به‌عنوان کتاب برگزیده معرفی شد.

دیدگاهها

هیچ دیدگاهی برای این محصول نوشته نشده است.

اولین نفری باشید که دیدگاهی را ارسال می کنید برای “منطق ریاضی؛ ویراست دوم”

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *