دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Introduction to Languages, Machines, and Logic
دانلود کتاب مقدمه ای بر زبان ها، ماشین ها و منطق
مشخصات کتاب
Introduction to Languages, Machines, and Logic
ویرایش: 2002
نویسندگان: Alan P. Parkes
سری:
ISBN (شابک) : 1852334649, 9781852334642
ناشر: Springer
سال نشر: 2002
تعداد صفحات: 352
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 31 مگابایت
قیمت کتاب (تومان) : 53,000
در صورت تبدیل فایل کتاب Introduction to Languages, Machines, and Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مقدمه ای بر زبان ها، ماشین ها و منطق نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مقدمه ای بر زبان ها، ماشین ها و منطق
مقدمه ای خوش نوشته و در دسترس برای مهم ترین ویژگی های زبان های رسمی و تئوری خودکار. این نسخه بر مفاهیم کلیدی تمرکز دارد، مطالب بالقوه ترسناک را از طریق نمودارها و نمایش های تصویری نشان می دهد، و این نسخه شامل پوشش جدید و گسترده ای از موضوعاتی مانند: کاهش و ساده سازی مطالب در ماشین های تورینگ است. پیچیدگی و علامت O. منطق گزاره ای و منطق محمولی مرتبه اول. الگوریتم‌ها و اثبات‌ها عمدتاً به جای ریاضیدانان، دانشمندان رایانه را هدف قرار می‌دهند، به‌طور غیررسمی از طریق مثال‌ها ارائه می‌شوند و تمرین‌های متعدد (بسیاری همراه با راه‌حل) و واژه‌نامه گسترده وجود دارد.
توضیحاتی درمورد کتاب به خارجی
A well-written and accessible introduction to the most important features of formal languages and automata theory. It focuses on the key concepts, illustrating potentially intimidating material through diagrams and pictorial representations, and this edition includes new and expanded coverage of topics such as: reduction and simplification of material on Turing machines; complexity and O notation; propositional logic and first order predicate logic. Aimed primarily at computer scientists rather than mathematicians, algorithms and proofs are presented informally through examples, and there are numerous exercises (many with solutions) and an extensive glossary.
فهرست مطالب
Front Matter....Pages i-xi
Introduction....Pages 1-7
Front Matter....Pages 9-9
Elements of Formal Languages....Pages 11-36
Syntax, Semantics, and Ambiguity....Pages 37-47
Regular Languages and Finite State Recognisers....Pages 49-79
Context Free Languages and Pushdown Recognisers....Pages 81-106
Important Features of Regular and Context Free Languages....Pages 107-131
Phrase Structure Languages and Turing Machines....Pages 133-159
Front Matter....Pages 161-161
Finite State Transducers....Pages 163-178
Turing Machines as Computers....Pages 179-201
Turing’s Thesis and the Universality of the Turing Machine....Pages 203-229
Computability, Solvability, and the Halting Problem....Pages 231-248
Dimensions of Computation....Pages 249-272
Front Matter....Pages 273-273
Boolean Logic and Propositional Logic....Pages 275-290
First Order Predicate Logic....Pages 291-306
Logic and Computation....Pages 307-326
Back Matter....Pages 327-351
