دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic for computers scientists
دانلود کتاب منطق برای دانشمندان کامپیوتر
مشخصات کتاب
Logic for computers scientists
ویرایش: Reprint of the 1989 ed
نویسندگان: Schöning. Uwe
سری: Modern Birkhäuser Classics
ISBN (شابک) : 9780817647629, 3764334533
ناشر: Birkhauser
سال نشر: 2008
تعداد صفحات: 179
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 47,000
کلمات کلیدی مربوط به کتاب منطق برای دانشمندان کامپیوتر: علوم، علوم کامپیوتر، ریاضیات، ادبیات اروپا، ادبیات آلمانی
در صورت تبدیل فایل کتاب Logic for computers scientists به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق برای دانشمندان کامپیوتر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق برای دانشمندان کامپیوتر
منطق با توسعه زمینه ها و کاربردهای جدید مانند اثبات قضیه خودکار و برنامه نویسی منطقی، نقش جدید و مهمی در علوم کامپیوتر به دست آورده است. روش ریاضی سنتی برخورد با منطق از برخی جهات برای علوم کامپیوتر - کاربردها طراحی نشده است. این کتاب بر چنین جنبه های علوم کامپیوتر در منطق تأکید می کند. این از مجموعه ای از سخنرانی ها در سال های 1986 و 1987 در مورد منطق علوم کامپیوتر در دانشگاه EWH در کوبلنتس آلمان به وجود آمد. هدف از این مجموعه درس این بود که به دانشجوی مقطع کارشناسی دسترسی اولیه و از لحاظ نظری کاملاً پایه‌ای به کاربردهای مدرن منطق در علوم رایانه بدهد. حداقل پایه ریاضی مورد نیاز است، مانند درک نماد و دانش در مورد تکنیک های اثبات ریاضی پایه استقرایی). دانش ریاضی پیچیده تر پیش شرط نیست این کتاب را بخوانید. آشنایی با برخی از زبان های برنامه نویسی مرسوم، پاسکال، فرض شده است. چندین نفر به طرق مختلف در روند آماده سازی نسخه اصلی آلمانی این کتاب کمک کردند: یوهانس کی اسبلر، ایولین و راینر شولر، و هرمان انگسر از بی.ای. Wissenschaftsverlag. با توجه به نسخه انگلیسی، می‌خواهم از پروفسور رونالد بوک تشکر کنم. بدون او این نسخه ترجمه شده از کتاب امکان پذیر نبود.
توضیحاتی درمورد کتاب به خارجی
By the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science. The traditional mathematical way of dealing with Logic is in some respect not tailored for Computer Science - plications. This book emphasizes such Computer Science aspects in Logic. It arose from a series of lectures in 1986 and 1987 on Computer Science Logic at the EWH University in Koblenz, Germany. The goal of this l- ture series was to give the undergraduate student an early and theoretically well-founded access to modern applications of Logic in Computer Science. A minimal mathematical basis is required, such as an understanding of the notation and knowledge about the basic mathematical proof techniques induction). More sophisticated mathematical kno- edge not a precondition read this book. Acquaintance with some conventional programming language, PASCAL, assumed. Several people helped in various ways in the preparation process of the original German version of this book: Johannes KSbler, Eveline and Rainer Schuler, and Hermann Engesser from B.I. Wissenschaftsverlag. Regarding the English version, I want to express my deep gratitude to Prof. Ronald Book. Without him, this translated version of the book would not have been possible.
فهرست مطالب
Front Matter....Pages i-xiii
Introduction....Pages 1-2
Propositional Logic....Pages 3-39
Predicate Logic....Pages 41-107
Logic Programming....Pages 109-154
Back Matter....Pages 155-166
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Waste: uncovering the global food scandal
دانلود کتاب Logo, Font Lettering Bible
دانلود کتاب Ecodefense: A Field Guide to Monkeywrenching
دانلود کتاب Zajeżdżona kobyła historii. Lechici, Polacy, Rosjanie, Żydzi, bolszewicy
