نرم افزار: سیستم ها: محاسبات علمی

منطق و اتومات: تاریخچه و دیدگاه ها

Logic and Automata: History and Perspectives

دانلود کتاب Logic and Automata: History and Perspectives (به فارسی: منطق و اتومات: تاریخچه و دیدگاه ها) نوشته شده توسط «Jorg Flum – Erich Gradel – Thomas Wilke»

اطلاعات کتاب منطق و اتومات: تاریخچه و دیدگاه ها

موضوع اصلی: ریاضیات

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

ناشر: Amsterdam University Press

نویسنده: Jorg Flum – Erich Gradel – Thomas Wilke

زبان: english

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

سال انتشار: 2008

تعداد صفحه: 737

حجم فایل: 4.27 مگابایت

کد کتاب: 9048501288 , 9789053565766

توضیحات کتاب منطق و اتومات: تاریخچه و دیدگاه ها

منطق ریاضی و نظریه اتوماتا دو رشته علمی هستند که اساساً رابطه نزدیکی دارند. نویسندگان Logic and Automata به مناسبت شصتمین سالگرد تولد ولفگانگ توماس به ارائه توری از افق تئوری و منطق اتوماتا می پردازند. بیست مقاله در این مجلد جنبه‌های مختلف منطق و نظریه خودکار را پوشش می‌دهد و بر ارتباط با سایر رشته‌ها مانند بازی‌ها، الگوریتم‌ها و نظریه نیمه‌گروهی تأکید می‌کند و همچنین چالش‌های فعلی در این زمینه را مورد بحث قرار می‌دهد.

Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasion of the sixtieth birthday of Wolfgang Thomas to present a tour d’horizon of automata theory and logic. The twenty papers in this volume cover many different facets of logic and automata theory, emphasizing the connections to other disciplines such as games, algorithms, and semigroup theory, as well as discussing current challenges in the field. 

دانلود کتاب «منطق و اتومات: تاریخچه و دیدگاه ها»

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

دیدگاهتان را بنویسید

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