کتاب الکترونیکی

نظریه اثبات ساختاری

Structural proof theory

دانلود کتاب Structural proof theory (به فارسی: نظریه اثبات ساختاری) نوشته شده توسط «Professor Sara Negri – Jan von Plato – Aarne Ranta»

اطلاعات کتاب نظریه اثبات ساختاری

موضوع اصلی: منطق

نوع: کتاب الکترونیکی

ناشر: CUP

نویسنده: Professor Sara Negri – Jan von Plato – Aarne Ranta

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2001

تعداد صفحه: 276

حجم کتاب: 2 مگابایت

کد کتاب: 9780521793070 , 0521793076

توضیحات کتاب نظریه اثبات ساختاری

نظریه برهان ساختاری شاخه ای از منطق است که ساختار کلی و ویژگی های برهان های منطقی و ریاضی را مطالعه می کند. این کتاب هم مقدمه ای مختصر بر نتایج و روش های اصلی نظریه اثبات ساختاری است و هم یک کار تحقیقاتی است که مورد توجه متخصصان قرار خواهد گرفت. این کتاب برای استفاده دانشجویان رشته های فلسفه، ریاضیات و علوم کامپیوتر طراحی شده است. یکی از ویژگی‌های خاص جلد، یک سیستم کامپیوتری برای توسعه اثبات‌ها به صورت تعاملی، قابل دانلود از وب و به‌روزرسانی منظم است.

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.

دانلود کتاب «نظریه اثبات ساختاری»

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

📖 خرید این کتاب

برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمه‌های زیر کلیک کنید تا پیام آماده برای شما ارسال شود:

پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.

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