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