تضامنًا مع حق الشعب الفلسطيني |
علم الدلالة الشكلي
اذهب إلى التنقل
اذهب إلى البحث
في المعلوماتية النظرية، علم الدلالة الشكلي formal semantics هو الحقل الذي يهتم بالدراسة الرياضية البحتة لمعنى لغات البرمجة ونماذج التحسيب.[1]
يعطى علم الدلالة الشكلي للغة ما عن طريق نموذج رياضي يصف طرق التحسيب الممكنة التي توصف بهذه اللغة.
المراجع
- ^ Knuth، Donald E. "Memorial Resolution: Robert W. Floyd (1936-2001)" (PDF). Stanford University Faculty Memorials. Stanford Historical Society. مؤرشف من الأصل (PDF) في 2012-03-12.