مشخصات کتاب

Mathematical Logic for Computer Science

ویرایش:  
نویسندگان: Mordechai Ben-Ari PhD (auth.)  
سری:  
ISBN (شابک) : 9781852333195, 9781447103356 
ناشر: Springer London 
سال نشر: 2001 
تعداد صفحات: 310 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 10 مگابایت 

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

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

توضیحاتی در مورد کتاب منطق ریاضی برای علوم کامپیوتر



منطق ریاضی برای علوم کامپیوتر یک کتاب درسی ریاضی با قضایا و برهان است، اما انتخاب موضوعات با توجه به نیاز دانشجویان علوم کامپیوتر انجام شده است. روش تابلوهای معنایی روشی زیبا برای آموزش منطق ارائه می دهد که هم از لحاظ نظری صحیح است و هم به اندازه کافی ابتدایی برای دانشجویان کارشناسی. برای ارائه یک رفتار متوازن از منطق، تابلوها به سیستم های اثبات قیاسی مربوط می شوند.
سیستم های منطقی ارائه شده عبارتند از:
- حساب گزاره ای (شامل نمودارهای تصمیم گیری دودویی)؛
- حساب محمولی؛
- تفکیک پذیری ;
- Hoare logic;
- Z;
- منطق زمانی.
پاسخ به تمرین ها (فقط برای مربیان) و همچنین کد منبع Prolog برای الگوریتم ها را می توانید از طریق وب سایت Springer London پیدا کنید: http://www.springer.com/978-1-85233-319-5  

مردخای بن آری دانشیار گروه آموزش علوم مؤسسه علوم ویزمن است. او نویسنده کتاب های درسی متعددی در زمینه همزمانی، زبان های برنامه نویسی و منطق است و ابزارهای نرم افزاری برای آموزش همزمانی توسعه داده است. در سال 2004، بن آری جایزه ACM/SIGCSE را برای مشارکت برجسته در آموزش علوم کامپیوتر دریافت کرد.

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

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. To provide a balanced treatment of logic, tableaux are related to deductive proof systems.
The logical systems presented are:
- Propositional calculus (including binary decision diagrams);
- Predicate calculus;
- Resolution;
- Hoare logic;
- Z;
- Temporal logic.
Answers to exercises (for instructors only) as well as Prolog source code for algorithms may be found via the Springer London web site: http://www.springer.com/978-1-85233-319-5  

Mordechai Ben-Ari is an associate professor in the Department of Science Teaching of the Weizmann Institute of Science. He is the author of numerous textbooks on concurrency, programming languages and logic, and has developed software tools for teaching concurrency. In 2004, Ben-Ari received the ACM/SIGCSE Award for Outstanding Contributions to Computer Science Education.

فهرست مطالب

Front Matter....Pages i-xiv
Introduction....Pages 1-7
Propositional Calculus: Formulas, Models, Tableaux....Pages 9-41
Propositional Calculus: Deductive Systems....Pages 43-65
Propositional Calculus: Resolution and BDDs....Pages 67-100
Predicate Calculus: Formulas, Models, Tableaux....Pages 101-126
Predicate Calculus: Deductive Systems....Pages 127-138
Predicate Calculus: Resolution....Pages 139-172
Logic Programming....Pages 173-200
Programs: Semantics and Verification....Pages 201-220
Programs: Formal specification with Z....Pages 221-234
Temporal Logic: Formulas, Models, Tableaux....Pages 235-256
Temporal Logic: Deduction and Applications....Pages 257-282
Back Matter....Pages 283-304

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Teaching Science in Diverse Settings: Marginalized Discourses and Classroom Practice

دانلود کتاب The Concise Ramayana of Valmiki

دانلود کتاب Otoneurosurgery

دانلود کتاب Inside Oregon State Hospital: A History of Tragedy and Triumph

دانلود کتاب Загальна фізіологія: вступ до фізіології, фізіологія збудливих структур