دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic Colloquium ’03: Proceedings of the Annual European Summer
دانلود کتاب Logic Coloquium '03: مجموعه مقالات تابستان سالانه اروپا
مشخصات کتاب
Logic Colloquium ’03: Proceedings of the Annual European Summer
ویرایش:
نویسندگان: Viggo Stoltenberg-Hansen. Jouko Väänänen
سری: Lecture Notes in Logic
ISBN (شابک) : 1568812949, 9781568812946
ناشر: A K Peters/CRC Press
سال نشر: 2006
تعداد صفحات: 417
[422]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 102 Mb
قیمت کتاب (تومان) : 36,000
در صورت تبدیل فایل کتاب Logic Colloquium ’03: Proceedings of the Annual European Summer به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب Logic Coloquium '03: مجموعه مقالات تابستان سالانه اروپا نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب Logic Coloquium '03: مجموعه مقالات تابستان سالانه اروپا
مجموعه ای از مقالات ارائه شده در نشست تابستانی اروپا در سال 2003 انجمن منطق نمادین، Colloquium منطق '03 شامل آموزش ها و مقالات تحقیقاتی از برخی از منطق دانان برجسته جهان است. یک مقاله آموزشی در مورد نظریه مدل محدود و زبان های پرس و جو است که بین منطق مرتبه اول و دوم قرار دارند. مقالات دیگر موضوعات تحقیقاتی جاری در همه زمینه‌های منطق ریاضی، از جمله نظریه اثبات، نظریه مجموعه‌ها، نظریه مدل، و نظریه محاسبه‌پذیری، و فلسفه را پوشش می‌دهند.
توضیحاتی درمورد کتاب به خارجی
A compilation of papers presented at the 2003 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '03 includes tutorials and research articles from some of the world's preeminent logicians. One article is a tutorial on finite model theory and query languages that lie between first order and second order logic. The other articles cover current research topics in all areas of mathematical logic, including Proof Theory, Set Theory, Model Theory, and Computability Theory, and Philosophy.
فهرست مطالب
Content: Generalizing finite model theory / Michael Benedikt --
Indestructibility and strong compactness / Arthur W. Apter --
Some applications of regular markers / Charles M. Boykin and Steve Jackson --
Has the continuum hypothesis been settled? / Matthew Foreman --
Geometry of interaction IV : the feedback equation / Jean-Yves Girard --
On local modularity in homogeneous structures / Tapani Hyttinen --
Descriptive set theory and uncountable model theory / Michael C. Laskowski --
Decidable properties of logical calculi and of varieties of algebras / Larisa Maksimova --
Stabilization --
an alternative to double-negation translation for classical natural deduction / Ralph Matthes --
Definability and reducibility in higher types over the reals / Dag Norman --
Predicativity problems in point-free topology / Erik Palmgren --
Rank inequalities in the theory of differentially closed fields / Wai Yan Pong --
Consistency and games --
in search of new combinatorial principles / Pavel Pudlak --
Realizability for constructive Zermelo-Fraenkel set theory / Michael Rathjen --
On long EF-equivalence in non-isomorphic models / Saharon Shelah --
The [actual symbol not reproducible] theory of D([actual symbol not reproducible] V, \') is undecidable / Richard A. Shore and Theodore A. Slaman --
Cocovering and set forcing / M.C. Stanley --
Abstract versus concrete computability : the case of countable algebras / J.V. Tucker and J.I. Zucker.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب A Dangerous World? Threat Perception and U.S. National Security
دانلود کتاب The Mutineers
دانلود کتاب Expuneri, deducții și dovezi ale Criticii rațiunii pure
