سيمانتيك شكلي
في المعلوماتية النظرية، السيمانتيك الشكلي formal semantics هو الحقل الذي يهتم بالدراسة الرياضية البحتة لمعنى لغات البرمجة ونماذج التحسيب.
يعطى السيمانتيك الشكلي للغة ما عن طريق نموذج رياضي يصف طرق التحسيب الممكنة التي توصف بهذه اللغة.
| ملف:Nuvola apps edu mathematics-ar.svg | بوابة رياضيات تصفح مقالات ويكيبيديا المهتمة بالرياضيات. |
cv:Семантика (программăлани) de:Formale Semantik el:Τυπική σημασιολογία των γλωσσών προγραμματισμού Semantics of programming languages]] fr:Sémantique des langages de programmation hr:Formalna semantika programskih jezika ja:プログラム意味論 pt:Semântica formal ru:Семантика (программирование) zh:形式语义学
