دانلود کتاب Advances in Proof Theory – پیشرفت در نظریه اثبات

دسته بندی :
اطلاعات کتاب
  • جلد
  • سری Progress in Computer Science and Applied Logic
  • ویرایش 1st ed.
  • سال 2016
  • نویسنده (گان) Reinhard Kahle, Thomas Strahm, Thomas Studer (eds.)
  • ناشر Birkhuser
  • زبان English
  • تعداد صفحات 430
  • حجم فایل 3.31MB
  • فرمت فایل pdf
  • شابک 3319291963, 9783319291963, 9783319291987, 331929198X
قیمت محصول :

45,000 تومان

با خرید این محصول، 2,250 تومان به کیف پول شما بازگشت داده می‌شود

روند خرید و دریافت کتاب‌ها بدون هیچ اختلالی انجام می‌شود.
تمامی فایل‌ها بر روی سرورهای داخلی میزبانی می‌شوند تا بتوانید به راحتی و در لحظه آن‌ها را دانلود کنید. در صورت بروز هرگونه مشکل یا نیاز به راهنمایی، لطفاً از طریق « صفحه تماس باما» با تیم پشتیبانی در ارتباط باشید.

تمامی کتاب های موجود در وبسایت سای وان به زبان انگلیسی میباشد
در صورتی که فرمت کتاب دریافتی mobi، azw3 ، epub یا djvu می باشد، جهت راهنمای مطالعه اینجا کلیک کنید.

توضیحات

The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday of Professor Gerhard Jger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium Advances in Proof Theory, which was held in Bern in December 2013.

Proof theory came into being in the twenties of the last century, when it was inaugurated by David Hilbert in order to secure the foundations of mathematics. It was substantially influenced by Gdel’s famous incompleteness theorems of 1930 and Gentzen’s new consistency proof for the axiom system of first order number theory in 1936. Today, proof theory is a well-established branch of mathematical and philosophical logic and one of the pillars of the foundations of mathematics. Proof theory explores constructive and computational aspects of mathematical reasoning; it is particularly suitable for dealing with various questions in computer science.

————————————————————–

ترجمه ماشینی :

هدف این جلد گردآوری مشارکت‌های اصلی توسط بهترین متخصصان از حوزه تئوری اثبات، سازندگی و محاسبات و بحث در مورد روندها و نتایج اخیر در این زمینه‌ها است. بر تحلیل ترتیبی، نظریه اثبات تقلیلی، ریاضیات صریح و فرمالیسم های نظری نوع، و محاسبات انتزاعی تأکید می شود. این جلد به شصتمین سالگرد تولد پروفسور گرهارد جیگر اختصاص دارد که در ۲۵ سال گذشته در شکل‌دهی و ترویج منطق در سوئیس نقش بسزایی داشته است. این شامل مشارکت‌هایی از سمپوزیوم Advances in Proof Theory است که در دسامبر 2013 در برن برگزار شد.

تئوری اثبات در دهه بیست قرن گذشته به وجود آمد. زمانی که توسط دیوید هیلبرت افتتاح شد تا پایه های ریاضیات را حفظ کند. این نظریه اساساً تحت تأثیر قضایای معروف ناقص بودن گلدل در سال 1930 و اثبات سازگاری جدید جنتزن برای سیستم بدیهی نظریه اعداد مرتبه اول در سال 1936 قرار گرفت. امروزه نظریه اثبات شاخه ای کاملاً تثبیت شده از منطق ریاضی و فلسفی و یکی از ارکان این نظریه است. مبانی ریاضیات نظریه اثبات جنبه های سازنده و محاسباتی استدلال ریاضی را بررسی می کند. به ویژه برای پرداختن به سوالات مختلف در علوم کامپیوتر مناسب است.

 

tag : دانلود کتاب پیشرفت در نظریه اثبات , Download پیشرفت در نظریه اثبات , دانلود پیشرفت در نظریه اثبات , Download Advances in Proof Theory Book , پیشرفت در نظریه اثبات دانلود , buy پیشرفت در نظریه اثبات , خرید کتاب پیشرفت در نظریه اثبات , دانلود کتاب Advances in Proof Theory , کتاب Advances in Proof Theory , دانلود Advances in Proof Theory , خرید Advances in Proof Theory , خرید کتاب Advances in Proof Theory ,

نقد و بررسی‌ها

هنوز بررسی‌ای ثبت نشده است.

اولین کسی باشید که دیدگاهی می نویسد “دانلود کتاب Advances in Proof Theory – پیشرفت در نظریه اثبات”