دانلود کتاب Logic and Language Models for Computer Science
49,000 تومان
مدل های منطق و زبان برای علوم کامپیوتر
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Prentice Hall |
| تعداد صفحه | 347 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 0130654876,9780130654878 |
| نویسنده | Dana Richards, Henry Hamburger |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 2002 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
مدل های منطق و زبان برای علوم کامپیوتر
این متن کاوش های عمیقی را در مورد طیف وسیعی از موضوعات نظری در علوم کامپیوتر انجام می دهد. در کاربردهای مفاهیم انتزاعی غوطه ور می شود تا با شک و تردید خوانندگان مقابله کند و به آنها بپردازد و قدردانی از سودمندی نظریه را در آنها القا کند. یک ارائه دو قسمتی منطق و زبان رسمی را ادغام می کند – هر دو با برنامه ها. مباحث فصل شامل مقدمات ریاضی، منطق گزارهای، اثبات چیزها: چرا و چگونه، منطق محمول، اثبات با محمولات، تأیید برنامه، برنامهنویسی منطقی، مدلهای زبان برای علوم کامپیوتر، مدلهای زبان، خودکارهای متناهی و زبانهای آنها، عبارات منظم، 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.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.