---
# System prepended metadata

title: معناشناسی عملیاتی برنامه‌نویسی

---

<div dir="rtl">

# معناشناسی عملیاتی برنامه‌نویسی 

</div>

## Operational Semantics of Programming

<div dir="rtl">

| <div style="width:80px">مقطع:</div>  | <div style="width:80px">کارشناسی</div>      | <div style="width:80px">نوع درس:</div>      |<div style="width:80px">نظری</div>      |
|:-|-|:-|-|
|  تعداد واحد: | ۳ | تعداد ساعت:  | ۴۸
| پیش‌نیاز:     | منطق برای علوم کامپیوتر     | هم‌نیاز:     |-     |
| حل تمرین:     | دارد     | آموزش تکمیلی:     |-     |
    
**اهداف کلی :**
آشنایی با معناشناسی برنامه‌نویسی

**اهداف ویژه:**
ندارد


**سر فصل یا رئوس مطالب:** 
معناشناسی عملیاتی. درستی یابی برنامه. تایپ های بازگشتی.


**فهرست منابع پیشنهادی**:

</div>

<div dir="ltr">
G. Winskel, The Formal Semantics of Programming Languages An Introduction, The MIT Press, 1994
</div>