دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Sergei Artemov.Anil Nerode (eds.)
سری: Theoretical Computer Science and General Issues 10703
ISBN (شابک) : 9783319720555, 9783319720562
ناشر: Springer International Publishing
سال نشر: 2018
تعداد صفحات: 378
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
کلمات کلیدی مربوط به کتاب مبانی منطقی علوم کامپیوتر: سمپوزیوم بین المللی ، LFCS 2018 ، Deerfield Beach ، فلوریدا ، ایالات متحده آمریکا ، 8-11 ژانویه 2018 ، مجموعه مقالات: منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی منطقی علوم کامپیوتر: سمپوزیوم بین المللی ، LFCS 2018 ، Deerfield Beach ، فلوریدا ، ایالات متحده آمریکا ، 8-11 ژانویه 2018 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری سمپوزیوم بینالمللی مبانی منطقی
علوم کامپیوتر، LFCS 2018 است که در دیرفیلد بیچ، فلوریدا،
ایالات متحده آمریکا، در ژانویه 2018 برگزار شد.
22 مقاله کامل اصلاحشده با دقت بررسی و انتخاب شدند. از 22
ارسالی دامنه سمپوزیوم گسترده است و شامل ریاضیات سازنده و
نظریه نوع است. نظریه نوع هموتوپی; منطق، اتوماتا و ساختارهای
خودکار؛ محاسبه پذیری و تصادفی بودن؛ مبانی منطقی برنامه نویسی؛
جنبه های منطقی پیچیدگی محاسباتی؛ پیچیدگی پارامتری؛ برنامه
نویسی منطقی و محدودیت ها؛ استنتاج خودکار و اثبات قضیه تعاملی؛
روش های منطقی در تأیید پروتکل و برنامه؛ روش های منطقی در
مشخصات و استخراج برنامه؛ منطق تئوری دامنه; مبانی منطقی نظریه
پایگاه داده; منطق معادله و بازنویسی اصطلاح. لامبدا و محاسبات
ترکیبی؛ منطق طبقه بندی و معناشناسی توپولوژیک. منطق خطی؛ منطق
معرفتی و زمانی; منطق سیستم هوشمند و چند عاملی؛ منطق اثبات و
توجیه; استدلال غیر یکنواخت؛ منطق در نظریه بازی ها و نرم
افزارهای اجتماعی; منطق سیستم های ترکیبی; منطق های سیستم توزیع
شده؛ منطق فازی ریاضی؛ منطق طراحی سیستم؛ و منطق های دیگر در
علوم کامپیوتر.
This book constitutes the refereed proceedings of the
International Symposium on Logical Foundations of Computer
Science, LFCS 2018, held in Deerfield Beach, FL, USA, in
January 2018.
The 22 revised full papers were carefully reviewed and
selected from 22 submissions. The scope of the Symposium is
broad and includes constructive mathematics and type theory;
homotopy type theory; logic, automata, and automatic
structures; computability and randomness; logical foundations
of programming; logical aspects of computational complexity;
parameterized complexity; logic programming and constraints;
automated deduction and interactive theorem proving; logical
methods in protocol and program verification; logical methods
in program specification and extraction; domain theory
logics; logical foundations of database theory; equational
logic and term rewriting; lambda andcombinatory calculi;
categorical logic and topological semantics; linear logic;
epistemic and temporal logics; intelligent and multiple-agent
system logics; logics of proof and justification;
non-monotonic reasoning; logic in game theory and social
software; logic of hybrid systems; distributed system logics;
mathematical fuzzy logic; system design logics; and other
logics in computer science.
Front Matter ....Pages I-X
The Completeness Problem for Modal Logic (Antonis Achilleos)....Pages 1-21
Justification Awareness Models (Sergei Artemov)....Pages 22-36
A Minimal Computational Theory of a Minimal Computational Universe (Arnon Avron, Liron Cohen)....Pages 37-54
A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem (Matthias Baaz, Alexander Leitsch, Anela Lolic)....Pages 55-71
Angluin Learning via Logic (Simone Barlocco, Clemens Kupke)....Pages 72-90
A Universal Algebra for the Variable-Free Fragment of \({\mathrm {RC}^\nabla }\) (Lev D. Beklemishev)....Pages 91-106
A Logic of Blockchain Updates (Kai Brünnler, Dandolo Flumini, Thomas Studer)....Pages 107-119
From Display to Labelled Proofs for Tense Logics (Agata Ciabattoni, Tim Lyon, Revantha Ramanayake)....Pages 120-139
Notions of Cauchyness and Metastability (Hannes Diener, Robert Lubarsky)....Pages 140-153
A Gödel-Artemov-Style Analysis of Constructible Falsity (Thomas Macaulay Ferguson)....Pages 154-169
Probabilistic Reasoning About Simply Typed Lambda Terms (Silvia Ghilezan, Jelena Ivetić, Simona Kašterović, Zoran Ognjanović, Nenad Savić)....Pages 170-189
Polyteam Semantics (Miika Hannula, Juha Kontinen, Jonni Virtema)....Pages 190-210
On the Sharpness and the Single-Conclusion Property of Basic Justification Models (Vladimir N. Krupski)....Pages 211-220
Founded Semantics and Constraint Semantics of Logic Rules (Yanhong A. Liu, Scott D. Stoller)....Pages 221-241
Separating the Fan Theorem and Its Weakenings II (Robert S. Lubarsky)....Pages 242-255
Dialectica Categories for the Lambek Calculus (Valeria de Paiva, Harley Eades III)....Pages 256-272
From Epistemic Paradox to Doxastic Arithmetic (V. Alexis Peluce)....Pages 273-288
A Natural Proof System for Herbrand’s Theorem (Benjamin Ralph)....Pages 289-308
Metastability and Higher-Order Computability (Sam Sanders)....Pages 309-330
The Completeness of BCD for an Operational Semantics (Rick Statman)....Pages 331-336
A Tableau System for Instantial Neighborhood Logic (Junhua Yu)....Pages 337-353
Interpretations of Presburger Arithmetic in Itself (Alexander Zapryagaev, Fedor Pakhomov)....Pages 354-367
Back Matter ....Pages 369-369