دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic and Its Applications: 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
دانلود کتاب منطق و کاربردهای آن: هشتمین کنفرانس هند، ICLA 2019، دهلی، هند، 1-5 مارس 2019، مجموعه مقالات
مشخصات کتاب
Logic and Its Applications: 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
ویرایش: 1st ed. نویسندگان: Md. Aquil Khan, Amaldev Manuel سری: Lecture Notes in Computer Science 11600 ISBN (شابک) : 9783662587706, 9783662587713 ناشر: Springer Berlin Heidelberg سال نشر: 2019 تعداد صفحات: 210 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 56,000
در صورت تبدیل فایل کتاب Logic and Its Applications: 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق و کاربردهای آن: هشتمین کنفرانس هند، ICLA 2019، دهلی، هند، 1-5 مارس 2019، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق و کاربردهای آن: هشتمین کنفرانس هند، ICLA 2019، دهلی، هند، 1-5 مارس 2019، مجموعه مقالات
این کتاب مجموعه مقالات داوری هشتمین کنفرانس هند در زمینه منطق و کاربردهای آن، ICLA 2019، برگزار شده در دهلی، هند، در مارس 2019 است. این جلد شامل 13 مقاله اصلاح شده کامل به همراه 6 سخنرانی دعوت شده است که در کنفرانس. هدف از این مجموعه کنفرانس گرد هم آوردن پژوهشگران از حوزه های مختلف است که منطق رسمی در آن نقش مهمی ایفا می کند. حوزه های مورد علاقه عبارتند از منطق ریاضی و فلسفی، منطق علوم کامپیوتر، مبانی و فلسفه ریاضیات و علوم، استفاده از منطق رسمی در حوزه های علوم کامپیوتر نظری و هوش مصنوعی، منطق و زبان شناسی، و رابطه بین منطق و سایر شاخه های دانش. . مطالعات مربوط به سیستم‌های منطق در سنت هندی و تحقیقات تاریخی در مورد منطق از اهمیت ویژه‌ای برخوردار است.
توضیحاتی درمورد کتاب به خارجی
This book collects the refereed proceedings of the 8th Indian Conference on Logic and Its Applications, ICLA 2019, held in Delhi, India, in March 2019. The volume contains 13 full revised papers along with 6 invited talks presented at the conference. The aim of this conference series is to bring together researchers from a wide variety of fields in which formal logic plays a significant role. Areas of interest include mathematical and philosophical logic, computer science logic, foundations and philosophy of mathematics and the sciences, use of formal logic in areas of theoretical computer science and artificial intelligence, logic and linguistics, and the relationship between logic and other branches of knowledge. Of special interest are studies in systems of logic in the Indian tradition, and historical research on logic.
فهرست مطالب
Front Matter ....Pages I-XVI
Unification in Modal Logic (Philippe Balbiani)....Pages 1-5
Propositional Modal Logic with Implicit Modal Quantification (Anantha Padmanabha, R. Ramanujam)....Pages 6-17
Infinite Liar in a (Modal) Finitistic Setting (Michał Tomasz Godziszewski, Rafal Urbaniak)....Pages 18-29
The Finite Embeddability Property for Topological Quasi-Boolean Algebra 5 (Zhe Lin, Mihir Kumar Chakraborty)....Pages 30-41
Specifying Program Properties Using Modal Fixpoint Logics: A Survey of Results (Martin Lange)....Pages 42-51
A Modal Aleatoric Calculus for Probabilistic Reasoning (Tim French, Andrew Gozzard, Mark Reynolds)....Pages 52-63
Public Announcements for Epistemic Models and Hypertheories (Nenad Savić, Thomas Studer)....Pages 64-75
Revisiting the Generalized Łoś-Tarski Theorem (Abhisekh Sankaran)....Pages 76-88
Model Theory for Sheaves of Modules (Mike Prest)....Pages 89-102
Transitivity and Equivalence in Decidable Fragments of First-Order Logic: A Survey (Ian Pratt-Hartmann)....Pages 103-107
The Undecidability of FO3 and the Calculus of Relations with Just One Binary Relation (Yoshiki Nakamura)....Pages 108-120
Satisfaction Classes via Cut Elimination (Cezary Cieśliński)....Pages 121-131
Sequent Calculi for Normal Update Logics (Katsuhiko Sano, Minghui Ma)....Pages 132-143
Logics for Rough Concept Analysis (Giuseppe Greco, Peter Jipsen, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis)....Pages 144-159
A Fix-Point Characterization of Herbrand Equivalence of Expressions in Data Flow Frameworks (Jasine Babu, Karunakaran Murali Krishnan, Vineeth Paleri)....Pages 160-172
Logic Without Language (Rohit Parikh)....Pages 173-182
Towards a Constructive Formalization of Perfect Graph Theorems (Abhishek Kr Singh, Raja Natarajan)....Pages 183-194
Back Matter ....Pages 195-195
نظرات کاربران
کتاب های تصادفی
دانلود کتاب New Technologies for Engineering Research and Design in Industry: Selected, Peer Reviewed Papers from the 2014h International Conference on ... 2014, Lijiang,
دانلود کتاب Pro NuGet
دانلود کتاب The Zurich Axioms
دانلود کتاب Lectures on Elementary Mathematics
