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

پیشرفت های اخیر در زبان های رسمی و برنامه های کاربردی

Recent Advances in Formal Languages and Applications

دانلود کتاب Recent Advances in Formal Languages and Applications (به فارسی: پیشرفت های اخیر در زبان های رسمی و برنامه های کاربردی) نوشته شده توسط «Jonathan Lawry»

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

موضوع اصلی: سایبرنتیک: هوش مصنوعی

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

ناشر: Springer

نویسنده: Jonathan Lawry

زبان: English

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

سال انتشار: 2006

تعداد صفحه: 375

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

کد کتاب: 9780387290560 , 0-387-29056-7

نوبت چاپ: 1

توضیحات کتاب پیشرفت های اخیر در زبان های رسمی و برنامه های کاربردی

نظریه زبان های رسمی به عنوان ستون فقرات علم کامپیوتر نظری به طور گسترده پذیرفته شده است. عمدتاً از ریاضیات (ترکیب، جبر، منطق ریاضی) و زبان‌شناسی زایشی سرچشمه می‌گیرد. تمام قابلیت‌های حل مسئله انسان را می‌توان به نوعی دستکاری نمادها و ساختارهای متشکل از نمادها دانست که در واقع ریشه نظریه زبان رسمی است. زبان – در دو شکل اصلی خود، طبیعی و مصنوعی – یک مورد خاص از یک سیستم نمادی است. مشارکت کنندگان نتایج و تکنیک های اصلی حوزه های تخصصی خود را به روشی آسان و قابل دسترس همراه با ارجاعات متعددی که نقش چندگانه دارند ارائه می کنند: تاریخی، نکاتی برای اثبات کامل یا راه‌حل تمرین‌ها، دستورالعمل‌هایی برای تحقیقات بیشتر که در آن خواننده ممکن است مشکلات جذاب را شناسایی کند. این جلد شامل بخش‌هایی است، عمدتاً برنامه‌هایی که در هیچ مجموعه‌ای از این نوع ظاهر نشده‌اند. ما معتقدیم که جلدی که بیانگر “دریچه ای به تئوری زبان رسمی و کاربردهای آن” است، به عنوان یک منبع کلی اطلاعات در تئوری محاسبات، هم در سطح کارشناسی و هم در سطح تحقیقاتی مفید خواهد بود. نظرات مشتریان اولین نفری باشید که نظر می نویسید! The Publisher نظریه زبان های رسمی به طور گسترده ای به عنوان ستون فقرات علم کامپیوتر نظری پذیرفته شده است. عمدتاً از ریاضیات (ترکیب، جبر، منطق ریاضی) و زبان‌شناسی زایشی سرچشمه می‌گیرد. تمام قابلیت‌های حل مسئله انسان را می‌توان به نوعی دستکاری نمادها و ساختارهای متشکل از نمادها دانست که در واقع ریشه نظریه زبان رسمی است. زبان – در دو شکل اصلی خود، طبیعی و مصنوعی – یک مورد خاص از یک سیستم نمادی است. مشارکت کنندگان نتایج و تکنیک های اصلی حوزه های تخصصی خود را به روشی آسان و قابل دسترس همراه با ارجاعات متعددی که نقش چندگانه دارند ارائه می کنند: تاریخی، نکاتی برای اثبات کامل یا راه‌حل تمرین‌ها، دستورالعمل‌هایی برای تحقیقات بیشتر که در آن خواننده ممکن است مشکلات جذاب را شناسایی کند. این جلد شامل بخش‌هایی است، عمدتاً برنامه‌هایی که در هیچ مجموعه‌ای از این نوع ظاهر نشده‌اند. ما معتقدیم که جلدی که بیانگر “دریچه ای به تئوری زبان رسمی و کاربردهای آن” است، به عنوان منبع کلی اطلاعات در تئوری محاسبات، هم در سطح کارشناسی و هم در سطح تحقیقاتی مفید خواهد بود. جزئیات محصول * ISBN: 3540334602 * ISBN-13 : 9783540334606 * قالب: فرمت دیگر، 373pp * ناشر: Springer-Verlag New York, LLC * Pub. تاریخ: سپتامبر 2006 * سری: مطالعات در هوش محاسباتی * فهرست مطالبTable of Contents1″

The theory of formal languages is widely accepted as the backbone of theoretical computer science. It mainly originated from mathematics (combinatorics, algebra, mathematical logic) and generative linguistics. All human problem solving capabilities can be considered in a certain sense as a manipulation of symbols and structures composed by symbols, which is actually the stem of formal language theory. Language – in its two basic forms, natural and artificial – is a particular case of a symbol system.The contributors present the main results and techniques of their areas of specialization in an easily accessible way accompanied with many references having a multiple role: historical, hints for complete proofs or solutions to exercises, directions for further research where the reader may identify attractive problems. This volume contains areas, mainly applications, which have not appeared in any collection of this type. We believe that the volume representing “a gate to formal language theory and its applications”, will be also useful as a general source of information in computation theory, both at the undergraduate and research level.Customer ReviewsBe the first to write a review!From the PublisherThe theory of formal languages is widely accepted as the backbone of theoretical computer science. It mainly originated from mathematics (combinatorics, algebra, mathematical logic) and generative linguistics. All human problem solving capabilities can be considered in a certain sense as a manipulation of symbols and structures composed by symbols, which is actually the stem of formal language theory. Language – in its two basic forms, natural and artificial – is a particular case of a symbol system.The contributors present the main results and techniques of their areas of specialization in an easily accessible way accompanied with many references having a multiple role: historical, hints for complete proofs or solutions to exercises, directions for further research where the reader may identify attractive problems. This volume contains areas, mainly applications, which have not appeared in any collection of this type. We believe that the volume representing “a gate to formal language theory and its applications”, will be also useful as a general source of information in computation theory, both at the undergraduate and research level.Product Details * ISBN: 3540334602 * ISBN-13: 9783540334606 * Format: Other Format, 373pp * Publisher: Springer-Verlag New York, LLC * Pub. Date: September 2006 * Series: Studies in Computational Intelligence * Table of ContentsTable of Contents1″

دانلود کتاب «پیشرفت های اخیر در زبان های رسمی و برنامه های کاربردی»

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

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

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