دانلود کتاب Proofs and Algorithms: An Introduction to Logic and Computability
دسته: ریاضیات کاربردی
کتاب اثبات ها و الگوریتم ها: مقدمه ای بر منطق و محاسبات نسخه زبان اصلی
دانلود کتاب اثبات ها و الگوریتم ها: مقدمه ای بر منطق و محاسبات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Proofs and Algorithms: An Introduction to Logic and Computability
نام کتاب : Proofs and Algorithms: An Introduction to Logic and Computability
ویرایش : 1
عنوان ترجمه شده به فارسی : اثبات ها و الگوریتم ها: مقدمه ای بر منطق و محاسبات
سری : Undergraduate Topics in Computer Science
نویسندگان : Gilles Dowek (auth.)
ناشر : Springer-Verlag London
سال نشر : 2011
تعداد صفحات : 168
ISBN (شابک) : 0857291203 , 9780857291219
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 954 کیلوبایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
اثبات و الگوریتم ها: مقدمه ای بر منطق و محاسبه پذیری
منطق شاخه ای از فلسفه، ریاضیات و علوم کامپیوتر است. روش‌های مورد نیاز برای تعیین درستی یک گزاره، مانند استدلال و محاسبه را مطالعه می‌کند.
اثبات و الگوریتم‌ها: مقدمه‌ای بر منطق و محاسبه‌پذیری مقدمه‌ای بر مفاهیم اساسی منطق معاصر - منطق یک اثبات، یک تابع قابل محاسبه، یک مدل و یک مجموعه. این یک سری نتایج، هم مثبت و هم منفی ارائه می‌کند - قضیه تصمیم‌ناپذیری چرچ، قضیه ناقص بودن گودل، قضیه‌ای که نیمه‌تصمیم‌پذیری اثبات‌پذیری را تایید می‌کند - که عمیقاً دید ما را از استدلال، محاسبات، و در نهایت خود حقیقت تغییر داده است.
این کتاب که برای دانشجویان مقطع کارشناسی طراحی شده است، تمام آنچه را که فیلسوفان، ریاضیدانان و دانشمندان کامپیوتر باید در مورد منطق بدانند، ارائه می دهد.
فهرست مطالب :
Front Matter....Pages I-XII
Front Matter....Pages 1-1
Predicate Logic....Pages 3-34
Models....Pages 35-52
Front Matter....Pages 53-53
Computable Functions....Pages 55-70
Computation as a Sequence of Small Steps....Pages 71-98
Front Matter....Pages 99-99
Church’s Theorem....Pages 101-115
Automated Theorem Proving....Pages 117-138
Decidable Theories....Pages 139-142
Constructivity....Pages 143-148
Epilogue....Pages 149-150
Back Matter....Pages 151-155
توضیحاتی در مورد کتاب به زبان اصلی :
Proofs and Algorithms: An Introduction to Logic and Computability
Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.
Proofs and Algorithms: An Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a proof, a computable function, a model and a set. It presents a series of results, both positive and negative, - Church's undecidability theorem, Gödel’s incompleteness theorem, the theorem asserting the semi-decidability of provability - that have profoundly changed our vision of reasoning, computation, and finally truth itself.
Designed for undergraduate students, this book presents all that philosophers, mathematicians and computer scientists should know about logic.
پست ها تصادفی