gdel
سفری منطقی: از گودل تا فلسفه
دانلود کتاب A Logical Journey: From Gödel to Philosophy (به فارسی: سفری منطقی: از گودل تا فلسفه) نوشته شده توسط «Hao Wang» اطلاعات کتاب سفری منطقی: از گودل تا فلسفه موضوع اصلی: فلسفه نوع: کتاب الکترونیکی ناشر: A Bradford Book نویسنده: Hao Wang زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1997 تعداد صفحه: 432 حجم کتاب: 53 مگابایت کد کتاب: 0262231891 , 9780262231893 توضیحات کتاب سفری منطقی: از گودل تا فلسفه هائو وانگ (1921-1995) یکی از معدود افراد مورد اعتماد ریاضیدان و منطق دان بزرگ کورت گودل بود. یک سفر منطقی ادامه تأملات وانگ…
تفکر درباره گیدل و تورینگ: مقالاتی درباره پیچیدگی، 1970-2007
دانلود کتاب THINKING ABOUT GГ–DEL AND TURING: Essays on Complexity, 1970-2007 (به فارسی: تفکر درباره گیدل و تورینگ: مقالاتی درباره پیچیدگی، 1970-2007) نوشته شده توسط «Gregory J. Chaitin» اطلاعات کتاب تفکر درباره گیدل و تورینگ: مقالاتی درباره پیچیدگی، 1970-2007 موضوع اصلی: الگوریتم ها و ساختارهای داده نوع: کتاب الکترونیکی ناشر: World Scientific Publishing Company نویسنده: Gregory J. Chaitin زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2007 تعداد صفحه: 368 حجم کتاب: 3 مگابایت کد کتاب: 9789812708953 , 9812708952 توضیحات کتاب تفکر درباره گیدل و تورینگ: مقالاتی درباره پیچیدگی، 1970-2007 من این کتاب را از…
منطق محاسباتی و نظریه اثبات: سومین کنفرانس کورت گودل، KGC’93 برنو، جمهوری چک، 24 تا 27 اوت، 1993 مجموعه مقالات
دانلود کتاب Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC’93 Brno, Czech Republic, August 24–27, 1993 Proceedings (به فارسی: منطق محاسباتی و نظریه اثبات: سومین کنفرانس کورت گودل، KGC’93 برنو، جمهوری چک، 24 تا 27 اوت، 1993 مجموعه مقالات) نوشته شده توسط «Egon Börger – Dean Rosenzweig (auth.) – Georg Gottlob – Alexander Leitsch – Daniele Mundici (eds.)» اطلاعات کتاب منطق محاسباتی و نظریه اثبات: سومین کنفرانس کورت گودل، KGC’93 برنو، جمهوری چک، 24 تا 27 اوت، 1993 مجموعه مقالات موضوع اصلی: ریاضیات محاسباتی نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Egon Börger – Dean Rosenzweig (auth.)…
منطق محاسباتی و نظریه اثبات: پنجمین کنفرانس کورت گودل، KGC ’97 وین، اتریش، 25-29 اوت، 1997 مجموعه مقالات
دانلود کتاب Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC ’97 Vienna, Austria, August 25–29, 1997 Proceedings (به فارسی: منطق محاسباتی و نظریه اثبات: پنجمین کنفرانس کورت گودل، KGC ’97 وین، اتریش، 25-29 اوت، 1997 مجموعه مقالات) نوشته شده توسط «Leo Bachmair (auth.) – Georg Gottlob – Alexander Leitsch – Daniele Mundici (eds.)» اطلاعات کتاب منطق محاسباتی و نظریه اثبات: پنجمین کنفرانس کورت گودل، KGC ’97 وین، اتریش، 25-29 اوت، 1997 مجموعه مقالات موضوع اصلی: ریاضیات محاسباتی نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Leo Bachmair (auth.) – Georg Gottlob – Alexander Leitsch – Daniele Mundici (eds.)…
منطق علوم کامپیوتر: هفدهمین کارگاه بین المللی CSL 2003، دوازدهمین کنفرانس سالانه EACSL، 8th Kurt Gödel Colloquium، KGC 2003، وین، اتریش، 25-30 اوت، 2003. مجموعه مقالات
دانلود کتاب Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings (به فارسی: منطق علوم کامپیوتر: هفدهمین کارگاه بین المللی CSL 2003، دوازدهمین کنفرانس سالانه EACSL، 8th Kurt Gödel Colloquium، KGC 2003، وین، اتریش، 25-30 اوت، 2003. مجموعه مقالات) نوشته شده توسط «Parosh Aziz Abdulla – Ahmed Bouajjani – Julien d’Orso (auth.) – Matthias Baaz – Johann A. Makowsky (eds.)» اطلاعات کتاب منطق علوم کامپیوتر: هفدهمین کارگاه بین المللی CSL 2003، دوازدهمین کنفرانس سالانه EACSL، 8th Kurt Gödel Colloquium، KGC 2003، وین، اتریش،…
گودل، اشر، باخ: یک قیطان طلایی ابدی
دانلود کتاب Gödel, Escher, Bach: An Eternal Golden Braid (به فارسی: گودل، اشر، باخ: یک قیطان طلایی ابدی) نوشته شده توسط «Douglas R. Hofstadter» اطلاعات کتاب گودل، اشر، باخ: یک قیطان طلایی ابدی موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Basic Books نویسنده: Douglas R. Hofstadter زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1994 تعداد صفحه: 801 حجم کتاب: 23 مگابایت کد کتاب: 0465026850 نوبت چاپ: First Edition توضیحات کتاب گودل، اشر، باخ: یک قیطان طلایی ابدی کتاب داگلاس هافستاتر مستقیماً به ماهیت «نقشه‌ها» یا پیوندهای بین سیستم‌های رسمی می‌پردازد. با این حال، به…
منطق محاسباتی و نظریه اثبات: پنجمین کنفرانس کورت گودل، KGC ’97 وین، اتریش، 25-29 اوت، 1997 مجموعه مقالات
دانلود کتاب Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC ’97 Vienna, Austria, August 25–29, 1997 Proceedings (به فارسی: منطق محاسباتی و نظریه اثبات: پنجمین کنفرانس کورت گودل، KGC ’97 وین، اتریش، 25-29 اوت، 1997 مجموعه مقالات) نوشته شده توسط «Leo Bachmair (auth.) – Georg Gottlob – Alexander Leitsch – Daniele Mundici (eds.)» اطلاعات کتاب منطق محاسباتی و نظریه اثبات: پنجمین کنفرانس کورت گودل، KGC ’97 وین، اتریش، 25-29 اوت، 1997 مجموعه مقالات موضوع اصلی: ریاضیات محاسباتی نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Leo Bachmair (auth.) – Georg Gottlob – Alexander Leitsch – Daniele Mundici (eds.)…
منطق علوم کامپیوتر: هفدهمین کارگاه بین المللی CSL 2003، دوازدهمین کنفرانس سالانه EACSL، 8th Kurt Gödel Colloquium، KGC 2003، وین، اتریش، 25-30 اوت، 2003. مجموعه مقالات
دانلود کتاب Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings (به فارسی: منطق علوم کامپیوتر: هفدهمین کارگاه بین المللی CSL 2003، دوازدهمین کنفرانس سالانه EACSL، 8th Kurt Gödel Colloquium، KGC 2003، وین، اتریش، 25-30 اوت، 2003. مجموعه مقالات) نوشته شده توسط «Parosh Aziz Abdulla – Ahmed Bouajjani – Julien d’Orso (auth.) – Matthias Baaz – Johann A. Makowsky (eds.)» اطلاعات کتاب منطق علوم کامپیوتر: هفدهمین کارگاه بین المللی CSL 2003، دوازدهمین کنفرانس سالانه EACSL، 8th Kurt Gödel Colloquium، KGC 2003، وین، اتریش،…
تفکر در وب: برنرز لی، گودل و تورینگ
دانلود کتاب Thinking on the Web: Berners-Lee, Gödel and Turing (به فارسی: تفکر در وب: برنرز لی، گودل و تورینگ) نوشته شده توسط «H. Peter Alesso – Craig F. Smith» اطلاعات کتاب تفکر در وب: برنرز لی، گودل و تورینگ موضوع اصلی: شبکه: اینترنت نوع: کتاب الکترونیکی ناشر: Wiley-Interscience نویسنده: H. Peter Alesso – Craig F. Smith زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2006 تعداد صفحه: 292 حجم کتاب: 5 مگابایت کد کتاب: 0471768146 , 9780471768142 توضیحات کتاب تفکر در وب: برنرز لی، گودل و تورینگ * بینش ارزشمندی در مورد پیشرفت و…
گودل، اشر، باخ: یک قیطان طلایی ابدی
دانلود کتاب Gödel, Escher, Bach: An Eternal Golden Braid (به فارسی: گودل، اشر، باخ: یک قیطان طلایی ابدی) نوشته شده توسط «Douglas R. Hofstadter» اطلاعات کتاب گودل، اشر، باخ: یک قیطان طلایی ابدی موضوع اصلی: ابتدایی نوع: کتاب الکترونیکی ناشر: Basic Books نویسنده: Douglas R. Hofstadter زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1979 تعداد صفحه: 491 حجم کتاب: 10 مگابایت کد کتاب: 9780465026852 , 0465026850 نوبت چاپ: First Edition توضیحات کتاب گودل، اشر، باخ: یک قیطان طلایی ابدی بیست سال پس از اینکه در صدر جدول پرفروش‌ها قرار گرفت، اثر داگلاس آر. هافستاتر،…