کتاب الکترونیکی

موضوعات در نظریه محاسبات: مقالات منتخب کنفرانس بین المللی “مبانی نظریه محاسبات”، 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’ (به فارسی: موضوعات در نظریه محاسبات: مقالات منتخب کنفرانس بین المللی “مبانی نظریه محاسبات”، FCT ’83, Borgholm, سوئد, 21-27 اوت 1983′) نوشته شده توسط «Marek Karpinski – J. Van Leeuwen»

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

موضوع اصلی: ریاضیات محاسباتی

نوع: کتاب الکترونیکی

ناشر: Elsevier Science Ltd

نویسنده: Marek Karpinski – J. Van Leeuwen

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1985

تعداد صفحه: 203

حجم کتاب: 4 مگابایت

کد کتاب: 9780444876478 , 0444876472

توضیحات کتاب موضوعات در نظریه محاسبات: مقالات منتخب کنفرانس بین المللی “مبانی نظریه محاسبات”، 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.

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

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان