ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب A Practical Introduction to Denotational Semantics

دانلود کتاب مقدمه ای عملی بر معناشناسی دلالتی

A Practical Introduction to Denotational Semantics

مشخصات کتاب

A Practical Introduction to Denotational Semantics

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری: Cambridge Computer Science Texts 23 
ISBN (شابک) : 0521306892 
ناشر: Cambridge University Press 
سال نشر: 1986 
تعداد صفحات: 146 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 952 کیلوبایت

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



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب A Practical Introduction to Denotational Semantics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب مقدمه ای عملی بر معناشناسی دلالتی

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


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

This textbook is an introduction to denotational semantics and its applications to programming languages. Dr Allison emphasizes a practical approach and the student is encouraged to write and test denotational definitions. The first section is devoted to the mathematical foundations of the subject and sufficient detail is given to illustrate the fundamental problems. The remainder of the book covers the use of denotational semantics to describe sequential programming languages such as Algol, Pascal and C. Throughout, numerous exercises, usually in Pascal, will help the student practise writing definitions and carry out simple applications. The book culminates in discussing an executable semantics of the logic-programming language Prolog. Being an introduction, advanced undergraduates in computer science and graduates new to the subject will find this a readily accessible account of one of the central topics of computer science.





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد