کتاب الکترونیکی

نظریه مدل محدود و کاربردهای آن

Finite Model Theory and Its Applications

دانلود کتاب Finite Model Theory and Its Applications (به فارسی: نظریه مدل محدود و کاربردهای آن) نوشته شده توسط «Erich Grädel – Phokion G. Kolaitis – Leonid Libkin – Maarten Marx – Joel Spencer – Moshe Y. Vardi – Yde Venema – Scott Weinstein»

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

موضوع اصلی: منطق

نوع: کتاب الکترونیکی

ناشر: Springer

نویسنده: Erich Grädel – Phokion G. Kolaitis – Leonid Libkin – Maarten Marx – Joel Spencer – Moshe Y. Vardi – Yde Venema – Scott Weinstein

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2004

تعداد صفحه: 447

حجم کتاب: 5 مگابایت

کد کتاب: 3540004289 , 978-3-540-00428-8

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

این کتاب مروری جامع از مضامین مرکزی نظریه مدل محدود ارائه می دهد. قدرت بیان، پیچیدگی توصیفی و قوانین صفر و یک؟ همراه با برنامه های کاربردی منتخب مربوط به نظریه پایگاه داده و هوش مصنوعی، به ویژه پایگاه داده های محدودیت و مشکلات رضایت از محدودیت. فصل آخر یک مقدمه مختصر مدرن بر منطق مدال ارائه می‌کند و بر تداوم روح و تکنیک با نظریه مدل محدود تأکید می‌کند. این روح زیربنایی شامل استفاده از قطعات مختلف و سلسله مراتب در منطق های مرتبه اول، مرتبه دوم، نقطه ثابت و بی نهایت برای به دست آوردن بینش در مورد پدیده های نظریه پیچیدگی و ترکیبیات است. این کتاب بر استفاده از بازی های ترکیبی، مانند بسط و اصلاحات بازی سنگریزه Ehrenfeucht-Fraisse، به عنوان روشی قدرتمند برای تجزیه و تحلیل قدرت بیان چنین منطق هایی، و نشان می دهد که چگونه مفاهیم عمیق از نظریه مدل و ترکیبات، مانند o-حداقل و عرض درخت، به طور طبیعی در کاربرد متناهی به وجود می آیند. تئوری مدل به نظریه پایگاه داده و هوش مصنوعی. دانشجویان منطق و علوم کامپیوتر در اینجا ابزارهای لازم برای شروع تحقیق در نظریه مدل محدود را خواهند یافت و همه خوانندگان هیجان یک منطقه پر جنب و جوش از کاربرد منطق در علوم کامپیوتر را تجربه خواهند کرد.

This book gives a comprehensive overview of central themes of finite model theory ? expressive power, descriptive complexity, and zero-one laws ? together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of and hierarchies within first-order, second-order, fixed-point, and infinitary logics to gain insight into phenomena in complexity theory and combinatorics.The book emphasizes the use of combinatorial games, such as extensions and refinements of the Ehrenfeucht-Fraisse pebble game, as a powerful way to analyze the expressive power of such logics, and illustrates how deep notions from model theory and combinatorics, such as o-minimality and treewidth, arise naturally in the application of finite model theory to database theory and AI.Students of logic and computer science will find here the tools necessary to embark on research into finite model theory, and all readers will experience the excitement of a vibrant area of the application of logic to computer science.

دانلود کتاب «نظریه مدل محدود و کاربردهای آن»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان