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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Computational Logic

دانلود کتاب منطق محاسباتی

مشخصات کتاب

Computational Logic

دسته بندی: منطق
ویرایش:  
نویسندگان: Ulrich Berger. Helmut Schwichtenberg (eds.)  
سری: NATO ASI series. Series F. Computer and systems sciences, vol. 165 
ISBN (شابک) : 9783642636707, 3642636705 
ناشر: Springer 
سال نشر: 1999 
تعداد صفحات: 451 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

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

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

در صورت تبدیل فایل کتاب Computational Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

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

تحولات اخیر در علوم کامپیوتر به وضوح نیاز به یک پایه نظری بهتر برای برخی از مسائل اصلی را نشان می دهد. روش ها و نتایج منطق ریاضی، به ویژه نظریه اثبات و نظریه مدل، در اینجا کمک بزرگی هستند و در آینده بسیار بیشتر از گذشته مورد استفاده قرار خواهند گرفت. این کتاب مقدمه ای عالی برای تعامل منطق ریاضی و علوم کامپیوتر ارائه می دهد. این شامل نسخه‌های بازنگری شده گسترده‌ای از سخنرانی‌های ارائه شده در مدرسه تابستانی مارکتوبردورف در سال 1997 توسط محققان برجسته در این زمینه است.
موضوعات تحت پوشش عبارتند از: نظریه اثبات و مشخصات محاسبات (J.-Y. Girard، D. Miller)، پیچیدگی اثبات ها و برنامه ها (S. R. Buss, S. S. Wainer)، محتوای محاسباتی براهین (H. Schwichtenberg)، نظریه نوع سازنده (P. Aczel, H. Barendregt, R. L. Constable)، ریاضیات محاسباتی، (U. Martin)، منطق بازنویسی (J. Meseguer)، و معناشناسی بازی (S. Abramski)

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

Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.
Topics covered include: proof theory and specification of computation (J.-Y. Girard, D. Miller), complexity of proofs and programs (S. R. Buss, S. S. Wainer), computational content of proofs (H. Schwichtenberg), constructive type theory (P. Aczel, H. Barendregt, R. L. Constable), computational mathematics, (U. Martin), rewriting logic (J. Meseguer), and game semantics (S. Abramski)

فهرست مطالب

Front Matter....Pages i-vii
Game Semantics....Pages 1-55
Notes on the Simply Typed Lambda Calculus....Pages 57-97
Problems in Type Theory....Pages 99-111
Formal Correctness Proofs of Functional Programs: Dijkstra’s Algorithm, a Case Study....Pages 113-126
Propositional Proof Complexity an Introduction....Pages 127-178
Formalizing Decidability Theorems About Automata....Pages 179-213
On the Meaning of Logical Rules I: Syntax Versus Semantics....Pages 215-272
Complexity of Primitive Recursion....Pages 273-300
Computers, Reasoning and Mathematical Practice....Pages 301-346
Research Directions in Rewriting Logic....Pages 347-398
Sequent Calculus and the Specification of Computation....Pages 399-444
Back Matter....Pages 445-448