ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Don Pigozzi on abstract algebraic logic, universal algebra, and computer science

دانلود کتاب دون پیگوزی در مورد منطق جبری انتزاعی ، جبر جهانی و علوم کامپیوتر

Don Pigozzi on abstract algebraic logic, universal algebra, and computer science

مشخصات کتاب

Don Pigozzi on abstract algebraic logic, universal algebra, and computer science

دسته بندی: منطق
ویرایش:  
نویسندگان: ,   
سری: Outstanding Contributions to Logic 16 
ISBN (شابک) : 9783319747729, 9783319747712 
ناشر: Springer 
سال نشر: 2018 
تعداد صفحات: 476 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

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



کلمات کلیدی مربوط به کتاب دون پیگوزی در مورد منطق جبری انتزاعی ، جبر جهانی و علوم کامپیوتر: Pigozzi، Don، -- 1935-، ریاضیدانان -- ایالات متحده.، منطق جبری.، جبر، جهانی.، علوم کامپیوتر.، ریاضیات / مقالات.، ریاضیات / پیش حسابان.، ریاضیات / مرجع.، ریاضیدانان.، متحد ایالات.، فلسفه.، منطق.، منطق ریاضی و مبانی.، منطق ریاضی و زبانهای رسمی.



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

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


در صورت تبدیل فایل کتاب Don Pigozzi on abstract algebraic logic, universal algebra, and computer science به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب دون پیگوزی در مورد منطق جبری انتزاعی ، جبر جهانی و علوم کامپیوتر

این کتاب کار دون پیگوزی را به مناسبت هشتادمین سالگرد تولد او جشن می گیرد. علاوه بر مقالاتی که توسط متخصصان برجسته و شاگردان او نوشته شده است، خروجی علمی پیگوزی را ارائه می دهد و تأثیر او را بر توسعه علم مورد بحث قرار می دهد. این کتاب هم آثار او را فهرست‌بندی می‌کند و هم مشخصات گسترده‌ای از پیگوزی به‌عنوان یک شخص ارائه می‌دهد و مهم‌ترین رویدادها را ترسیم می‌کند، نه تنها به فعالیت علمی او مربوط می‌شود، بلکه مربوط به فعالیت‌های علمی اوست. زندگی شخصی او این منعکس کننده سهم Pigozzi در ظهور و توسعه حوزه هایی مانند منطق جبری انتزاعی (AAL)، جبر جهانی و علوم کامپیوتر است و نتایج علمی جدیدی را معرفی می کند. برخی از مقالات همچنین حقایق ترتیب زمانی مربوط به توسعه رشته هایی را که او در آنها مشارکت داشت، به ویژه منطق جبری انتزاعی، ارائه می دهند. این کتاب منابع ارزشمندی را برای مورخان علم، به ویژه کسانی که به تاریخ ریاضیات و منطق علاقه مند هستند، ارائه می دهد.  بیشتر بخوانید...
چکیده: این کتاب به مناسبت هشتادمین سالگرد تولد دون پیگوزی، آثار او را جشن می گیرد. علاوه بر مقالاتی که توسط متخصصان برجسته و شاگردان او نوشته شده است، خروجی علمی پیگوزی را ارائه می دهد و تأثیر او را بر توسعه علم مورد بحث قرار می دهد. این کتاب هم آثار او را فهرست‌بندی می‌کند و هم مشخصات گسترده‌ای از پیگوزی به‌عنوان یک شخص ارائه می‌دهد و مهم‌ترین وقایع را ترسیم می‌کند، نه تنها به فعالیت‌های علمی او، بلکه از زندگی شخصی او نیز مربوط می‌شود. این منعکس کننده سهم Pigozzi در ظهور و توسعه حوزه هایی مانند منطق جبری انتزاعی (AAL)، جبر جهانی و علوم کامپیوتر است و نتایج علمی جدیدی را معرفی می کند. برخی از مقالات همچنین حقایق ترتیب زمانی مربوط به توسعه رشته هایی را که او در آنها مشارکت داشت، به ویژه منطق جبری انتزاعی، ارائه می دهند. این کتاب منابع ارزشمندی را برای مورخان علم، به ویژه کسانی که به تاریخ ریاضیات و منطق علاقه مند هستند، ارائه می دهد


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

This book celebrates the work of Don Pigozzi on the occasion of his 80th birthday. In addition to articles written by leading specialists and his disciples, it presents Pigozzi’s scientific output and discusses his impact on the development of science. The book both catalogues his works and offers an extensive profile of Pigozzi as a person, sketching the most important events, not only related to his scientific activity, but also from his personal life. It reflects Pigozzi's contribution to the rise and development of areas such as abstract algebraic logic (AAL), universal algebra and computer science, and introduces new scientific results. Some of the papers also present chronologically ordered facts relating to the development of the disciplines he contributed to, especially abstract algebraic logic. The book offers valuable source material for historians of science, especially those interested in history of mathematics and logic.  Read more...
Abstract: This book celebrates the work of Don Pigozzi on the occasion of his 80th birthday. In addition to articles written by leading specialists and his disciples, it presents Pigozzi’s scientific output and discusses his impact on the development of science. The book both catalogues his works and offers an extensive profile of Pigozzi as a person, sketching the most important events, not only related to his scientific activity, but also from his personal life. It reflects Pigozzi's contribution to the rise and development of areas such as abstract algebraic logic (AAL), universal algebra and computer science, and introduces new scientific results. Some of the papers also present chronologically ordered facts relating to the development of the disciplines he contributed to, especially abstract algebraic logic. The book offers valuable source material for historians of science, especially those interested in history of mathematics and logic



فهرست مطالب

Content: Chapter 1. A Mathematical Life (Don Pigozzi) --
Chapter 2. Assertional Logics, Truth-equational Logics, and the Hierarchies of Abstract Algebraic Logic (Hugo Albuquerque) --
Chapter 3. Deduction-Detachment Theorem and Gentzen-Style Deductive Systems (Sergey Babenyshev) --
Chapter 4. Introducing Boolean Semilattices (Clifford Bergman) --
Chapter 5. The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras (Janusz Czelakowski).




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