دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Basic Model Theory (Center for the Study of Language and Information - Lecture Notes)
دانلود کتاب نظریه مدل پایه (مرکز مطالعات زبان و اطلاعات - یادداشت های سخنرانی)
مشخصات کتاب
Basic Model Theory (Center for the Study of Language and Information - Lecture Notes)
ویرایش: 1
نویسندگان: Kees Doets
سری:
ISBN (شابک) : 1575860481, 9781575860480
ناشر: Center for the Study of Language and Inf
سال نشر: 1996
تعداد صفحات: 74
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 43,000
در صورت تبدیل فایل کتاب Basic Model Theory (Center for the Study of Language and Information - Lecture Notes) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه مدل پایه (مرکز مطالعات زبان و اطلاعات - یادداشت های سخنرانی) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نظریه مدل پایه (مرکز مطالعات زبان و اطلاعات - یادداشت های سخنرانی)
نظریه مدل به بررسی روابط بین ساختارهای ریاضی (مدل‌ها) از یک سو و زبان‌های رسمی (که در آنها می‌توان گزاره‌هایی درباره این ساختارها فرموله کرد) از سوی دیگر می‌پردازد. ساختارهای مثال عبارتند از: اعداد طبیعی با عملیات حسابی معمول، ساختارهای آشنا از جبر، مجموعه‌های مرتب و غیره. تأکید بر زبان‌های مرتبه اول است که نظریه مدل آنها بیشتر شناخته شده است. یک نتیجه مثال قضیه L?wenheim است (قدیمی‌ترین قضیه در این زمینه): یک جمله مرتبه اول درست در مورد برخی ساختارهای غیرقابل شمارش باید در برخی ساختارهای قابل شمارش نیز وجود داشته باشد. همچنین به زبان های درجه دوم و چند قطعه از آنها پرداخته می شود. همانطور که عنوان نشان می دهد، این کتاب خواننده را با آنچه در نظریه مدل پایه است آشنا می کند. ویژگی خاص آن استفاده از بازی Ehrenfeucht است که توسط آن خواننده با دنیای مدل ها آشنا می شود.
توضیحاتی درمورد کتاب به خارجی
Model theory investigates the relationships between mathematical structures ('models') on the one hand and formal languages (in which statements about these structures can be formulated) on the other. Example structures are: the natural numbers with the usual arithmetical operations, the structures familiar from algebra, ordered sets, etc. The emphasis is on first-order languages, the model theory of which is best known. An example result is L?wenheim's theorem (the oldest in the field): a first-order sentence true of some uncountable structure must hold in some countable structure as well. Second-order languages and several of their fragments are dealt with as well. As the title indicates, this book introduces the reader to what is basic in model theory. A special feature is its use of the Ehrenfeucht game by which the reader is familiarised with the world of models.
فهرست مطالب
Title ......Page 3
Copyright ......Page 4
Contents ......Page 5
Introduction ......Page 7
1 Basic Notions ......Page 9
2.1 Isomorphism and Equivalence ......Page 19
2.2 (Elementary) Submodels ......Page 21
3.1 Finite Games ......Page 29
3.2 The Meaning of the Game ......Page 35
3.3 Applications ......Page 42
3.4 The Infinite Game ......Page 52
4.1 Compactness ......Page 59
4.2 Diagrams ......Page 63
4.3 Ultraproducts ......Page 68
4.4 Omitting Types ......Page 74
4.5 Saturation ......Page 80
4.6 Recursive Saturation ......Page 83
4.7 Applications ......Page 90
A Deduction and Completeness ......Page 101
A.1 Rules of Natural Deduction ......Page 102
A.2 Soundness ......Page 108
A.3 Completeness ......Page 109
B.2 Notations ......Page 117
B.3 Orderings ......Page 118
B.4 Ordinals ......Page 119
B.7 Inductive Definitions ......Page 120
B.8 Ramsey\'s Theorem ......Page 123
B.9 Games ......Page 124
Bibliography ......Page 127
Name Index ......Page 131
Subject Index ......Page 133
Notation ......Page 137
