علم الدلالة الشكلي

في المعلوماتية النظرية، علم الدلالة الشكلي formal semantics هو الحقل الذي يهتم بالدراسة الرياضية البحتة لمعنى لغات البرمجة ونماذج التحسيب.[1]

يعطى علم الدلالة الشكلي للغة ما عن طريق نموذج رياضي يصف طرق التحسيب الممكنة التي توصف بهذه اللغة.

المراجع
  1. Knuth, Donald E.، "Memorial Resolution: Robert W. Floyd (1936-2001)" (PDF)، Stanford University Faculty Memorials، Stanford Historical Society، مؤرشف من الأصل (PDF) في 12 مارس 2012.
  • بوابة برمجة الحاسوب
  • بوابة رياضيات
  • بوابة علم الحاسوب
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.