ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Proceedings of the 10th Asian Logic Conference

دانلود کتاب مقالات کنفرانس منطق دهمین کنفرانس آسیایی

Proceedings of the 10th Asian Logic Conference

مشخصات کتاب

Proceedings of the 10th Asian Logic Conference

دسته بندی: منطق
ویرایش:  
نویسندگان: , , , , , ,   
سری:  
ISBN (شابک) : 9814293024, 9789814293020 
ناشر: World Scientific 
سال نشر: 2010 
تعداد صفحات: 400 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

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



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب Proceedings of the 10th Asian Logic Conference به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب مقالات کنفرانس منطق دهمین کنفرانس آسیایی

دهمین کنفرانس منطق آسیایی از 1 تا 6 سپتامبر 2008 در دانشگاه کوبه ژاپن برگزار شد. بودجه عمده توسط انجمن منطق نمادین، انجمن ترویج علم ژاپن، بنیاد علم Inoue و دانشگاه کوبه ارائه شده است. 121 شرکت کننده از استرالیا، اتریش، چین، کلمبیا، جمهوری چک، هند، اسرائیل، هلند، نیوزیلند، سنگاپور، کره جنوبی، اسپانیا، بریتانیا، ایالات متحده آمریکا و ژاپن ثبت نام کردند. از نویسندگان دعوت شد تا مقالاتی را برای جلد حاضر ارسال کنند. کلیه مقالات ارسالی به طور کامل داوری شدند.


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

The 10th Asian Logic Conference was held September 1-6, 2008 in Kobe University, Japan. Major funding was provided by the Association for Symbolic Logic, Japan Society for the Promotion of Science, Inoue Foundation for Science and Kobe University. There were 121 registered participants from Australia, Austria, China, Colombia, Czech Republic, India, Israel, The Netherlands, New Zealand, Singapore, South Korea, Spain, United Kingdom, USA and Japan. Authors were invited to submit papers to the present volume. All of the submitted papers were fully refereed.



فهرست مطالب

Cover ......Page 1
Preface ......Page 5
Contents ......Page 6
An Application of Nonstandard Arguments to the Study of Generic Structures (Y. Anbo) ......Page 8
Constructive Geometry (M. Beeson) ......Page 26
A Separation Result for Varieties of Brouwer's Fan Theorem (J. Berger) ......Page 92
A Term-Rewriting Characterization of PSPACE (N. Eguchi) ......Page 100
I-ultrafilters and Summable Ideals (J. Flaskova) ......Page 120
Lowness and Highness Properties for Randomness Notions (J. Franklin) ......Page 131
Countable Borel Equivalence Relations, Borel Reducibility, and Orbit Equivalence (G. Hjorth) ......Page 158
A Remark on Generic Structures and the Number of Countable Models (K. Ikeda) ......Page 220
Geometric Simplicity Theory (B. Kim) ......Page 233
Weak Weak König’s Lemma in Constructive Reverse Mathematics (T. Nemoto) ......Page 269
On Preservation and Reflection of Stationary Subsets of Pkλ When cf(λ) < κ (H. Sakai) ......Page 277
Turing Degrees and the Ershov Hierarchy (F. Stephan, Y. Yang, L. Yu) ......Page 306
Weak Randomness, Genericity and Boolean Decision Trees (T. Suzuki, M. Kumabe) ......Page 328
A Note on Multiple Inductive Definitions (K. Tanaka) ......Page 351
Isolation in the d.c.e. Degrees (G. Wu) ......Page 359
On Π11 Conservativity for Π12 Theories in Second Order Arithmetic (K. Yokoyama) ......Page 381
Around Rosy CM-TYivial Theories (I. Yoneda) ......Page 393




نظرات کاربران