ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Introduction to Languages, Machines, and Logic

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

Introduction to Languages, Machines, and Logic

مشخصات کتاب

Introduction to Languages, Machines, and Logic

ویرایش: 2002 
نویسندگان:   
سری:  
ISBN (شابک) : 1852334649, 9781852334642 
ناشر: Springer 
سال نشر: 2002 
تعداد صفحات: 352 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 31 مگابایت 

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



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب 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




نظرات کاربران