کتاب منطق ریاضی محمد اردشیر

کتاب منطق ریاضی محمد اردشیر

کتاب منطق ریاضی.اثری است به قلم یکی از اساتید برجسته ی دانشگاه صنعتی شریف که حاصل سال ها تدریس خود را در زمینه ی منطق ریاضی در دوره ی کارشناسی این دانشگاه، در قالب یک کتاب به رشته ی تحریر درآورده است. محمد اردشیراظهار داشته که برای تدریس واحد منطق ریاضی اساسا از دو کتاب عمده بهره می برده اما تجربه ی سال های تدریس او را واداشت که خود آستین همت را بالا زده و دست به تالیف اثری بزند که این تجربیات و اصول به دست آمده را نیز در زمینه ی منطق ریاضی شامل شود. وی در این کتاب ابتدا به توضیح منطق گزاره ها، زبان و معناشناسی آن ها و نطریه ی برهان در این زمینه پرداخته و روش های اصل موضوعی، استنتاج طبیعی و حساب رشته ها را مورد بررسی قرار می دهد. سپس با تجزیه و تحلیل منطق مرتبه ی اول، فاکتورهایی که در فصل یک توضیح داده بود، برای این منطق هم شرح و بسط می دهد. نویسنده در ادامه به نظریه ی مقدماتی مدل ها اشاره کرده و ضمن تعریف قضایای اساسی آن و مدل های غیراستاندارد آنالیز و حساب، این فصل را نیز به پایان می برد. در نهایت در فصل چهارم کتاب "منطق ریاضی" از "محمد اردشیر"، منطق مرتبه ی دوم و بالاتر، و معناشناسی آن در دو دسته ی معناشناسی استاندارد و معناشناسی هنکین معرفی شده و ضمن تعریف منطق مرتبه ی دوم و نظریه ی مجموعه ها، نویسنده ی اثر، خواننده را در گزینش منطق صحیح راهنمایی می نماید. این اثر، چکیده ی مطالب موردنیاز را برای خوانندگان به همراه دارد و در انتهای هر فصل تمریناتی برای تثبیت مطلب قرار گرفته است

کتاب حاضر اثر محمد اردشیر میباشد و توسط هرمس به چاپ رسیده است. شما میتوانید این کتاب را هم اکنون از فروشگاه کتابیار سفارش دهید و با پست پیشتاز در سراسر کشور تحویل بگیرید.

برای مشاهده سایر کتاب های ریاضی کلیک کنید