ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Topics in the theory of computation: selected papers of the International Conference on ’’Foundations of Computation Theory’’, FCT ’83, Borgholm, Sweden, August 21-27, 1983’

دانلود کتاب موضوعات در نظریه محاسبات: مقالات منتخب کنفرانس بین المللی "مبانی تئوری محاسبات"، FCT '83, Borgholm, سوئد, 21-27 اوت 1983'

Topics in the theory of computation: selected papers of the International Conference on ’’Foundations of Computation Theory’’, FCT ’83, Borgholm, Sweden, August 21-27, 1983’

مشخصات کتاب

Topics in the theory of computation: selected papers of the International Conference on ’’Foundations of Computation Theory’’, FCT ’83, Borgholm, Sweden, August 21-27, 1983’

دسته بندی: ریاضیات محاسباتی
ویرایش:  
نویسندگان:   
سری: North-Holland Mathematics Studies 102 / Annals of Discrete Mathematics 24 
ISBN (شابک) : 9780444876478, 0444876472 
ناشر: Elsevier Science Ltd 
سال نشر: 1985 
تعداد صفحات: 203 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Topics in the theory of computation: selected papers of the International Conference on ’’Foundations of Computation Theory’’, FCT ’83, Borgholm, Sweden, August 21-27, 1983’ به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب موضوعات در نظریه محاسبات: مقالات منتخب کنفرانس بین المللی "مبانی تئوری محاسبات"، FCT '83, Borgholm, سوئد, 21-27 اوت 1983' نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب موضوعات در نظریه محاسبات: مقالات منتخب کنفرانس بین المللی "مبانی تئوری محاسبات"، FCT '83, Borgholm, سوئد, 21-27 اوت 1983'

این جلد شامل نه مقاله برگزیده ارائه شده در کنفرانس بورگولم است. آنها بر اساس ارتباط فوری آنها با اساسی ترین جنبه های نظریه محاسبات و جدیدترین پیشرفت ها در این زمینه انتخاب شدند. این مقالات که توسعه یافته و داوری شده اند به هشت دسته تقسیم می شوند: 1. ریاضیات سازنده در مدل های محاسبات و برنامه ریزی. 2. محاسبات چکیده و معناشناسی دلالتی. 3. نظریه ماشین ها، محاسبات و زبان ها. 4. عدم قطعیت، همزمانی و محاسبات توزیع شده. 5. جبر انتزاعی، منطق و ترکیبات در نظریه محاسبات. 6. محاسبه پذیری و تصمیم پذیری عمومی. 7. پیچیدگی محاسباتی و حسابی; 8. تجزیه و تحلیل الگوریتم ها و محاسبات امکان پذیر.


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

This volume contains nine selected papers presented at the Borgholm conference. They were chosen on the basis of their immediate relevance to the most fundamental aspects of the theory of computation and the newest developments in this area. These papers, which have been extended and refereed, fall into eight categories: 1. Constructive Mathematics in Models of Computation and Programming; 2. Abstract Calculi and Denotational Semantics; 3. Theory of Machines, Computations and Languages; 4. Nondeterminism, Concurrency and Distributed Computing; 5. Abstract Algebras, Logics and Combinatorics in Computation Theory; 6. General Computability and Decidability; 7. Computational and Arithmetic Complexity; 8. Analysis of Algorithms and Feasible Computing.



فهرست مطالب

Content: 
Advisory Editors
Page ii

Edited by
Page iii

Copyright page
Page iv

Preface
Pages v-vi
Marek Karpinski, Jan van Leeuwen

Conference Commitees “Foundations of Computation Theory- 1983” Borgholm, Sweden, August 21-27, 1983
Pages vii-viii

Input Driven Languages are Recognized in log n Space Original Research Article
Pages 1-19
Burchard von Braunmühl, Rutger Verbeek

Constructive Mathematics as a Programming Logic I: Some Principles of Theory Original Research Article
Pages 21-37
Robert L. Constable

Space and Reversal Complexity of Probabilistic One-Way Turing Machines Original Research Article
Pages 39-50
Rūsiņš Freivalds

Recurring Dominoes: Making the Highly Undecidable Highly Understandable Original Research Article
Pages 51-71
David Harel

A New Transformational Approach to Partial Correctness Proof Calculi for Algol 6 8-Like Programs with Finite Modes and Simple Sideeffects Original Research Article
Pages 73-102
H. Langmaack

Effective Determination of the Zeros of p-Adic Exponential Functions Original Research Article
Pages 103-109
Angus Macintyre

The Logic of Games and its Applications Original Research Article
Pages 111-139
Rohit Parikh

A Fast Parallel Construction of Disjoint Paths in Networks Original Research Article
Pages 141-153
Eli Shamir, Eli Upfal

Descriptional Complexity for Classes of Ianov-Schemes Original Research Article
Pages 155-186
Peter Trum, Detlef Wotschke

Author Index
Page 187





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

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