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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

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

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

مشخصات کتاب

Finite Model Theory

دسته بندی: منطق
ویرایش: 1st 
نویسندگان: Heinz-Dieter Ebbinghaus. Jörg Flum  
سری: Perspectives in Mathematical Logic 
ISBN (شابک) : 9783662031841, 9783662031827 
ناشر: Springer 
سال نشر: 1995 
تعداد صفحات: 336 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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

کلمات کلیدی مربوط به کتاب نظریه مدل محدود: منطق و مبانی ریاضی، تحلیل الگوریتم و پیچیدگی مسئله، منطق ریاضی و زبان های رسمی

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

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

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

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

این اولین نسخه است. ویرایش دوم در مجموعه "تنگنگهای اسپرینگر در ریاضیات" در سال 2005 منتشر شد. شاخه ای از نظریه مدل که در کتاب حاضر توضیح داده شده و نظریه مدل محدود نامیده می شود، ریشه در نظریه مدل کلاسیک دارد، اما توسعه سیستماتیک خود را مدیون تحقیق از نظریه پیچیدگی است. نظریه مدل یا نظریه مدل ها، همانطور که برای اولین بار توسط تارسکی در سال 1954 نامگذاری شد، ممکن است به عنوان بخشی از معناشناسی زبان های f.Qrmalized در نظر گرفته شود که از یک سو به تعامل بین ساختار نحوی یک سیستم بدیهی مربوط می شود. و (جبری، نظریه مجموعه ها، ...) ویژگی های مدل های آن از سوی دیگر. همانطور که مشخص شد، زبان مرتبه اول (ما بیشتر از منطق مرتبه اول صحبت می کنیم) برجسته ترین زبان در این زمینه شد، دلیل آن این است که از برخی اصول اساسی مانند قضیه فشردگی و قضیه کامل بودن پیروی می کند. این اصول ابزارهای نظری مدل با ارزشی هستند و در عین حال ضعف بیانی منطق مرتبه اول را منعکس می کنند. این ضعف بستری برای آزادی است که روش‌های نظری مدل بر آن تکیه می‌کنند.

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

This is the first edition. The second edition was published in the "Springer Monographs in Mathematics" series in 2005. The branch of model theory described in the present book and called finite model theory has its roots in classical model theory but owes its systematic development to research from complexity theory. Model theory or the theory of models, as it was first named by Tarski in 1954, may be considered as the part of the semantics of f.Qrmalized languages that is concerned with the interplay between the syntactic structure of an axiom system on the one hand and (algebraic, set-theoretic, ... ) properties of its models on the other hand. As it turned out, first-order language (we mostly speak of first-order logic) became the most prominent language in this respect, the reason being that it obeys some fundamental principles such as the compactness theorem and the completeness theorem. These principles are valuable modeltheoretic tools and, at the same time, reflect the expressive weakness of first-order logic. This weakness is the breeding ground for the freedom which modeltheoretic methods rest upon.

فهرست مطالب

Front Matter....Pages I-XV
Preliminaries....Pages 1-12
The Ehrenfeucht-Fraïssé Method....Pages 13-35
More on Games....Pages 37-70
0–1 Laws....Pages 71-96
Satisfiability in the Finite....Pages 97-105
Finite Automata and Logic: A Microcosm of Finite Model Theory....Pages 107-118
Descriptive Complexity Theory....Pages 119-163
Logics with Fixed-Point Operators....Pages 165-234
Logic Programs....Pages 235-264
Optimization Problems....Pages 265-274
Quantifiers and Logical Reductions....Pages 275-311
Back Matter....Pages 313-327