ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Fragments of Fixpoint Logics. Automata and Expressiveness [PhD Thesis]

دانلود کتاب قطعاتی از Fixpoint Logics. خودکار و بیان [پایان نامه دکتری]

Fragments of Fixpoint Logics. Automata and Expressiveness [PhD Thesis]

مشخصات کتاب

Fragments of Fixpoint Logics. Automata and Expressiveness [PhD Thesis]

ویرایش:  
نویسندگان:   
سری: ILLC Dissertation Series DS-2015-05 
ISBN (شابک) : 9789064649196 
ناشر: University of Amsterdam 
سال نشر: 2015 
تعداد صفحات: 270 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 Mb 

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



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

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


در صورت تبدیل فایل کتاب Fragments of Fixpoint Logics. Automata and Expressiveness [PhD Thesis] به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب قطعاتی از Fixpoint Logics. خودکار و بیان [پایان نامه دکتری] نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب قطعاتی از Fixpoint Logics. خودکار و بیان [پایان نامه دکتری]

"این پایان نامه به بررسی قدرت بیان نسبی و ویژگی های چندین منطق ثابت و مرتبه دوم می پردازد. ما از اصطلاح منطق نقطه ثابت به معنای گسترده استفاده می کنیم و به هر منطقی اشاره می کنیم که بتواند نوعی بازگشت، تکرار یا تکرار را رمزگذاری کند. هدف اصلی ما این است. برای شناسایی سیستماتیک چندین منطق مهم به عنوان قطعات دقیق دیگر منطق های شناخته شده.به منظور انجام این کار، ما ابزارهای نظری خودکار برای تجزیه و تحلیل این قطعات را توسعه می دهیم.نتایج این پایان نامه بینش جدیدی را در مورد رابطه نقطه ثابت و دوم ارائه می دهد. منطق سفارش را ارائه می دهد و شواهد بیشتری از اتصال منطقی-اتوماتیک موفق را ارائه می دهد."-- Samenvatting auteur.


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

"This dissertation studies the relative expressive power and properties of several fixpoint and second-order logics. We use the term fixpoint logic in a broad sense, referring to any logic which can encode some type of recursion, iteration or repetition. Our main objective is to systematically identify several important logics as precise fragments of other well-known logics. In order to accomplish this task, we develop automata-theoretic tools to analyze these fragments. The results of this dissertation provide new insight on the relationship of fixpoint and second-order logic and provides further evidence of the successful logic-automata connection."--Samenvatting auteur.





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