سيمانتيك شكلي
في المعلوماتية النظرية، السيمانتيك الشكلي باللغة الانجليزية formal semantics هو عبارة عن الحقل الذي يهتم بالدراسة الرياضية البحتة لمعنى لغات البرمجة ونماذج التحسيب .حيث يعطى السيمانتيك الشكلي للغة ما عن طريق نموذج رياضي يصف طرق التحسيب الممكنة التي توصف بهذه اللغة .
المراجع
mawsoati.com
التصانيف
طرق شكلية معلوماتية نظرية منطق معلوماتي العلوم التطبيقية