ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

دانلود کتاب مبانی منطقی علوم کامپیوتر: سمپوزیوم بین المللی ، 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

مشخصات کتاب

Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

ویرایش: 1 
نویسندگان:   
سری: Theoretical Computer Science and General Issues 10703 
ISBN (شابک) : 9783319720555, 9783319720562 
ناشر: Springer International Publishing 
سال نشر: 2018 
تعداد صفحات: 378 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت 

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



کلمات کلیدی مربوط به کتاب مبانی منطقی علوم کامپیوتر: سمپوزیوم بین المللی ، LFCS 2018 ، Deerfield Beach ، فلوریدا ، ایالات متحده آمریکا ، 8-11 ژانویه 2018 ، مجموعه مقالات: منطق ریاضی و زبان های رسمی



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

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


در صورت تبدیل فایل کتاب 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 ، 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




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