دانلود کتاب Logic Colloquium ’03: Proceedings of the Annual European Summer
کتاب Logic Coloquium '03: مجموعه مقالات تابستان سالانه اروپا نسخه زبان اصلی
دانلود کتاب Logic Coloquium '03: مجموعه مقالات تابستان سالانه اروپا بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Logic Colloquium ’03: Proceedings of the Annual European Summer
نام کتاب : Logic Colloquium ’03: Proceedings of the Annual European Summer
عنوان ترجمه شده به فارسی : Logic Coloquium '03: مجموعه مقالات تابستان سالانه اروپا
سری : Lecture Notes in Logic
نویسندگان : Viggo Stoltenberg-Hansen, Jouko Väänänen
ناشر : A K Peters/CRC Press
سال نشر : 2006
تعداد صفحات : 422
ISBN (شابک) : 1568812949 , 9781568812946
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 102 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
مجموعه ای از مقالات ارائه شده در نشست تابستانی اروپا در سال 2003 انجمن منطق نمادین، Logic Colloquium '03 شامل آموزش ها و مقالات تحقیقاتی از برخی از منطق دانان برجسته جهان است. یک مقاله آموزشی در مورد نظریه مدل محدود و زبان های پرس و جو است که بین منطق مرتبه اول و دوم قرار دارند. مقالات دیگر موضوعات تحقیقاتی جاری در همه زمینه های منطق ریاضی، از جمله نظریه اثبات، نظریه مجموعه ها، نظریه مدل، و نظریه محاسباتی، و فلسفه را پوشش می دهند.
فهرست مطالب :
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 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.
پست ها تصادفی