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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Automatentheorie und Logik 001

دانلود کتاب نظریه و منطق خودکار 001

مشخصات کتاب

Automatentheorie und Logik 001

دسته بندی: سایبرنتیک
ویرایش:  
 
سری:  
ISBN (شابک) : 352805431X, 0134606434 
ناشر:  
سال نشر:  
تعداد صفحات: 130 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 853 کیلوبایت

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

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

در صورت تبدیل فایل کتاب Automatentheorie und Logik 001 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نظریه و منطق خودکار 001 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب نظریه و منطق خودکار 001

این کتاب درسی برای دانشجویان و دست اندرکاران جاه طلبی است که به تئوری برنامه نویسی یا معناشناسی زبان های برنامه نویسی علاقه مند هستند و همچنین می خواهند با مفاهیم جدیدتر آشنا شوند جریان داده های یک زبان برنامه نویسی ضروری و غیر قطعی و جریان کنترل یک زبان عاری از متغیر ابتدا به طور جداگانه توصیف می شود و سپس در یک معناشناسی یکپارچه برای برنامه های موازی ادغام می شود. توجه ویژه ای به مطالعه روابط ریاضی بین رویکردهای مختلف معنایی می شود. این کتاب با شواهدی آسان و مثال‌های مرتبط عملی کامل است و علاوه بر مطالعات موردی بزرگ‌تر، شامل تمرین‌هایی با راه‌حل‌های مدل و انتخاب گسترده‌ای از ادبیات است.

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

Dieses Lehrbuch richtet sich an Studenten und ambitionierte Praktiker, die sich für die Theorie der Programmierung bzw. die Semantik von Programmiersprachen interessieren und dabei auch neuere Konzepte kennenlernen wollen.Der Datenfluß einer imperativen und nichtdeterministischen Programmiersprache und der Kontrollfluß einer variablenfreien Sprache werden zunächst getrennt beschrieben und dann zu einer einheitlichen Semantik für parallele Programme zusammengefügt. Besonderes Augenmerk liegt auf dem Studium der mathematischen Beziehungen zwischen verschiedenen semantischen Ansätzen. Das Buch ist vollständig mit leicht verständlichen Beweisen und praktische relevanten Beispielen versehen und enthält neben größeren Fallstudien auch Übungsaufgaben mit Musterlösungen sowie eine breite Literaturauswahl.