نرم افزار: سیستم ها: محاسبات علمی

مبانی منطق ریاضی

Foundations of mathematical logic

دانلود کتاب Foundations of mathematical logic (به فارسی: مبانی منطق ریاضی) نوشته شده توسط «Haskell B. Curry»


اطلاعات کتاب مبانی منطق ریاضی

موضوع اصلی: ریاضیات

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

ناشر: Dover Publications

نویسنده: Haskell B. Curry

زبان: English

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

سال انتشار: 1977

تعداد صفحه: 417

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

کد کتاب: 0486634620 , 9780486634623

نوبت چاپ: 2 Revised

توضیحات کتاب مبانی منطق ریاضی

شرحی جامع از نظریه سازنده حساب محمول مرتبه اول. روش‌های رسمی از جمله الگوریتم‌ها و تئوری اپی، بررسی مختصر رویکرد مارکوف به الگوریتم‌ها، حقایق ابتدایی در مورد شبکه‌ها و سیستم‌های جبری مشابه و موارد دیگر را پوشش می‌دهد. فلسفی و تأملی و همچنین ریاضی. دوره تحصیلات تکمیلی. ویرایش 1963 تمرینات.<br


Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov’s approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 ed. Exercises.<br

دانلود کتاب «مبانی منطق ریاضی»

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

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.