ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

دانلود کتاب منطق کامپیوتر علم: 19 کارگاه آموزشی بین المللی، CSL 2005، چهاردهمین کنفرانس سالانه EACSL، آکسفورد، انگلستان، 22-25 اوت 2005. مقالات

Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

مشخصات کتاب

Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: ,   
سری: Lecture Notes in Computer Science 3634 : Theoretical Computer Science and General Issues 
ISBN (شابک) : 3540282319, 9783540282310 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2005 
تعداد صفحات: 578 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت

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



کلمات کلیدی مربوط به کتاب منطق کامپیوتر علم: 19 کارگاه آموزشی بین المللی، CSL 2005، چهاردهمین کنفرانس سالانه EACSL، آکسفورد، انگلستان، 22-25 اوت 2005. مقالات: منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، هوش مصنوعی (شامل رباتیک)، منطق ریاضی و مبانی



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

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


در صورت تبدیل فایل کتاب Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق کامپیوتر علم: 19 کارگاه آموزشی بین المللی، CSL 2005، چهاردهمین کنفرانس سالانه EACSL، آکسفورد، انگلستان، 22-25 اوت 2005. مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب منطق کامپیوتر علم: 19 کارگاه آموزشی بین المللی، CSL 2005، چهاردهمین کنفرانس سالانه EACSL، آکسفورد، انگلستان، 22-25 اوت 2005. مقالات



این کتاب مجموعه مقالات داوری نوزدهمین کارگاه بین المللی منطق علوم کامپیوتر، CSL 2005 است که به عنوان چهاردهمین کنفرانس سالانه EACSL در آکسفورد، انگلستان در آگوست 2005 برگزار شد.

33 مورد بازبینی کامل شده است. مقالات ارائه شده همراه با 4 مشارکت دعوت شده به دقت بررسی و از بین 108 مقاله ارسال شده انتخاب شدند. تمام جنبه های فعلی منطق در علوم کامپیوتر از منطق ریاضی و مبانی منطقی گرفته تا مسائل روش شناختی و کاربردهای منطق در زمینه های محاسباتی مختلف پرداخته می شود. این جلد در بخش‌های موضوعی در معناشناسی و منطق، نظریه نوع و حساب لامبدا، منطق خطی و لودیک، محدودیت‌ها، مدل‌های محدود، تصمیم‌پذیری و پیچیدگی، تأیید و بررسی مدل، استدلال سازنده و ریاضیات محاسباتی، و پیچیدگی محاسباتی ضمنی و بازنویسی سازمان‌دهی شده است.


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

This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held as the 14th Annual Conference of the EACSL in Oxford, UK in August 2005.

The 33 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 108 papers submitted. All current aspects of logic in computer science are addressed ranging from mathematical logic and logical foundations to methodological issues and applications of logics in various computing contexts. The volume is organized in topical sections on semantics and logics, type theory and lambda calculus, linear logic and ludics, constraints, finite models, decidability and complexity, verification and model checking, constructive reasoning and computational mathematics, and implicit computational complexity and rewriting.



فهرست مطالب

Front Matter....Pages -
XML Navigation and Tarski’s Relation Algebras....Pages 1-2
Verification in Predicate Logic with Time: Algorithmic Questions....Pages 3-17
Note on Formal Analogical Reasoning in the Juridical Context....Pages 18-26
An Abstract Strong Normalization Theorem....Pages 27-35
On Bunched Polymorphism....Pages 36-50
Distributed Control Flow with Classical Modal Logic....Pages 51-69
A Logic of Coequations....Pages 70-86
A Semantic Formulation of ⊤ ⊤-Lifting and Logical Predicates for Computational Metalanguage....Pages 87-102
Order Structures on Böhm-Like Models....Pages 103-118
Higher-Order Matching and Games....Pages 119-134
Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations....Pages 135-150
On the Role of Type Decorations in the Calculus of Inductive Constructions....Pages 151-166
L-Nets, Strategies and Proof-Nets....Pages 167-183
Permutative Logic....Pages 184-199
Focusing the Inverse Method for Linear Logic....Pages 200-215
Towards a Typed Geometry of Interaction....Pages 216-231
From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction....Pages 232-247
An Algebraic Approach for the Unsatisfiability of Nonlinear Constraints....Pages 248-262
Coprimality in Finite Models....Pages 263-275
Towards a Characterization of Order-Invariant Queries over Tame Structures....Pages 276-291
Decidability of Term Algebras Extending Partial Algebras....Pages 292-308
Results on the Guarded Fragment with Equivalence or Transitive Relations....Pages 309-324
The Modular Decomposition of Countable Graphs: Constructions in Monadic Second-Order Logic....Pages 325-338
On the Complexity of Hybrid Logics with Binders....Pages 339-354
The Complexity of Independence-Friendly Fixpoint Logic....Pages 355-368
Closure Properties of Weak Systems of Bounded Arithmetic....Pages 369-383
Transfinite Extension of the Mu-Calculus....Pages 384-396
Bounded Model Checking of Pointer Programs....Pages 397-412
PDL with Intersection and Converse Is Decidable....Pages 413-427
On Deciding Topological Classes of Deterministic Tree Languages....Pages 428-441
Complexity and Intensionality in a Type-1 Framework for Computable Analysis....Pages 442-461
Computing with Sequences, Weak Topologies and the Axiom of Choice....Pages 462-476
Light Functional Interpretation....Pages 477-492
Feasible Proofs of Matrix Properties with Csanky’s Algorithm....Pages 493-508
A Propositional Proof System for Log Space....Pages 509-524
Identifying Polynomial-Time Recursive Functions....Pages 525-540
Confluence of Shallow Right-Linear Rewrite Systems....Pages 541-556
The Ackermann Award 2005....Pages 557-565
Clemens Lautemann: 1951-2005 An Obituary ....Pages 566-566
Back Matter....Pages -




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی