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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Logic and Language Models for Computer Science

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

مشخصات کتاب

Logic and Language Models for Computer Science

دسته بندی: منطق
ویرایش:  
نویسندگان: Henry Hamburger. Dana Richards  
سری:  
ISBN (شابک) : 0130654876 
ناشر:  
سال نشر:  
تعداد صفحات: 347 
زبان: English  
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 16 مگابایت

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

کلمات کلیدی مربوط به کتاب منطق و مدلهای زبان برای علوم کامپیوتر: ریاضیات، منطق ریاضی

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

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

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

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

این متن کاوش های عمیقی را در مورد طیف وسیعی از موضوعات نظری در علوم کامپیوتر انجام می دهد. در کاربرد مفاهیم انتزاعی غوطه ور می شود تا با شک و تردید خوانندگان مقابله کند و به آنها بپردازد و قدردانی از سودمندی نظریه را در آنها القا کند. یک ارائه دو قسمتی منطق و زبان رسمی را ادغام می کند - هر دو با برنامه ها. مباحث فصل شامل مقدمات ریاضی، منطق گزاره‌ای، اثبات چیزها: چرا و چگونه، منطق محمول، اثبات با محمولات، تأیید برنامه، برنامه‌نویسی منطقی، مدل‌های زبان برای علوم کامپیوتر، مدل‌های زبان، خودکارهای متناهی و زبان‌های آنها، عبارات منظم، Lex: a می‌شود. ابزاری برای ساخت اسکنرهای واژگانی، گرامرهای بدون متن، خودکارهای فشاری و تجزیه، و ماشین‌های تورینگ. برای دانشمندان کامپیوتر آینده.

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

This text makes in-depth explorations of a broad range of theoretical topics in computer science. It plunges into the applications of the abstract concepts in order to confront and address the skepticism of readers, and instill in them an appreciation for the usefulness of theory. A two-part presentation integrates logic and formal language—both with applications. Chapter topics cover mathematical preliminaries, propositional logic, proving things: why and how, predicate logic, proving with predicates, program verification, logic programming, language models for computer science, language models, finite automata and their languages, regular expressions, Lex: a tool for building lexical scanners, context-free grammars, pushdown automata and parsing, and turing machines. For future computer scientists.