ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Foundations of mathematical logic

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

Foundations of mathematical logic

مشخصات کتاب

Foundations of mathematical logic

دسته بندی: ریاضیات
ویرایش: 2 Revised 
نویسندگان:   
سری:  
ISBN (شابک) : 0486634620, 9780486634623 
ناشر: Dover Publications 
سال نشر: 1977 
تعداد صفحات: 417 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

قیمت کتاب (تومان) : 30,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 26


در صورت تبدیل فایل کتاب Foundations of mathematical logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مبانی منطق ریاضی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


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

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


توضیحاتی درمورد کتاب به خارجی

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.



فهرست مطالب

Preface
Explanation of Conventions
CHAPTER 1. INTRODUCTION
 A. The nature of mathematical logic
 B. The logical antinomies
 C. The nature of mathematics
 D. Mathematics and logic
 S. Supplementary topics
CHAPTER 2. FORMAL SYSTEMS
 A. Preliminaries
 B. Theories
 C. Systems
 D. Special forms of systems
 E. Algorithms
 S. Supplementary topics
CHAPTER 3. EPITHEORY
 A. The nature of epitheory
 B. Replacement and monotone relations
 C. The theory of definition
 D. Variables
 S. Supplementary topics
CHAPTER 4. RELATIONAL LOGICAL ALGEBRA
 A. Logical algebras in general
 B. Lattices
 C. Skolem lattices
 D. Classical Skolem lattices
 S. Supplementary topics
CHAPTER 5. THE THEORY OF IMPLICATION
 A. General principles of assertional logical algebra
 B. Propositional algebras
 C. The systems LA and LC
 D. Equivalence of the systems
 E. L deducibility
 S. Supplementary topics
CHAPTER 6. NEGATION
 A. The nature of negation:
 B. L systems for negation
 C. Other formulations of negation
 D. Technique of classical negation
 S. Supplementary topics
CHAPTER 7. QUANTIFICATION
 A. Formulation
 B. Theory of the L*systems
 C. Other forms of quantification theory
 D. Classical epitheory
 S. Supplementary topics
CHAPTER 8. MODALITY
 A. Formulation of necessity
 B. The L theory of necessity
 C. The T and H formulations of necessity
 S. Supplementary topics
Bibliography
Index




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی