metamathematics
فرا ریاضیات، ماشین‌ها و اثبات گودل
دانلود کتاب Metamathematics, machines and Goedel’s proof (به فارسی: فرا ریاضیات، ماشین‌ها و اثبات گودل) نوشته شده توسط «N. Shankar» اطلاعات کتاب فرا ریاضیات، ماشین‌ها و اثبات گودل موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Cambridge University Press نویسنده: N. Shankar زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1994 تعداد صفحه: 218 حجم کتاب: 2 مگابایت کد کتاب: 052142027X , 0511569882 , 9780521585330 , 9780521420273 , 9780511569883 , 0521585333 توضیحات کتاب فرا ریاضیات، ماشین‌ها و اثبات گودل تأیید خودکار بخش‌های بزرگ ریاضیات هدف بسیاری از ریاضیدانان از لایب‌نیتس تا هیلبرت بوده است. در حالی…
فراریاضیات سیستم های جبری: مقالات گردآوری شده 1936-1967
دانلود کتاب The metamathematics of algebraic systems: Collected papers 1936-1967 (به فارسی: فراریاضیات سیستم های جبری: مقالات گردآوری شده 1936-1967) نوشته شده توسط «Anatolii Ivanovic Mal’cev – transl. by Benjamin Franklin Wells – III» اطلاعات کتاب فراریاضیات سیستم های جبری: مقالات گردآوری شده 1936-1967 موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Elsevier Science نویسنده: Anatolii Ivanovic Mal’cev – transl. by Benjamin Franklin Wells – III زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1971 تعداد صفحه: 503 حجم کتاب: 4 مگابایت کد کتاب: 0720422663 , 9780720422665 دانلود کتاب «فراریاضیات سیستم های جبری: مقالات گردآوری شده…
مقدمه ای بر فرا ریاضیات
دانلود کتاب Introduction to Metamathematics (به فارسی: مقدمه ای بر فرا ریاضیات) نوشته شده توسط «S.C. Kleene» اطلاعات کتاب مقدمه ای بر فرا ریاضیات موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: North Holland نویسنده: S.C. Kleene زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1980 تعداد صفحه: 281 حجم کتاب: 62 مگابایت کد کتاب: 9780720421033 , 0720421039 نوبت چاپ: 7 توضیحات کتاب مقدمه ای بر فرا ریاضیات کتاب درسی کلین یکی از متون اساسی منطق ریاضی است. به راحتی می توان فهمید که چرا (ظاهرا) بیشترین استناد در ادبیات منطق ریاضی است. این یک مدل…
فراریاضیات حساب مرتبه اول
دانلود کتاب Metamathematics of first-order arithmetic (به فارسی: فراریاضیات حساب مرتبه اول) نوشته شده توسط «Petr Hajek – Pavel Pudlak» اطلاعات کتاب فراریاضیات حساب مرتبه اول موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Petr Hajek – Pavel Pudlak زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1998 تعداد صفحه: 481 حجم کتاب: 5 مگابایت کد کتاب: 354063648X , 9783540636489 توضیحات کتاب فراریاضیات حساب مرتبه اول مردم همیشه به اعداد، به ویژه اعداد طبیعی علاقه مند بوده اند. البته، همه ما تصور شهودی از چیستی این اعداد داریم. در اواخر قرن نوزدهم ریاضیدانانی مانند…
منطق، معناشناسی، فرا ریاضیات: مقالات 1923 تا 1938
دانلود کتاب Logic, semantics, metamathematics: Papers from 1923 to 1938 (به فارسی: منطق، معناشناسی، فرا ریاضیات: مقالات 1923 تا 1938) نوشته شده توسط «Alfred Tarski» اطلاعات کتاب منطق، معناشناسی، فرا ریاضیات: مقالات 1923 تا 1938 موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Oxford at Clarendon Press نویسنده: Alfred Tarski زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1956 تعداد صفحه: 481 حجم کتاب: 27 مگابایت نوبت چاپ: First Thus دانلود کتاب «منطق، معناشناسی، فرا ریاضیات: مقالات 1923 تا 1938»
مقدمه ای بر نظریه مدل و فراریاضیات جبر
دانلود کتاب Introduction to model theory and to the metamathematics of algebra (به فارسی: مقدمه ای بر نظریه مدل و فراریاضیات جبر) نوشته شده توسط «Abraham Robinson» اطلاعات کتاب مقدمه ای بر نظریه مدل و فراریاضیات جبر موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Izdetel’stvo Nauka نویسنده: Abraham Robinson زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1967 تعداد صفحه: 288 حجم کتاب: 2 مگابایت دانلود کتاب «مقدمه ای بر نظریه مدل و فراریاضیات جبر»
نظریه بازگشتی برای فرا ریاضیات
دانلود کتاب Recursion theory for metamathematics (به فارسی: نظریه بازگشتی برای فرا ریاضیات) نوشته شده توسط «Raymond M. Smullyan» اطلاعات کتاب نظریه بازگشتی برای فرا ریاضیات موضوع اصلی: الگوریتم ها و ساختارهای داده نوع: کتاب الکترونیکی ناشر: Oxford University Press, USA نویسنده: Raymond M. Smullyan زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1993 تعداد صفحه: 180 حجم کتاب: 8 مگابایت کد کتاب: 019508232X , 9781423734543 , 9780195082326 توضیحات کتاب نظریه بازگشتی برای فرا ریاضیات این اثر دنباله‌ای بر قضایای ناتمامیت گودل نویسنده است، اگرچه هر کسی که با قضیه ناتمام بودن گودل برای محاسبات…
در مورد فراریاضیات جبر
دانلود کتاب On the Metamathematics of Algebra (به فارسی: در مورد فراریاضیات جبر) نوشته شده توسط «Abraham Robinson» اطلاعات کتاب در مورد فراریاضیات جبر موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: North-Holland Publishing Company نویسنده: Abraham Robinson زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1951 تعداد صفحه: 199 حجم کتاب: 2 مگابایت کد کتاب: 0444533699 , 9780444533692 نوبت چاپ: NH دانلود کتاب «در مورد فراریاضیات جبر»
مقدمه ای بر نظریه مدل و فراریاضیات جبر
دانلود کتاب Introduction to model theory and to the metamathematics of algebra (به فارسی: مقدمه ای بر نظریه مدل و فراریاضیات جبر) اطلاعات کتاب مقدمه ای بر نظریه مدل و فراریاضیات جبر موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: North-Holland زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1963 تعداد صفحه: 286 حجم کتاب: 2 مگابایت نوبت چاپ: NH دانلود کتاب «مقدمه ای بر نظریه مدل و فراریاضیات جبر»
تئوری بازگشتی برای فرا ریاضیات
دانلود کتاب Recursion Theory for Metamathematics (به فارسی: تئوری بازگشتی برای فرا ریاضیات) نوشته شده توسط «Raymond M. Smullyan» اطلاعات کتاب تئوری بازگشتی برای فرا ریاضیات موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Oxford University Press نویسنده: Raymond M. Smullyan زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1993 تعداد صفحه: 175 حجم کتاب: 5 مگابایت کد کتاب: 019508232X , 9781423734543 , 9780195082326 توضیحات کتاب تئوری بازگشتی برای فرا ریاضیات این اثر دنباله‌ای بر قضایای ناقص بودن گودل نویسنده است، اگرچه هر کسی که با قضیه ناتمامیت گودل برای محاسبات پیانو آشنا باشد می‌تواند به‌طور…