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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Elements of Finite Model Theory

دانلود کتاب عناصر نظریه مدل محدود

مشخصات کتاب

Elements of Finite Model Theory

دسته بندی: منطق
ویرایش:  
نویسندگان: Leonid Libkin  
سری:  
 
ناشر: Springer 
سال نشر: 2012 
تعداد صفحات: 326 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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

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

در صورت تبدیل فایل کتاب Elements of Finite Model Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب عناصر نظریه مدل محدود نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

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

این کتاب مقدمه‌ای بر نظریه مدل محدود است که بر ریشه‌های علم کامپیوتر این منطقه تأکید می‌کند. این کتاب علاوه بر ارائه تکنیک‌های اصلی برای تحلیل منطق‌ها بر روی مدل‌های محدود، به طور گسترده‌ای به کاربردها در پایگاه‌های داده، نظریه پیچیدگی و زبان‌های رسمی و همچنین سایر شاخه‌های علوم رایانه می‌پردازد. این شامل بازی‌های Ehrenfeucht-Fraïssé، تکنیک‌های مبتنی بر مکان، تجزیه و تحلیل پیچیدگی منطق‌ها، از جمله اصول پیچیدگی توصیفی، منطق مرتبه دوم و قطعات آن، اتصالات با خودکارهای محدود، منطق‌های نقطه ثابت، منطق‌های متغیر محدود، قوانین صفر و یک، مدل های محدود تعبیه شده، و یک تور مختصر از کاربردهای اخیراً کشف شده نظریه مدل محدود ارائه می دهد. این کتاب می‌تواند هم به‌عنوان مقدمه‌ای برای موضوع، مناسب برای دوره‌های تحصیلات تکمیلی یک یا دو ترم یا به‌عنوان مرجع برای محققانی که از تکنیک‌های منطق در علوم کامپیوتر استفاده می‌کنند، استفاده شود. فهرست مطالب: 1. مقدمه — 2. مقدمات — 3. بازی های Ehrenfeucht-Fraisse — 4. بازی های محلی و برنده — 5. ساختارهای مرتب شده — 6. پیچیدگی منطق مرتبه اول — 7. منطق و اتومات های مرتبه دوم مونادیک — 8. منطق با شمارش - 9. ماشین‌های تورینگ و مدل‌های محدود - 10. منطق نقطه ثابت و کلاس‌های پیچیدگی - 11. منطق‌های متغیر محدود - 12. قوانین صفر-یک - 13. مدل‌های محدود جاسازی شده - 14. کاربردهای دیگر مدل‌های محدود

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

The book is an introduction to finite model theory that stresses computer science origins of the area. In addition to presenting the main techniques for analyzing logics over finite models, the book deals extensively with applications in databases, complexity theory, and formal languages, as well as other branches of computer science. It covers Ehrenfeucht-Fraïssé games, locality-based techniques, complexity analysis of logics, including the basics of descriptive complexity, second-order logic and its fragments, connections with finite automata, fixed point logics, finite variable logics, zero-one laws, embedded finite models, and gives a brief tour of recently discovered applications of finite model theory. This book can be used both as an introduction to the subject, suitable for a one- or two-semester graduate course, or as reference for researchers who apply techniques from logic in computer science. Table of contents: 1. Introduction — 2. Preliminaries — 3. Ehrenfeucht-Fraisse Games — 4. Locality and Winning Games — 5. Ordered Structures — 6. Complexity of First-Order Logic — 7. Monadic Second-Order Logic and Automata — 8. Logics with Counting — 9. Turing Machines and Finite Models — 10. Fixed Point Logics and Complexity Classes — 11. Finite variable logics — 12. Zero-one laws — 13. Embedded Finite Models — 14. Other applications of finite model theory