دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic, Automata, and Algorithms
دانلود کتاب منطق ، اتومات و الگوریتم ها
مشخصات کتاب
Logic, Automata, and Algorithms
ویرایش: نویسندگان: Mark A. Aiserman, Leonid A. Gusev, Lev I. Rozonoer, Irina M. Smirnova and Aleksey A. Tal' (Eds.) سری: Mathematics in Science and Engineering 79 ISBN (شابک) : 0120463504, 9780120463503 ناشر: Academic Press سال نشر: 1971 تعداد صفحات: 444 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 16 مگابایت
قیمت کتاب (تومان) : 48,000
در صورت تبدیل فایل کتاب Logic, Automata, and Algorithms به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق ، اتومات و الگوریتم ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق ، اتومات و الگوریتم ها
در این کتاب به بررسی جنبه‌های نظری و عملی روش‌های محاسباتی برای مدل‌سازی ریاضی سیستم‌های غیرخطی می‌پردازیم. تعدادی از تکنیک های محاسباتی در نظر گرفته شده است، مانند روش های تقریب اپراتور با هر دقت داده شده. تکنیک های درون یابی اپراتور از جمله درون یابی غیر لاگرانژ. روش‌های نمایش سیستم تابع محدودیت‌های مرتبط با مفاهیم علیت، حافظه و ایستایی. روش‌های نمایش سیستم با دقتی که در یک کلاس معین از مدل‌ها بهترین است. روش‌های تخمین ماتریس کوواریانس؛ روش‌هایی برای تقریب‌های ماتریس رتبه پایین. روش‌های ترکیبی مبتنی بر ترکیبی از رویه‌های تکراری و بهترین تقریب اپراتور. و روش‌هایی برای فشرده‌سازی و فیلتر کردن اطلاعات در شرایطی که یک مدل فیلتر باید محدودیت‌های مرتبط با علیت و انواع مختلف حافظه را برآورده کند. در نتیجه، این کتاب ترکیبی از روش‌های جدید در تحلیل محاسباتی عمومی و تکنیک‌های خاص، اما همچنین عمومی برای مطالعه تئوری سیستم ها و شاخه های خاص آن، مانند فیلترینگ بهینه و فشرده سازی اطلاعات. - بهترین تقریب عملگر، - درون یابی غیر لاگرانژ، - تبدیل عمومی Karhunen-Loeve - تقریب ماتریس رتبه پایین تعمیم یافته - فشرده سازی داده ها - فیلتر غیرخطی بهینه
توضیحاتی درمورد کتاب به خارجی
In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation with any given accuracy; operator interpolation techniques including a non-Lagrange interpolation; methods of system representation subject to constraints associated with concepts of causality, memory and stationarity; methods of system representation with an accuracy that is the best within a given class of models; methods of covariance matrix estimation;methods for low-rank matrix approximations; hybrid methods based on a combination of iterative procedures and best operator approximation; andmethods for information compression and filtering under condition that a filter model should satisfy restrictions associated with causality and different types of memory.As a result, the book represents a blend of new methods in general computational analysis,and specific, but also generic, techniques for study of systems theory ant its particularbranches, such as optimal filtering and information compression. - Best operator approximation,- Non-Lagrange interpolation,- Generic Karhunen-Loeve transform- Generalised low-rank matrix approximation- Optimal data compression- Optimal nonlinear filtering
فهرست مطالب
Content:
Edited by
Page iii
Copyright page
Page iv
Preface
Pages ix-x
Translator\'s Note
Page x
Introduction
Pages xi-xii
1 Elements of Mathematical Logic
Pages 1-26
2 Engineering Applications of Propositional Calculus
Pages 27-57
3 Finite Automata and Sequential Machines: Basic Concepts
Pages 58-85
4 Abstract Structure and Nets
Pages 86-115
5 Technical Embodiment of Finite Automata and Sequential Machines
Pages 116-143
6 Autonomous Finite Automata and Sequential Machines
Pages 144-158
7 Representation of Events in Finite Automata and Sequential Machines
Pages 159-186
8 Recognition of Realizability of a Given Specification. Abstract Synthesis of Finite Automata and Sequential Machines
Pages 187-218
9 Equivalence and Minimization of Sequential Machines
Pages 219-259
10 Transformation of Clock Rates of Sequential Machines
Pages 260-283
11 Determination of the Properties of Sequential Machines from Their Response to Finite Input Sequences
Pages 284-303
12 Algorithms
Pages 304-354
13 Turing Machines
Pages 355-376
Conclusion
Pages 377-385
Problems
Pages 386-408
Bibliography Review Article
Pages 409-426
Addenda to Bibliography Review Article
Pages 427-429
Index
Pages 430-433
