دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic Colloquium ’01: Lecture Notes In Logic, 20
دانلود کتاب Logic Colloquium ’01: یادداشت های سخنرانی در منطق ، 20
مشخصات کتاب
Logic Colloquium ’01: Lecture Notes In Logic, 20
ویرایش: نویسندگان: Matthias Baaz, Sy-David Friedman, Jan Krajícek سری: ISBN (شابک) : 1568812485, 9781568812489 ناشر: A K Peters/CRC Press سال نشر: 2005 تعداد صفحات: 494 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 174 مگابایت
قیمت کتاب (تومان) : 39,000
کلمات کلیدی مربوط به کتاب Logic Colloquium ’01: یادداشت های سخنرانی در منطق ، 20: است
در صورت تبدیل فایل کتاب Logic Colloquium ’01: Lecture Notes In Logic, 20 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب Logic Colloquium ’01: یادداشت های سخنرانی در منطق ، 20 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب Logic Colloquium ’01: یادداشت های سخنرانی در منطق ، 20
مجموعه ای از مقالات ارائه شده در نشست تابستانی اروپا در سال 2001 انجمن منطق نمادین، Logic Colloquium '01 شامل نظرسنجی ها و مقالات تحقیقاتی از برخی از منطق دانان برجسته جهان است. دو مقاله طولانی بر اساس آموزش های ارائه شده در جلسه ارائه شده است و نمایشگاه های قابل دسترسی از تحقیق در دو حوزه فعال منطق، نظریه مدل هندسی و نظریه مجموعه های توصیفی کنش های گروهی را ارائه می دهد. مقالات باقی مانده موضوعات تحقیقاتی جداگانه در بسیاری از زمینه های منطق ریاضی، از جمله کاربرد در علوم کامپیوتر، نظریه اثبات، نظریه مجموعه ها، نظریه مدل، نظریه محاسبات و جنبه های فلسفه را پوشش می دهند. این مجموعه نه تنها برای متخصصان منطق ریاضی، بلکه برای منطق دانان فلسفی، مورخان منطق، دانشمندان کامپیوتر، زبان شناسان رسمی و ریاضیدانان در زمینه های جبر، تجزیه و تحلیل انتزاعی و توپولوژی نیز مورد توجه خواهد بود. تعدادی از مقالات برای افراد غیرمتخصص در نظر گرفته شده است و به عنوان معرفی خوبی برای دانشجویان تحصیلات تکمیلی عمل می کند.
توضیحاتی درمورد کتاب به خارجی
A compilation of papers presented at the 2001 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '01 includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present accessible expositions of research in two active areas of logic, geometric model theory and descriptive set theory of group actions. The remaining articles cover seperate research topics in many areas of mathematical logic, including applications in Computer Science, Proof Theory, Set Theory, Model Theory, Computability Theory, and aspects of Philosophy. This collection will be of interest not only to specialists in mathematical logic, but also to philosophical logicians, historians of logic, computer scientists, formal linguists and mathematicians in the areas of algebra, abstract analysis and topology. A number of the articles are aimed at non-specialists and serve as good introductions for graduate students.
فهرست مطالب
Content: Resolution theorem proving : a logical point of view / Alexander Leitsch --
An introduction to proofs of determinacy of long games / Itay Neeman --
Modified bar recursion and classical dependent choice / Ulrich Berger and Paulo Oliva --
Choice and uniformity in weak applicative theories / Andrea Cantini --
Compactness and incompactness phenomena in set theory / James Cummings --
Selection for Borel relations / Harvey M. Friedman --
Interpolation in goal-directed proof systems 1 / D.M. Gabbay and N. Olivetti --
Sequences of degrees associated with models of arithmetic / Julia F. Knight --
The limit theory of generic polynomials / Pascal Koiran --
Moschovakis\'s notion of meaning as applied to linguistics / Michiel van Lambalgen and Fritz Hamm --
Tameness in expansions of the real field / Chris Miller --
The model theory of compact complex spaces / Rahim N. Moosa --
\"Natural\" representations and extensions of Godel\'s second theorem / Karl-Georg Niebergall --
Effective Hausdorff dimension / Jan Reimann and Frank Stephan --
Mutual stationarity in the core model / Ralf Schindler --
The pair (N[subscript n], N[subscript 0]) may fail N[subscript 0]-compactness / Saharon Shelah --
Incompleteness theorem and its frontier / Gaisi Takeuti --
Groups in simple theories / Frank Wagner --
Provable recursiveness and complexity / S.S. Wainer.
