دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic And Language Models For Computer Science
دانلود کتاب منطق و مدل های زبان برای علوم کامپیوتر
مشخصات کتاب
Logic And Language Models For Computer Science
ویرایش: 3rd Edition
نویسندگان: Dana Richards. Henry Hamburger
سری:
ISBN (شابک) : 9813229209, 9789813229204
ناشر: World Scientific Publishing Co Pte Ltd
سال نشر: 2017
تعداد صفحات: 473
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 36,000
کلمات کلیدی مربوط به کتاب منطق و مدل های زبان برای علوم کامپیوتر: پردازش زبان طبیعی، هوش مصنوعی و یادگیری ماشین، علوم کامپیوتر، کامپیوتر و فناوری، برنامه نویسی بازی، برنامه نویسی، کامپیوتر و فناوری، منطق، طراحی نرم افزار، تست و مهندسی، برنامه نویسی، کامپیوتر و فناوری، زبان های برنامه نویسی، Ada، Ajax، برنامه نویسی زبان اسمبلی بورلند دلفی، سی و سی++، سی شارپ، CSS، طراحی کامپایلر، کامپایلرها، DHTML، اشکال زدایی، دلفی، فرترن، جاوا، لیسپ، پرل، پرولوگ، پایتون، RPG، روبی، سویفت، ویژوال بیسیک، XHTML، XML، XSL، کامپیوتر و فناوری، گرافیک و تجسم، علوم کامپیوتر
در صورت تبدیل فایل کتاب Logic And Language Models For Computer Science به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق و مدل های زبان برای علوم کامپیوتر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق و مدل های زبان برای علوم کامپیوتر
این متن مفاهیم رسمی زیربنای علوم کامپیوتر را ارائه می دهد. با مقدمه ای گسترده بر منطق با تأکید بر استدلال و اثبات، با فصل هایی در تأیید برنامه و Prolog شروع می شود. درمان محاسبه پذیری با Automata و زبان های رسمی از چند جهت برجسته است: بر ماهیت الگوریتمی اثبات ها و تکیه بر شبیه سازی ها تأکید می کند. این سبک بر مرکزیت غیر قطعیت در مدل‌های مولد و رابطه با مدل‌های تشخیص قطعی تأکید می‌کند. این سبک برای کلاس‌های کارشناسی و کارشناسی ارشد مناسب است.
توضیحاتی درمورد کتاب به خارجی
This text presents the formal concepts underlying Computer Science. It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog. The treatment of computability with Automata and Formal Languages stands out in several ways: it emphasizes the algorithmic nature of the proofs and the reliance on simulations; it stresses the centrality of nondeterminism in generative models and the relationship to deterministic recognition models The style is appropriate for both undergraduate and graduate classes.
