دانلود کتاب Elements of Finite Model Theory – عناصر نظریه مدل محدود

توضیحات

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-Frass 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

————————————————————–

ترجمه ماشینی :

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

tag : دانلود کتاب عناصر نظریه مدل محدود , Download عناصر نظریه مدل محدود , دانلود عناصر نظریه مدل محدود , Download Elements of Finite Model Theory Book , عناصر نظریه مدل محدود دانلود , buy عناصر نظریه مدل محدود , خرید کتاب عناصر نظریه مدل محدود , دانلود کتاب Elements of Finite Model Theory , کتاب Elements of Finite Model Theory , دانلود Elements of Finite Model Theory , خرید Elements of Finite Model Theory , خرید کتاب Elements of Finite Model Theory ,