goedel
گودل، اشر، باخ.. و قیطان طلایی ابدی
دانلود کتاب Goedel, Escher, Bach.. an eternal golden braid (به فارسی: گودل، اشر، باخ.. و قیطان طلایی ابدی) نوشته شده توسط «Douglas R. Hofstadter» اطلاعات کتاب گودل، اشر، باخ.. و قیطان طلایی ابدی موضوع اصلی: ابتدایی نوع: کتاب الکترونیکی ناشر: Penguin Books نویسنده: Douglas R. Hofstadter زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1979 تعداد صفحه: 491 حجم کتاب: 38 مگابایت دانلود کتاب «گودل، اشر، باخ.. و قیطان طلایی ابدی»
Goedel ’96: Proc. برنو 1996
دانلود کتاب Goedel ’96: Proc. Brno 1996 (به فارسی: Goedel ’96: Proc. برنو 1996) نوشته شده توسط «Petr Hajek» اطلاعات کتاب Goedel ’96: Proc. برنو 1996 موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Petr Hajek زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1996 تعداد صفحه: 336 حجم کتاب: 3 مگابایت کد کتاب: 9783540614340 , 3540614346 نوبت چاپ: 1 توضیحات کتاب Goedel ’96: Proc. برنو 1996 مقالات موجود در این مجموعه مقالات کنفرانس جشن نودمین سالگرد تولد کورت گودل، با منطق ریاضی، فلسفه ریاضیات و علوم کامپیوتر مرتبط است. موضوعات مربوط به آثار…
از فرگه تا گودل: کتاب منبع در منطق ریاضی، 1879-1931
دانلود کتاب From Frege to Goedel: A source book in mathematical logic, 1879-1931 (به فارسی: از فرگه تا گودل: کتاب منبع در منطق ریاضی، 1879-1931) نوشته شده توسط «Jean van Heijenoort» اطلاعات کتاب از فرگه تا گودل: کتاب منبع در منطق ریاضی، 1879-1931 موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Harvard University Press نویسنده: Jean van Heijenoort زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2002 تعداد صفحه: 671 حجم کتاب: 7 مگابایت کد کتاب: 0674324498 , 9780674324497 توضیحات کتاب از فرگه تا گودل: کتاب منبع در منطق ریاضی، 1879-1931 در این کتاب متون بنیادی…
خاطرات یک نظریه پرداز اثبات: گودل و منطق دانان دیگر
دانلود کتاب Memoirs of a proof theorist: Goedel and other logicians (به فارسی: خاطرات یک نظریه پرداز اثبات: گودل و منطق دانان دیگر) نوشته شده توسط «Gaisi Takeuti – Nicholas Passell – Mariko Yasugi» اطلاعات کتاب خاطرات یک نظریه پرداز اثبات: گودل و منطق دانان دیگر موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: World Scientific Publishing Company نویسنده: Gaisi Takeuti – Nicholas Passell – Mariko Yasugi زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2003 تعداد صفحه: 155 حجم کتاب: 1 مگابایت کد کتاب: 9789812382795 , 9789812795359 , 9812382798 نوبت چاپ: Revised توضیحات کتاب خاطرات…
دوراهی های منطقی: زندگی و کار کورت گودل
دانلود کتاب Logical dilemmas: The life and work of Kurt Goedel (به فارسی: دوراهی های منطقی: زندگی و کار کورت گودل) نوشته شده توسط «Dawson J.W.» اطلاعات کتاب دوراهی های منطقی: زندگی و کار کورت گودل موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: AK Peters نویسنده: Dawson J.W. زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2005 تعداد صفحه: 376 حجم کتاب: 6 مگابایت دانلود کتاب «دوراهی های منطقی: زندگی و کار کورت گودل»
سفری منطقی: از گودل تا فلسفه
دانلود کتاب A logical journey: from Goedel to philosophy (به فارسی: سفری منطقی: از گودل تا فلسفه) نوشته شده توسط «Hao Wang» اطلاعات کتاب سفری منطقی: از گودل تا فلسفه موضوع اصلی: فلسفه نوع: کتاب الکترونیکی ناشر: The MIT Press نویسنده: Hao Wang زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1997 تعداد صفحه: 357 حجم کتاب: 5 مگابایت کد کتاب: 9780262231893 , 0262231891 توضیحات کتاب سفری منطقی: از گودل تا فلسفه هائو وانگ (1921-1995) یکی از معدود افراد مورد اعتماد ریاضیدان و منطق دان بزرگ کورت گودل بود. یک سفر منطقی ادامه تأملات وانگ…
دوراهی های منطقی زندگی و کار کورت گودل
دانلود کتاب Logical dilemmas. The life and work of Kurt Goedel (به فارسی: دوراهی های منطقی زندگی و کار کورت گودل) نوشته شده توسط «Dawson J.W.» اطلاعات کتاب دوراهی های منطقی زندگی و کار کورت گودل موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: AK Peters نویسنده: Dawson J.W. زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2005 تعداد صفحه: 376 حجم کتاب: 9 مگابایت دانلود کتاب «دوراهی های منطقی زندگی و کار کورت گودل»
در گودل
دانلود کتاب On Goedel (به فارسی: در گودل) نوشته شده توسط «Jaakko (Jaakko Hintikka) Hintikka» اطلاعات کتاب در گودل موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Wadsworth Publishing نویسنده: Jaakko (Jaakko Hintikka) Hintikka زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1999 تعداد صفحه: 82 حجم کتاب: 3 مگابایت کد کتاب: 9780534575953 , 0534575951 نوبت چاپ: 1 توضیحات کتاب در گودل این متن مختصر به دانش‌آموزان در درک فلسفه و تفکر گودل کمک می‌کند تا بتوانند به طور کامل‌تر در گفتگوی مفید و هوشمندانه کلاس شرکت کنند و درک خود از محتوای درسی را بهبود…