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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Finite Automata, Formal Logic, and Circuit Complexity

دانلود کتاب Automata محدود، منطق رسمی، و پیچیدگی مدار

مشخصات کتاب

Finite Automata, Formal Logic, and Circuit Complexity

دسته بندی: منطق
ویرایش: 1 
نویسندگان: Howard Straubing  
سری: Progress in Theoretical Computer Science 
ISBN (شابک) : 9780817637194, 3764337192 
ناشر: Birkhäuser Basel 
سال نشر: 1994 
تعداد صفحات: 237 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 11 مگابایت

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

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

در صورت تبدیل فایل کتاب Finite Automata, Formal Logic, and Circuit Complexity به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب Automata محدود، منطق رسمی، و پیچیدگی مدار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب Automata محدود، منطق رسمی، و پیچیدگی مدار

مطالعه ارتباط بین خودکارهای ریاضی و منطق رسمی به قدمت خود علم کامپیوتر نظری است. تورینگ در مقاله پایه‌گذاری موضوع، که در سال 1936 منتشر شد، نشان داد که چگونه می‌توان رفتار یک ماشین محاسباتی جهانی را با فرمول منطق محمول مرتبه اول توصیف کرد و از این طریق به این نتیجه رسید که هیچ الگوریتمی برای تعیین اعتبار جملات در این مورد وجود ندارد. منطق. تحقیق در مورد جنبه های منطقی نظریه اتوماتای حالت محدود، که موضوع این کتاب است، در اوایل دهه 1960 با کار جی. ریچارد بیچی در مورد منطق مرتبه دوم مونادیک آغاز شد.

توضیحاتی درمورد کتاب به خارجی

The study of the connections between mathematical automata and formal logic is as old as theoretical computer science itself. In the founding paper of the subject, published in 1936, Turing showed how to describe the behavior of a universal computing machine with a formula of first-order predicate logic, and thereby concluded that there is no algorithm for deciding the validity of sentences in this logic. Research on the logical aspects of the theory of finite-state automata, which is the subject of this book, began in the early 1960's with the work of J. Richard Biichi on monadic second-order logic.