دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic Colloquium 2000
دانلود کتاب منطق کلوکیوم 2000
مشخصات کتاب
Logic Colloquium 2000
ویرایش: نویسندگان: Rene Cori, Alexander Razborov, Stevo Todorcevic, Carol Wood (eds.) سری: Springer Lecture notes in logic 19 ISBN (شابک) : 1568812515, 1568812523 ناشر: A.K. Peters, Association for symbolic logic;A K Peters/CRC Press;A.K.Peters سال نشر: 2005 تعداد صفحات: 424 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 35,000
در صورت تبدیل فایل کتاب Logic Colloquium 2000 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق کلوکیوم 2000 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق کلوکیوم 2000
این مجموعه از مقالات ارائه شده در نشست تابستانی اروپا در سال 2000 انجمن منطق نمادین، صدمین سالگرد سخنرانی معروف هیلبرت را نشان می دهد. این جلسه که در همان سالن در لاسوربن برگزار شد، جایی که هیلبرت برای اولین بار مسائل معروف خود را ارائه کرد، اهمیت ویژه ای برای جوامع ریاضیات و منطق دارد. این ارائه ها شامل آموزش ها و مقالات تحقیقاتی از برخی از منطق دانان برجسته جهان است. سه مقاله طولانی بر اساس آموزش‌های ارائه‌شده در جلسه است، و نمایشگاه‌های قابل دسترس از توسعه تحقیقات در سه حوزه فعال منطق را ارائه می‌کند: نظریه مدل، محاسبه‌پذیری، و نظریه مجموعه‌ها. یازده مقاله بعدی موضوعات تحقیقاتی مجزا را در تمام زمینه‌های منطق ریاضی پوشش می‌دهد، از جمله: جنبه‌های علوم کامپیوتر، نظریه اثبات، نظریه مجموعه‌ها، نظریه مدل، نظریه محاسبه‌پذیری، و جنبه‌های فلسفه.
توضیحاتی درمورد کتاب به خارجی
This compilation of papers presented at the 2000 European Summer Meeting of the Association for Symbolic Logic marks the centenial anniversery of Hilbert's famous lecture. Held in the same hall at La Sorbonne where Hilbert first presented his famous problems, this meeting carries special significance to the Mathematics and Logic communities. The presentations include tutorials and research articles from some of the world's preeminent logicians. Three long articles are based on tutorials given at the meeting, and present accessible expositions of devloping research in three active areas of logic: model theory, computability, and set theory. The eleven subsequent articles cover seperate research topics in all areas of mathematical logic, including: aspects in Computer Science, Proof Theory, Set Theory, Model Theory, Computability Theory, and aspects of Philosophy
