کتاب الکترونیکی

منطق برای دانشمندان کامپیوتر

Logic for computer scientists

دانلود کتاب Logic for computer scientists (به فارسی: منطق برای دانشمندان کامپیوتر) نوشته شده توسط «Uwe Schöning (auth.)»


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

موضوع اصلی: منطق

نوع: کتاب الکترونیکی

ناشر: Birkhäuser Basel

نویسنده: Uwe Schöning (auth.)

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2008

تعداد صفحه: 168

حجم کتاب: 2 مگابایت

کد کتاب: 9780817634537 , 9780817647629 , 9783764334536 , 0817634533 , 0817647627 , 3764334533

نوبت چاپ: 1

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

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

سبک و دامنه کار، که با گنجاندن تمرین ها گرد می شود، باعث می شود این یک کتاب درسی عالی برای دوره کارشناسی ارشد منطق برای دانشمندان کامپیوتر است.

این یک کتاب مقدماتی کوتاه با موضوع منطق گزاره ای و مرتبه اول است. تعصب نسبت به دانشمندان کامپیوتر…. شونینگ تصمیم می گیرد روی مسائل محاسباتی تمرکز کند و یک کتاب کوتاه (کمتر از 170 صفحه) با داستانی فشرده به ما می دهد. من این کتاب را به خوبی نوشته ام با مثال ها و تمرین های زیادی (126 مورد). ارائه طبیعی است و به راحتی قابل پیگیری است…. به نظر می رسد این کتاب برای یک دوره کوتاه، یک مجموعه سمینار یا بخشی از یک دوره بزرگتر در مورد برنامه نویسی Prolog و منطق، احتمالاً در سطح پیشرفته کارشناسی مناسب است.— SIGACT News

شامل مثال‌ها و 126 تمرین جالب است که دانش‌آموز را در حالت خواندن فعال قرار می‌دهد… یک دوره کوتاه دانشگاهی خوب است که دانشجویان علوم کامپیوتر را با اثبات قضیه و برنامه‌نویسی منطقی آشنا می‌کند. — بررسی های ریاضی

این کتاب بر جنبه هایی از منطق ریاضی تمرکز دارد که با موضوعات مختلف علوم کامپیوتر، به ویژه استنتاج خودکار، برنامه نویسی منطقی، تأیید برنامه و معناشناسی برنامه نویسی ارتباط قوی دارند. زبان ها …. تمرین ها و مثال های گویای متعدد تا حد زیادی به درک بهتر مفاهیم و نتایج مختلف کمک می کند. این کتاب می تواند با موفقیت به عنوان یک کتاب راهنما برای دوره مقدماتی هوش مصنوعی مورد استفاده قرار گیرد. – Zentralblatt MATH


This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.

The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.

This is a short introductory book on the topic of propositional and first-order logic, with a bias towards computer scientists…. Schöning decides to concentrate on computational issues, and gives us a short book (less than 170 pages) with a tight storyline…. I found this a nicely written book with many examples and exercises (126 of them). The presentation is natural and easy to follow…. This book seems suitable for a short course, a seminar series, or part of a larger course on Prolog and logic programming, probably at the advanced undergraduate level.— SIGACT News

Contains examples and 126 interesting exercises which put the student in an active reading mode…. Would provide a good university short course introducing computer science students to theorem proving and logic programming.— Mathematical Reviews

This book concentrates on those aspects of mathematical logic which have strong connections with different topics in computer science, especially automated deduction, logic programming, program verification and semantics of programming languages…. The numerous exercises and illustrative examples contribute a great extent to a better understanding of different concepts and results. The book can be successfully used as a handbook for an introductory course in artificial intelligence. — Zentralblatt MATH

دانلود کتاب «منطق برای دانشمندان کامپیوتر»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.