ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Algebraic Logic

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

Algebraic Logic

مشخصات کتاب

Algebraic Logic

دسته بندی: منطق
ویرایش:  
نویسندگان: , ,   
سری: Colloquia Mathematica Societatis János Bolyai, Volume 54 
ISBN (شابک) : 0444885439, 9789638022578 
ناشر: Elsevier 
سال نشر: 1991 
تعداد صفحات: 755 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 9 مگابایت 

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



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

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


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

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


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

این جلد به مقالات ارائه شده در کولوکیوم 1988 محدود نمی شود، بلکه هدف آن این است که خواندنی (نسبتا) منسجم از منطق جبری را با تأکید بر تحقیقات فعلی به خواننده ارائه دهد. برای کمک به خواننده غیرمتخصص، کتاب شامل مقدمه ای بر جبرهای استوانه ای و رابطه ای توسط راجر دی. مادوکس و مقدمه ای بر جبرهای بولی توسط Bjarni Joacute;nsson است.


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

This volume is not restricted to papers presented at the 1988 Colloquium, but instead aims to provide the reader with a (relatively) coherent reading on Algebraic Logic, with an emphasis on current research. To help the non-specialist reader, the book contains an introduction to cylindric and relation algebras by Roger D. Maddux and an introduction to Boolean Algebras by Bjarni Joacute;nsson.



فهرست مطالب

Introduction
I. H. Anellis and N. Houser: Nineteenth Century Roots of Algebraic Logic and Universal Algebra
R. Berghammer, P. Kempf, G. Schmidt, and T. Strohlein: Relation Algebra and Logic of Programs
C. Bergman: Structural Completeness in Algebra and Logic
W. J. Blok and D. J. Pigozzi: Local Deduction Theorems in Algebraic Logic
D. A. Bredikhin: On Relation Algebras with General Superpositions
J. Cirulis: An Algebraization of First Order Logic with Terms
S. D. Comer: The Representation of Dimension 3 Cylindric Algebras
M. Ferenczi: Measures Defined on Free Products of Formula Algebras and Analogies with Cylindric Homomorphisms
J. M. Font and V. Verdu: On Some Non-algebraizable Logics
S. Givant: Tarski’s Development of Logic and Mathematics based on the Calculus of Relations
R. Goldblatt: On Closure Under Canonical Embedding Algebras
G. Hansoul: Modal-axiomatic Classes of Kripke Models
P. Jipsen and E. Lukas: Representability of Finite Simple Relation Algebras with Many Identity Atoms
B. Jonsson: The Theory of Binary Relations
R. L. Kramer: Relativized Relation Algebras
J. Lambek: Categorical Versus Algebraic Logic
R. D. Maddux: Introductory Course on Relation Algebras, Finite-dimensional Cylindric Algebras, and Their Interconnections
V. Manca and A. Salibra: On the Power of Equational Logic: Applications and Extensions
J. D. Monk: Structure Problems for Cylindric Algebras
I. Nemeti and H. Andreka: On Jonsson’s Clones of Operations on Binary Relations
E. Orlowska: Relational Interpretation of Modal Logics
D. J. Pigozzi: Fregean Algebraic Logic
В. I. Plotkin: Halmos (polyadic) Algebras in Database Theory
D. Resek and R. J. Thompson: Characterizing Relativized Cylindric Algebras
I. Sain and R. J. Thompson: Strictly Finite Schema Axiomatization of Quasi-polyadic Algebras
A. Salibra: A General Theory of Algebras with Quantifiers
B. M. Schein: Representation of Subreducts of Tarski Relation Algebras
Gy. Sereny: Neatly Atomic Cylindric Algebras and Representable Isomorphisms
S. Shelah: On a Problem in Cylindric Algebra
A. Simon: Finite schema completeness for typeless logic and representable cylindric algebras
Zs. Tuza: Representations of Relation Algebras and Patterns of Colored Triplets
Y. Venema: Relational Games
J. D. Monk: Remarks on the Problems in the Books Cylindric Algebras, Part I and Part II and Cylindric Set Algebras
J. D. Monk: Corrections for the Books Cylindric Algebras, Part I and Part II and Cylindric Set Algebras
Open problems




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