دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب A basis for theoretical computer science
دانلود کتاب مبنایی برای علم کامپیوتر نظری
مشخصات کتاب
A basis for theoretical computer science
ویرایش: Softcover reprint of the original 1st ed. 1981 نویسندگان: Kfoury. A. J., Arbib. Michael A., Moll. Robert N سری: Texts and Monographs in Computer Science The AKM Series in Theoretical Computer Science ISBN (شابک) : 1461394570, 1461394554 ناشر: Springer New York سال نشر: 1981 تعداد صفحات: 228 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 37,000
کلمات کلیدی مربوط به کتاب مبنایی برای علم کامپیوتر نظری: منطق ریاضی و زبان های رسمی، محاسبات با دستگاه های انتزاعی، ترکیبیات
در صورت تبدیل فایل کتاب A basis for theoretical computer science به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبنایی برای علم کامپیوتر نظری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبنایی برای علم کامپیوتر نظری
علوم کامپیوتر به دنبال ارائه یک مبنای علمی برای مطالعه پردازش اطلاعات، حل مسائل توسط الگوریتم‌ها و طراحی و برنامه‌نویسی رایانه‌ها است. در چهل سال گذشته شاهد پیشرفت روزافزون در علم، در میکروالکترونیک بوده ایم که ماشین های با پیچیدگی خیره کننده را از نظر اقتصادی امکان پذیر کرده است، در پیشرفت در روش برنامه نویسی که اجازه می دهد برنامه های عظیم با سرعت فزاینده و کاهش خطا طراحی شوند، و در توسعه تکنیک های ریاضی برای اجازه دادن به مشخصات دقیق برنامه، فرآیند و ماشین. جلد حاضر یکی از مجموعه‌ای است، سری AKM در علوم کامپیوتر نظری، که برای دسترسی آسان به پیشرفت‌های ریاضی کلیدی در علوم کامپیوتر برای دانش‌آموزان زیر دیپلم و مبتدی طراحی شده است. به طور خاص، این جلد خوانندگان با پیشینه ریاضی کم یا بدون پیشینه را فراتر از جبر دبیرستان می برد و به آنها طعم تعدادی از موضوعات در علوم کامپیوتر نظری را می دهد و در عین حال پایه ریاضی را برای مطالعه بعدی و دقیق تر موضوعاتی مانند زبان رسمی می گذارد. تئوری، نظریه محاسباتی، معناشناسی زبان برنامه نویسی، و مطالعه تأیید و صحت برنامه. فصل 1 مفاهیم اساسی نظریه مجموعه ها را با تأکید ویژه بر توابع و روابط با استفاده از یک الگوریتم ساده برای ایجاد انگیزه معرفی می کند. فصل 2 مفهوم اثبات استقرایی را ارائه می کند و به خواننده درک خوبی از یکی از مهم ترین مفاهیم علوم رایانه می دهد: تعریف بازگشتی توابع و ساختارهای داده.
توضیحاتی درمورد کتاب به خارجی
Computer science seeks to provide a scientific basis for the study of inform a tion processing, the solution of problems by algorithms, and the design and programming of computers. The last forty years have seen increasing sophistication in the science, in the microelectronics which has made machines of staggering complexity economically feasible, in the advances in programming methodology which allow immense programs to be designed with increasing speed and reduced error, and in the development of mathematical techniques to allow the rigorous specification of program, process, and machine. The present volume is one of a series, The AKM Series in Theoretical Computer Science, designed to make key mathe matical developments in computer science readily accessible to under graduate and beginning graduate students. Specifically, this volume takes readers with little or no mathematical background beyond high school algebra, and gives them a taste of a number of topics in theoretical computer science while laying the mathematical foundation for the later, more detailed, study of such topics as formal language theory, computability theory, programming language semantics, and the study of program verification and correctness. Chapter 1 introduces the basic concepts of set theory, with special emphasis on functions and relations, using a simple algorithm to provide motivation. Chapter 2 presents the notion of inductive proof and gives the reader a good grasp on one of the most important notions of computer science: the recursive definition of functions and data structures
فهرست مطالب
Front Matter....Pages i-viii
Sets, Maps, and Relations....Pages 1-30
Induction, Strings, and Languages....Pages 31-72
Counting, Recurrences, and Trees....Pages 73-110
Switching Circuits, Proofs, and Logic....Pages 111-144
Binary Relations, Lattices, and Infinity....Pages 145-174
Graphs, Matrices, and Machines....Pages 175-208
Back Matter....Pages 209-220
نظرات کاربران
کتاب های تصادفی
دانلود کتاب An Introduction to Archaeological Chemistry
دانلود کتاب Modelling our Future, Volume 16: Population Ageing, Health and Aged Care (International Symposia in Economic Theory and Econometrics) (International Symposia ... in Economic Theory and Econometrics)
