توضیحات
The publication of Rasiowa and Sikorski’s The Mathematics of Metamathematics (1970), Rasiowa’s An Algebraic Approach to Non-Classical Logics (1974), and Wjcicki’s Theory of Logical Calculi (1988) created a niche in the field of mathematical and philosophical logic. This in-depth study of the concept of a consequence relation, culminating in the concept of a Lindenbaum-Tarski algebra, fills this niche. Citkin and Muravitsky consider the problem of obtaining confirmation that a statement is a consequence of a set of statements as prerequisites, on the one hand, and the problem of demonstrating that such confirmation does not exist in the structure under consideration, on the other hand. For the second part of this problem, the concept of the Lindenbaum-Tarski algebra plays a key role, which becomes even more important when the considered consequence relation is placed in the context of decidability. This role is traced in the book for various formal objective languages.
The work also includes helpful exercises to aid the reader’s assimilation of the book’s material. Intended for advanced undergraduate and graduate students in mathematics and philosophy, this book can be used to teach special courses in logic with an emphasis on algebraic methods, for self-study, and also as a reference work.
————————————————————–
ترجمه ماشینی :
انتشار راسیوا و سیکورسکی ریاضیات فرا ریاضیات (1970)، رویکرد جبری راسیووا به منطق غیر کلاسیک (1974) و Wjcicki نظریه محاسبات منطقی (1988) جایگاهی در زمینه منطق ریاضی و فلسفی ایجاد کردند. این مطالعه عمیق در مورد مفهوم رابطه پیامد، که در مفهوم جبر Lindenbaum-Tarski به اوج می رسد، این جایگاه را پر می کند. سیتکین و موراویتسکی از یک سو مشکل دریافت تأییدیه را که یک گزاره پیامد مجموعهای از گزارهها است و از سوی دیگر مشکل اثبات وجود چنین تأییدی در ساختار مورد بررسی را پیشنیاز میدانند. برای بخش دوم این مسئله، مفهوم جبر Lindenbaum-Tarski نقش کلیدی ایفا می کند، که زمانی اهمیت بیشتری پیدا می کند که رابطه پیامد در نظر گرفته شده در زمینه تصمیم پذیری قرار گیرد. این نقش در کتاب برای زبانهای عینی رسمی مختلف دنبال شده است.
این کار همچنین شامل تمرینهای مفیدی برای کمک به جذب خواننده از مطالب کتاب است. این کتاب که برای دانشجویان پیشرفته در مقاطع کارشناسی و کارشناسی ارشد در رشته های ریاضی و فلسفه در نظر گرفته شده است، می تواند برای تدریس دروس ویژه منطق با تاکید بر روش های جبری، برای خودآموزی و همچنین به عنوان یک کار مرجع استفاده شود.
tag : دانلود کتاب روابط پیامد: مقدمه ای بر روش لیندنبام تارسکی , Download روابط پیامد: مقدمه ای بر روش لیندنبام تارسکی , دانلود روابط پیامد: مقدمه ای بر روش لیندنبام تارسکی , Download Consequence Relations: An Introduction to the Lindenbaum-Tarski Method Book , روابط پیامد: مقدمه ای بر روش لیندنبام تارسکی دانلود , buy روابط پیامد: مقدمه ای بر روش لیندنبام تارسکی , خرید کتاب روابط پیامد: مقدمه ای بر روش لیندنبام تارسکی , دانلود کتاب Consequence Relations: An Introduction to the Lindenbaum-Tarski Method , کتاب Consequence Relations: An Introduction to the Lindenbaum-Tarski Method , دانلود Consequence Relations: An Introduction to the Lindenbaum-Tarski Method , خرید Consequence Relations: An Introduction to the Lindenbaum-Tarski Method , خرید کتاب Consequence Relations: An Introduction to the Lindenbaum-Tarski Method ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.