دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings
دانلود کتاب مبانی ریاضی معناشناسی برنامه نویسی: نهمین کنفرانس بین المللی نیواورلئان ، لس آنجلس ، ایالات متحده ، 7-10-10 آوریل 1993 مجموعه مقالات
مشخصات کتاب
Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings
ویرایش: [1 ed.] نویسندگان: Peter Aczel (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.) سری: Lecture Notes in Computer Science 802 ISBN (شابک) : 3540580271, 9783540580270 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1994 تعداد صفحات: 654 [657] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
قیمت کتاب (تومان) : 46,000
در صورت تبدیل فایل کتاب Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی ریاضی معناشناسی برنامه نویسی: نهمین کنفرانس بین المللی نیواورلئان ، لس آنجلس ، ایالات متحده ، 7-10-10 آوریل 1993 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی ریاضی معناشناسی برنامه نویسی: نهمین کنفرانس بین المللی نیواورلئان ، لس آنجلس ، ایالات متحده ، 7-10-10 آوریل 1993 مجموعه مقالات
این جلد مجموعه مقالات نهمین کنفرانس بین المللی مبانی ریاضی معناشناسی برنامه نویسی است که در نیواورلئان در آوریل 1993 برگزار شد. تمرکز مجموعه کنفرانس بر معناشناسی زبان های برنامه نویسی و ریاضیاتی است که از مطالعه مفاهیم. معناشناسی اساساً دلالت است. ریاضیات را می توان به عنوان نظریه دسته بندی، نظریه شبکه یا منطق طبقه بندی کرد. کنفرانس ها و کارگاه های اخیر به طور فزاینده ای بر کاربردهای معناشناسی و ریاضیات تاکید کرده اند. مطالعه معناشناسی با ریاضیات توسعه می یابد و ریاضیات از برنامه های کاربردی در معناشناسی الهام می گیرد. این جلد، تحقیقات کنونی را در معناشناسی دلالتی و کاربردهای نظریه مقوله، منطق، و نظریه شبکه در معناشناسی ارائه می دهد.
توضیحاتی درمورد کتاب به خارجی
This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics, held in New Orleans in April 1993. The focus of the conference series is the semantics of programming languages and the mathematics which supports the study of the semantics. The semantics is basically denotation. The mathematics may be classified as category theory, lattice theory, or logic. Recent conferences and workshops have increasingly emphasized applications of the semantics and mathematics. The study of the semantics develops with the mathematics and the mathematics is inspired by the applications in semantics. The volume presents current research in denotational semantics and applications of category theory, logic, and lattice theory to semantics.
