دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Semantics of Programming Languages and Model Theory
دانلود کتاب معناشناسی زبان های برنامه نویسی و نظریه مدل
مشخصات کتاب
Semantics of Programming Languages and Model Theory
ویرایش: 1
نویسندگان: Manfred Droste. Yuri Gurevich
سری: Algebra, Logic, and Applications, Vol 5
ISBN (شابک) : 2881249353, 9782881249358
ناشر: CRC Press
سال نشر: 1993
تعداد صفحات: 188
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 12 مگابایت
قیمت کتاب (تومان) : 48,000
کلمات کلیدی مربوط به کتاب معناشناسی زبان های برنامه نویسی و نظریه مدل: برنامه نویسی، API ها و محیط های عملیاتی، الگوریتم ها، برنامه نویسی اپل، توسعه متقابل پلت فرم، عملکردی، برنامه نویسی بازی، گرافیک و چند رسانه ای، مقدماتی و آغاز، زبان ها و ابزارها، برنامه نویسی مایکروسافت، برنامه های موبایل، برنامه نویسی موازی و تست نرم افزار، طراحی نرم افزار، برنامه نویسی وب، کامپیوتر و فناوری، زبان های برنامه نویسی، آدا، آژاکس، برنامه نویسی زبان اسمبلی، بورلند دلفی، سی و سی پلاس پلاس، سی شارپ، CSS، طراحی کامپایلر، کامپایلرها، DHTML، اشکال زدایی، دلفی، فورترن، جاوا، لیسپ، پرل، پرولوگ، پای
در صورت تبدیل فایل کتاب Semantics of Programming Languages and Model Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب معناشناسی زبان های برنامه نویسی و نظریه مدل نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب معناشناسی زبان های برنامه نویسی و نظریه مدل
تعامل بین منطق ریاضی و تئوری زبان‌های برنامه‌نویسی در دهه‌های
گذشته، توجه فزاینده‌ای را برانگیخته است. در این حوزه تحقیقاتی،
حوزه های ریاضی نظریه مدل، منطق و ساختارهای منظم، محرک های جدیدی
از علوم کامپیوتر دریافت کرده اند. به طور همزمان، روش های پیچیده
ریاضی، کاربردهای جدیدی را در کل حوزه معناشناسی زبان های برنامه
نویسی تعریف کرده اند. بسیاری از مسائل دشوارتر در نظریه محاسبات
به ترکیبی از روش‌ها از نظریه مدل، منطق و ساختارهای مرتب و
همچنین از معناشناسی نیاز دارند. مقالات این کتاب هم به جنبه های
تخصصی رابطه و هم به روش های ناب در هر یک از زمینه های نظریه
مدل، ساختارهای منظم و معناشناسی می پردازد. در حالی که برخی از
فصول مربوط به تحقیقات اولیه در این زمینه است، مقالات مروری برای
افراد غیرمتخصص نیز گنجانده شده است.
M. Droste در دانشگاه GHS Essen، آلمان و Y. Gurevich در دانشگاه
میشیگان، ایالات متحده است.
توضیحاتی درمورد کتاب به خارجی
The interplay between mathematical logic and the theory of
programming languages has aroused an increasing amount of
interest during the last decades. In this research area, the
mathematical fields of model theory, logic and ordered
structures have received new stimuli from computer science.
Simultaneously, complex mathematical methods have defined new
applications in the entire area of semantics of programming
languages. Many of the more difficult problems in the theory of
computation require a combination of methods from model theory,
logic and ordered structures as well as from semantics. The
articles in this book deal with both the specialised aspects of
the relationship and with pure methods in each of the fields of
model theory, ordered structures and semantics. Whereas some
chapters are concerned with original research in this area,
review articles for the nonspecialist are also included.
M. Droste is at the University GHS Essen, Germany and Y.
Gurevich is at the University of Michigan, US
نظرات کاربران
کتاب های تصادفی
دانلود کتاب State-society Relations in the People’s Republic of China Post-1949
دانلود کتاب Decision at Sea: Five Naval Battles That Shaped American History
دانلود کتاب Constructing 21St Century U.S. Foreign Policy: Identity, Ideology, and America’s World Role in a New Era
