ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Logic, Automata, and Algorithms

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

Logic, Automata, and Algorithms

مشخصات کتاب

Logic, Automata, and Algorithms

ویرایش:  
نویسندگان: , , ,   
سری: Mathematics in Science and Engineering 79 
ISBN (شابک) : 0120463504, 9780120463503 
ناشر: Academic Press 
سال نشر: 1971 
تعداد صفحات: 444 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 16 مگابایت 

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



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

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


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





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