مشخصات کتاب

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

ویرایش: [1 ed.] 
نویسندگان: Andreas Blass,  Nachum Dershowitz,  Wolfgang Reisig (auth.),  Andreas Blass,  Nachum Dershowitz,  Wolfgang Reisig (eds.)  
سری: Lecture Notes in Computer Science 6300 : Programming and Software Engineering 
ISBN (شابک) : 3642150241, 9783642150241 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2010 
تعداد صفحات: 627
[636] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 Mb 

در صورت تبدیل فایل کتاب Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب زمینه های منطق و محاسبات: مقالات تقدیم به یوری گورویچ به مناسبت هفتادمین سالگرد تولد او نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب زمینه های منطق و محاسبات: مقالات تقدیم به یوری گورویچ به مناسبت هفتادمین سالگرد تولد او

این جلد Festschrift که به افتخار یوری گورویچ به مناسبت هفتادمین سالگرد تولد او منتشر شده است، حاوی مطالبی است که توسط همکارانش نوشته شده است. مجموعه مقالات در اینجا با یک بیوگرافی دانشگاهی، فهرست مشروح از انتشارات و گزارش های یوری و ادای احترام شخصی توسط یان ون دن بوشه آغاز می شود. این موارد با 28 مشارکت فنی دنبال می شود. این مقالات - اگرچه طیف وسیعی از موضوعات را پوشش می دهند - تنها بخشی از حوزه های متعدد مورد علاقه یوری گورویچ را نشان می دهند.

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

This Festschrift volume, published in honor of Yuri Gurevich on the occasion of his 70th birthday, contains contributions, written by his colleagues. The collection of articles herein begins with an academic biography, an annotated list of Yuri\'s publications and reports, and a personal tribute by Jan Van den Bussche. These are followed by 28 technical contributions. These articles - though they cover a broad range of topics - represent only a fraction of Yuri Gurevich’s multiple areas of interest.

فهرست مطالب

Front Matter....Pages -
Yuri, Logic, and Computer Science....Pages 1-48
Database Theory, Yuri, and Me....Pages 49-60
Tracking Evidence....Pages 61-74
Strict Canonical Constructive Systems....Pages 75-94
Decidable Expansions of Labelled Linear Orderings....Pages 95-107
Existential Fixed-Point Logic, Universal Quantifiers, and Topoi....Pages 108-134
Three Paths to Effectiveness....Pages 135-146
The Quest for a Tight Translation of Büchi to co-Büchi Automata....Pages 147-164
Normalization of Some Extended Abstract State Machines....Pages 165-180
Finding Reductions Automatically....Pages 181-200
On Complete Problems, Relativizations and Logics for Complexity Classes....Pages 201-207
Effective Closed Subshifts in 1D Can Be Implemented in 2D....Pages 208-226
The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey....Pages 227-250
A Logic for PTIME and a Parameterized Halting Problem....Pages 251-276
Inferring Loop Invariants Using Postconditions....Pages 277-300
ASMs and Operational Algorithmic Completeness of Lambda Calculus....Pages 301-327
Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs....Pages 328-353
Ibn Sīnā on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic....Pages 354-404
Abstract State Machines and the Inquiry Process....Pages 405-413
The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion....Pages 414-443
Definability of Combinatorial Functions and Their Linear Recurrence Relations....Pages 444-462
Halting and Equivalence of Program Schemes in Models of Arbitrary Theories....Pages 463-469
Metrization Theorem for Space-Times: From Urysohn’s Problem towards Physically Useful Constructive Mathematics....Pages 470-487
Thirteen Definitions of a Stable Model....Pages 488-503
DKAL and Z3: A Logic Embedding Experiment....Pages 504-528
Decidability of the Class E by Maslov’s Inverse Method....Pages 529-537
Logics for Two Fragments beyond the Syllogistic Boundary....Pages 538-564
Choiceless Computation and Symmetry....Pages 565-580
Hereditary Zero-One Laws for Graphs....Pages 581-614
On Monadic Theories of Monadic Predicates....Pages 615-626
Back Matter....Pages -

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

کتاب های تصادفی

دانلود کتاب Japanese women writers: twentieth century short fiction

دانلود کتاب Ethical Assessments of Emerging Technologies: Appraising the moral plausibility of technological visions

دانلود کتاب Modeling Methods for Marine Science

دانلود کتاب Noël et Pâques dans la tradition initiatique

دانلود کتاب The Life and Literary Pursuits of Allen Davenport: With a Further Selection of the Author's Work