دانلود کتاب Fundamentals of Computation Theory: International Conference FCT ’89 Szeged, Hungary, August 21–25, 1989 Proceedings (به فارسی: مبانی تئوری محاسبات: کنفرانس بین المللی FCT ’89 Szeged، مجارستان، 21-25 اوت، 1989 مجموعه مقالات) نوشته شده توسط «Habib Abdulrab – Jean-Pierre Pécuchet (auth.) – J. Csirik – J. Demetrovics – F. Gécseg (eds.)»
اطلاعات کتاب مبانی تئوری محاسبات: کنفرانس بین المللی FCT ’89 Szeged، مجارستان، 21-25 اوت، 1989 مجموعه مقالات
موضوع اصلی: ریاضیات محاسباتی
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Habib Abdulrab – Jean-Pierre Pécuchet (auth.) – J. Csirik – J. Demetrovics – F. Gécseg (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1989
تعداد صفحه: 498
حجم کتاب: 5 مگابایت
کد کتاب: 3540514988 , 9783540514985
نوبت چاپ: 1
توضیحات کتاب مبانی تئوری محاسبات: کنفرانس بین المللی FCT ’89 Szeged، مجارستان، 21-25 اوت، 1989 مجموعه مقالات
این جلد شامل مجموعه مقالات کنفرانس مبانی نظریه محاسبات است که در سگد، مجارستان، 21 تا 25 اوت 1989 برگزار شد. این کنفرانس هفتمین کنفرانس از سری کنفرانس های FCT است که در 1977 در پوزنان-کورنیک، لهستان. مقالات جمع‌آوری‌شده در این جلد، متون مشارکت‌های دعوت‌شده و ارتباطات کوتاه‌تر هستند که در یکی از بخش‌های زیر قرار می‌گیرند: – محاسبات کارآمد توسط دستگاه‌های انتزاعی: خودکار، محاسبه‌پذیری، محاسبات احتمالی، محاسبات موازی و توزیع شده. – منطق و معانی برنامه‌ها: رویکردهای جبری و مقوله‌ای به معناشناسی، منطق محاسباتی، برنامه‌نویسی منطقی، تأیید، تبدیل‌های برنامه، برنامه‌نویسی تابعی. – زبان های رسمی: سیستم های بازنویسی، نظریه زبان جبری. – پیچیدگی محاسباتی: تجزیه و تحلیل و پیچیدگی الگوریتم‌ها، طراحی الگوریتم‌های کارآمد، الگوریتم‌ها و ساختارهای داده، هندسه محاسباتی، کلاس‌ها و سلسله‌مراتب پیچیدگی، محدوده‌های پایین‌تر.
This volume contains the proceedings of the conference on Fundamentals of Computation Theory held in Szeged, Hungary, August 21-25, 1989. The conference is the seventh in the series of the FCT conferences initiated in 1977 in Poznan-Kornik, Poland. The papers collected in this volume are the texts of invited contributions and shorter communications falling into one of the following sections: – Efficient Computation by Abstract Devices: Automata, Computability, Probabilistic Computations, Parallel and Distributed Computing; – Logics and Meanings of Programs: Algebraic and Categorical Approaches to Semantics, Computational Logic, Logic Programming, Verification, Program Transformations, Functional Programming; – Formal Languages: Rewriting Systems, Algebraic Language Theory; – Computational Complexity: Analysis and Complexity of Algorithms, Design of Efficient Algorithms, Algorithms and Data Structures, Computational Geometry, Complexity Classes and Hierarchies, Lower Bounds.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.