دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش:
نویسندگان: Facundo Matias Carreiro
سری: ILLC Dissertation Series DS-2015-05
ISBN (شابک) : 9789064649196
ناشر: University of Amsterdam
سال نشر: 2015
تعداد صفحات: 270
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 Mb
در صورت تبدیل فایل کتاب Fragments of Fixpoint Logics. Automata and Expressiveness [PhD Thesis] به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب قطعاتی از 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.