کتاب حاضر نتیجۀ چندین سال تدریس منطق ریاضی توسط دکتر محمد اردشیر در مقطع کارشناسی ریاضی در دانشگاه صنعتی شریف است.
نویسنده در فصل اول به توضیح منطق گزارهها، زبان و معناشناسی آنها و نطریهٔ برهان در این زمینه پرداخته و روشهای اصل موضوعی، استنتاج طبیعی و حساب رشتهها را مورد بررسی قرار میدهد. در فصل دوم با تجزیه و تحلیل منطق مرتبهٔ اول، فاکتورهایی که در فصل یک توضیح داده بود، برای این منطق هم شرح و بسط میدهد. نویسنده در فصل سوم به نظریهٔ مقدماتی مدلها و تعریف قضایای اساسی آن و مدلهای غیراستاندارد آنالیز و حساب میپردازد. در نهایت در فصل چهارم کتاب، منطق مرتبهٔ دوم و بالاتر، و معناشناسی آن در دو دسته ی معناشناسی استاندارد و معناشناسی هنکین معرفی شدهاند. این کتاب چهار فصل دارد: منطق گزارهها، منطق مرتبه اول، نظریه مقدماتی مدلها، منطق مرتبه دوم و بالاتر.منطق ریاضی در سال ۱۳۸۳ در مراسم کتاب سال، بهعنوان کتاب برگزیده معرفی شد.
- فروشگاه: 88675222
- ایمیل: info@hermespub.ir
- آدرس: تهران ـ خیابان ولیعصر ـ بالاتر از میدان ونک ـ بعد از برج نگار ـ پلاک 24/93
- فکس: 88790616
- تلفن تماس: 88795674
دیدگاهها
هیچ دیدگاهی برای این محصول نوشته نشده است.