godel

  • برای همیشه بلاتکلیف، راهنمای معما برای گودل

    دانلود کتاب Forever undecided, a puzzle guide to Godel (به فارسی: برای همیشه بلاتکلیف، راهنمای معما برای گودل) نوشته شده توسط «Raymond Smullyan» اطلاعات کتاب برای همیشه بلاتکلیف، راهنمای معما برای گودل موضوع اصلی: ابتدایی نوع: کتاب الکترونیکی ناشر: OUP نویسنده: Raymond Smullyan زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1987 تعداد صفحه: 269 حجم کتاب: 2 مگابایت کد کتاب: 9780394549439 , 0394549430 توضیحات کتاب برای همیشه بلاتکلیف، راهنمای معما برای گودل مجموعه ای از پازل چالش برانگیز و مقدمه ای آموزنده و سرگرم کننده بر قضایای معروف کورت گودل، از جمله ناقص بودن…

  • آثار گردآوری شده: جلد سوم: مقالات و سخنرانی‌های منتشر نشده (گودل، کورت//آثار گردآوری شده)

    دانلود کتاب Collected Works: Volume III: Unpublished essays and lectures (Godel, Kurt//Collected Works) (به فارسی: آثار گردآوری شده: جلد سوم: مقالات و سخنرانی‌های منتشر نشده (گودل، کورت//آثار گردآوری شده)) نوشته شده توسط «Kurt Gödel – S. Feferman (Editor-in-Chief) – John W. Dawson Jr. – Warren Goldfarb – Charles Parsons – R. Solovay» اطلاعات کتاب آثار گردآوری شده: جلد سوم: مقالات و سخنرانی‌های منتشر نشده (گودل، کورت//آثار گردآوری شده) موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Oxford University Press, USA نویسنده: Kurt Gödel – S. Feferman (Editor-in-Chief) – John W. Dawson Jr. – Warren Goldfarb – Charles Parsons – R. Solovay…

  • آثار گردآوری شده: جلد اول: انتشارات 1929-1936 (گودل، کورت//مجموعه آثار)

    دانلود کتاب Collected Works: Volume I: Publications 1929-1936 (Godel, Kurt//Collected Works) (به فارسی: آثار گردآوری شده: جلد اول: انتشارات 1929-1936 (گودل، کورت//مجموعه آثار)) نوشته شده توسط «Kurt Gödel – Solomon Feferman – John W. Dawson Jr. – Stephen C. Kleene – Gregory H. Moore – Robert M. Solovay – Jean van Heijenoort» اطلاعات کتاب آثار گردآوری شده: جلد اول: انتشارات 1929-1936 (گودل، کورت//مجموعه آثار) موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Oxford University Press, USA نویسنده: Kurt Gödel – Solomon Feferman – John W. Dawson Jr. – Stephen C. Kleene – Gregory H. Moore – Robert M. Solovay – Jean…

  • ناتمام بودن – اثبات و پارادوکس کورت گودل

    دانلود کتاب Incompleteness – The Proof and Paradox of Kurt Godel (به فارسی: ناتمام بودن – اثبات و پارادوکس کورت گودل) نوشته شده توسط «Rebecca Goldstein» اطلاعات کتاب ناتمام بودن – اثبات و پارادوکس کورت گودل موضوع اصلی: 1 نوع: کتاب الکترونیکی ناشر: W. W. Norton & Company نویسنده: Rebecca Goldstein زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2005 تعداد صفحه: 294 حجم کتاب: 2 مگابایت کد کتاب: 9780393051698 , 0393051692 نوبت چاپ: 1 توضیحات کتاب ناتمام بودن – اثبات و پارادوکس کورت گودل «گوهری… روایتی فراموش نشدنی از یکی از لحظات بزرگ تاریخ…

  • از فرگه تا گودل: کتاب منبع در منطق ریاضی، 1879-1931

    دانلود کتاب From Frege to Gödel: a source book in mathematical logic, 1879-1931 (به فارسی: از فرگه تا گودل: کتاب منبع در منطق ریاضی، 1879-1931) نوشته شده توسط «Jean van Heijenoort» اطلاعات کتاب از فرگه تا گودل: کتاب منبع در منطق ریاضی، 1879-1931 موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Harvard University Press نویسنده: Jean van Heijenoort زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2002 تعداد صفحه: 82 حجم کتاب: 3 مگابایت کد کتاب: 9780674324497 , 0674324498 توضیحات کتاب از فرگه تا گودل: کتاب منبع در منطق ریاضی، 1879-1931 در این کتاب متون بنیادی…

  • تفسیر عملکردی گودل گسترده

    دانلود کتاب Extensional Godel Functional Interpretation (به فارسی: تفسیر عملکردی گودل گسترده) نوشته شده توسط «Horst Luckhardt» اطلاعات کتاب تفسیر عملکردی گودل گسترده موضوع اصلی: سخنرانی ها نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Horst Luckhardt زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1973 تعداد صفحه: 166 حجم کتاب: 1 مگابایت کد کتاب: 3540061193 , 9783540061199 نوبت چاپ: 1 دانلود کتاب «تفسیر عملکردی گودل گسترده»

  • جستجوی ریشه های ریاضی، 1870-1940: منطق، نظریه مجموعه ها و مبانی ریاضیات از کانتور تا راسل تا گودل

    دانلود کتاب The search for mathematical roots, 1870-1940: logics, set theories and the foundations of mathematics from Cantor through Russell to Godel (به فارسی: جستجوی ریشه های ریاضی، 1870-1940: منطق، نظریه مجموعه ها و مبانی ریاضیات از کانتور تا راسل تا گودل) نوشته شده توسط «I. Grattan-Guinness» اطلاعات کتاب جستجوی ریشه های ریاضی، 1870-1940: منطق، نظریه مجموعه ها و مبانی ریاضیات از کانتور تا راسل تا گودل موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Princeton University Press نویسنده: I. Grattan-Guinness زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2000 تعداد صفحه: 705 حجم کتاب: 4…

  • تفکر درباره گودل و تورینگ: مقالاتی در مورد پیچیدگی، 1970-2007

    دانلود کتاب Thinking about Godel 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 نوبت چاپ: WS توضیحات کتاب تفکر درباره گودل و تورینگ: مقالاتی در مورد پیچیدگی، 1970-2007 دکتر گرگوری چایتین،…

  • تفسیر تابعی گودل گسترده: اثبات سازگاری تحلیل کلاسیک

    دانلود کتاب Extensional Godel Functional Interpretation: A Consistency Proof of Classical Analysis (به فارسی: تفسیر تابعی گودل گسترده: اثبات سازگاری تحلیل کلاسیک) نوشته شده توسط «Horst Luckhardt» اطلاعات کتاب تفسیر تابعی گودل گسترده: اثبات سازگاری تحلیل کلاسیک موضوع اصلی: تحلیل و بررسی نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Horst Luckhardt زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1973 تعداد صفحه: 166 حجم کتاب: 2 مگابایت کد کتاب: 9780387061191 , 0-387-06119-3 دانلود کتاب «تفسیر تابعی گودل گسترده: اثبات سازگاری تحلیل کلاسیک»

  • روی گودل

    دانلود کتاب On Godel (به فارسی: روی گودل) نوشته شده توسط «Hintikka Y.» اطلاعات کتاب روی گودل موضوع اصلی: 1 نوع: کتاب الکترونیکی نویسنده: Hintikka Y. زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1999 تعداد صفحه: 43 حجم کتاب: 6 مگابایت توضیحات کتاب روی گودل این متن مختصر به دانش‌آموزان در درک فلسفه و تفکر گودل کمک می‌کند تا بتوانند به طور کامل‌تر در گفتگوی مفید و هوشمندانه کلاس شرکت کنند و درک خود از محتوای درسی را بهبود بخشند. بخشی از “مجموعه فیلسوفان وادزورث” (که در نهایت شامل تقریباً 100 عنوان است، که…

بارگزاری بیشتر
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان