جستجو در کتاب ها   جستجو در مقالات   جستجو در کل سایت
Heyting Algebras - Duality Theory
نویسنده:
سال انتشار: 2019
تعداد صفحات: 107
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 2MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

افزودن به سبد دانلود

کتاب دانلود - دانلود کتاب های علمی و دانشگاهی

This book presents an English translation of a classic Russian text on duality theory for Heyting algebras. Written by Georgian mathematician Leo Esakia, the text proved popular among Russian-speaking logicians. This translation helps make the ideas accessible to a wider audience and pays tribute to an influential mind in mathematical logic. The book discusses the theory of Heyting algebras and closure algebras, as well as the corresponding intuitionistic and modal logics. The author introduces the key notion of a hybrid that “crossbreeds” topology (Stone spaces) and order (Kripke frames), resulting in the structures now known as Esakia spaces. The main theorems include a duality between the categories of closure algebras and of hybrids, and a duality between the categories of Heyting algebras and of so-called strict hybrids. Esakia’s book was originally published in 1985. It was the first of a planned two-volume monograph on Heyting algebras. But after the collapse of the Soviet Union, the publishing house closed and the project died with it. Fortunately, this important work now lives on in this accessible translation. The Appendix of the book discusses the planned contents of the lost second volume

 

دانلود کتاب جبر هیتینگ - نظریه دوگانگی Heyting Algebras - Duality Theory


دانلود کتاب جبر هیتینگ , نظریه دوگانگی , دانلود کتاب , جبر هیتینگ , Heyting Algebras , Duality Theory
علوم مهندسی و فناوری>الگوریتم و جبر

نام و نام خانوادگی:
متن:
تصویر:
Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
نویسنده:
سال انتشار: 2019
تعداد صفحات: 280
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 10MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب ابزار ها و الگوریتم ها برای ساخت و آنالیز سیستم ها - بخش سوم
Formal Languages and Compilation
نویسنده:
سال انتشار: 2019
تعداد صفحات: 509
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 10MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب زبان های رسمی و تلفیق
Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
نویسنده:
سال انتشار: 2019
تعداد صفحات: 446
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 23MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب ابزار ها و الگوریتم ها برای ساخت و آنالیز سیستم ها - بخش اول
Undergraduate Algebra - A Unified Approach
نویسنده:
سال انتشار: 2019
تعداد صفحات: 337
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 4MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب جبر کارشناسی - یک رویکرد واحد
Structured Matrices in Numerical Linear Algebra - Analysis, Algorithms and Applications
نویسنده:
سال انتشار: 2019
تعداد صفحات: 327
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 7MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب ماتریس های ساختاری در جبر خطی عددی - آنالیز، الگوریتم ها و برنامه های کاربردی
Frontiers in Algorithmics - 13th International Workshop, FAW 2019, Sanya, China, April 29 – May 3, 2019, Proceedings
نویسنده:
سال انتشار: 2019
تعداد صفحات: 192
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 4MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب مرز ها در الگوریتمیک
Data Structures and Algorithms with Scala - A Practitioner’s Approach with Emphasis on Functional Programming
نویسنده:
سال انتشار: 2019
تعداد صفحات: 164
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 1MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب ساختار داده ها و الگوریتم ها با اسکالا - یک رویکرد تمرین کننده با تاکید بر برنامه نویسی عملکردی
Linear Algebra, Signal Processing, and Wavelets - A Unified Approach - MATLAB Version
نویسنده:
سال انتشار: 2019
تعداد صفحات: 381
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 12MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب جبر خطی، پردازش سیگنال و موجک ها - رویکرد یکپارچه - نسخه MATLAB
Cybernetics and Automation Control Theory Methods in Intelligent Algorithms - Proceedings of 8th Computer Science On-line Conference 2019, Vol. 3
نویسنده:
سال انتشار: 2019
تعداد صفحات: 382
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 27MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب سایبرنتیک و روش های تئوری کنترل اتوماسیون در الگوریتم های هوشمند
A New Bio-inspired Optimization Algorithm Based on the Self-defense Mechanism of Plants in Nature
نویسنده:
سال انتشار: 2019
تعداد صفحات: 62
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 1MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

افزودن به سبد دانلود توضیحات بیشتر

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

نظرات و پیشنهادات

عضویت در سایت

پشتیبانی آنلاین

نام و نام خانوادگی:
پست الکترونیک:
متن:

نام کاربری:
کلمه عبور:
کلمه عبور را بخاطر بسپار
کلمه عبور خود را فراموش کرده ام
عضویت در سایت

نام و نام خانوادگی:
پست الکترونیک:
شماره موبایل:
گفتگو با:


کتاب دانلود : دانلود کتاب های علمی و دانشگاهی روز دنیا. هرگونه کپی برداری از محتوا، قالب، و طرح های به کار رفته در این سایت شرعا و قانونا ممنوع می باشد، و پیگرد قانونی دارد.