<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>