برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Proof and disproof in formal logic: an introduction for programmers

دانلود کتاب اثبات و رد در منطق رسمی: مقدمه ای برای برنامه نویسان

مشخصات کتاب

Proof and disproof in formal logic: an introduction for programmers

دسته بندی: منطق
ویرایش:  
نویسندگان: Richard Bornat  
سری: Oxford texts in logic 2 
ISBN (شابک) : 9780198530268, 0198530277 
ناشر: Oxford University Press 
سال نشر: 2005 
تعداد صفحات: 263 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

قیمت کتاب (تومان) : 46,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 15

در صورت تبدیل فایل کتاب Proof and disproof in formal logic: an introduction for programmers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب اثبات و رد در منطق رسمی: مقدمه ای برای برنامه نویسان نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب اثبات و رد در منطق رسمی: مقدمه ای برای برنامه نویسان

اثبات و رد در منطق صوری مقدمه ای پر جنب و جوش و سرگرم کننده برای منطق رسمی است که بینشی عالی از نحوه عملکرد یک منطق ساده ارائه می دهد. منطق صوری به شما اجازه می دهد تا یک ادعای منطقی را بدون در نظر گرفتن معنای ادعا بررسی کنید. این ایده بسیار انتزاعی بخشی ضروری و کاربردی از علوم کامپیوتر است. ایده یک سیستم رسمی - مجموعه ای از قوانین و بدیهیات، که جهانی از اثبات های منطقی را تعریف می کند - چیزی است که به ما زبان های برنامه نویسی و برنامه نویسی امروزی می دهد. این کتاب بر استفاده از منطق به عنوان یک ابزار متمرکز است: ایجاد و استفاده از اثبات رسمی و رد ادعاهای منطقی خاص. منطقی که استفاده می کند - استنتاج طبیعی - بسیار کوچک و بسیار ساده است. کار با آن به شما کمک می کند تا ببینید چگونه جهان های بزرگ ریاضی را می توان بر روی پایه های کوچک ساخت. کتاب به چهار بخش تقسیم می‌شود: بخش اول «مبانی» مقدمه‌ای بر منطق صوری با تاریخچه‌ای کوتاه از منطق و توضیحاتی درباره برخی واژه‌های فنی ارائه می‌دهد. بخش دوم "برهان نحوی رسمی" به شما نشان می دهد که چگونه محاسبات را در یک سیستم رسمی انجام دهید که در آن شما توسط اشکال هدایت می شوید و هرگز نیازی به فکر کردن در مورد معنی ندارید. آزمایش های شما توسط Jape کمک می شود، که می تواند هم به عنوان تفتیش عقاید و هم به عنوان اوراکل عمل کند. بخش سوم \"رد صوری معنایی\" به شما نشان می‌دهد که چگونه می‌توانید نمونه‌های متقابل ریاضی بسازید تا ثابت کنید که اثبات غیرممکن است. Jape می‌تواند نمونه‌هایی را که می‌سازید بررسی کند. بخش چهارم "مشخصات و اثبات برنامه" نحوه اعمال درک منطقی خود را برای یک مسئله واقعی علم کامپیوتر، توصیف دقیق و تأیید برنامه ها توضیح می دهد. جیپ کمک می کند، تا آنجا که محاسبات اجازه می دهد. این متن برای دانش‌آموزان و فارغ‌التحصیلان علوم کامپیوتر، منطق، ریاضیات و فلسفه، شامل ارجاع و تمرین‌هایی بر اساس بسته نرم‌افزاری رایانه‌ای Jape است که یک ابزار آموزشی و پژوهشی تعاملی است که توسط نویسنده طراحی و میزبانی شده است که به‌طور رایگان در وب در دسترس است.

توضیحاتی درمورد کتاب به خارجی

Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. Formal logic allows you to check a logical claim without considering what the claim means. This highly abstracted idea is an essential and practical part of computer science. The idea of a formal system-a collection of rules and axioms, which define a universe of logical proofs-is what gives us programming languages and modern-day programming. This book concentrates on using logic as a tool: making and using formal proofs and disproofs of particular logical claims. The logic it uses-natural deduction-is very small and very simple; working with it helps you see how large mathematical universes can be built on small foundations. The book is divided into four parts: Part I "Basics" gives an introduction to formal logic with a short history of logic and explanations of some technical words. Part II "Formal Syntactic Proof" show you how to do calculations in a formal system where you are guided by shapes and never need to think about meaning. Your experiments are aided by Jape, which can operate as both inquisitor and oracle. Part III "Formal Semantic Disproof" shows you how to construct mathematical counterexamples to shoe that proof is impossible. Jape can check the counterexamples you build. Part IV " Program Specification and Proof" describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs. Jape helps, as far as arithmetic allows. Aimed at undergraduates and graduates in computer science, logic, mathematics and philosophy, the text includes reference to and exercises based on the computer software package Jape, an interactive teaching and research tool designed and hosted by the author that is freely available on the web.