English  

كتب علوم الكمبيوتر

اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.

عرض المزيد

علوم الكمبيوتر (معلومة)


في علوم الكمبيوتر، والتي تعتبر بمثابة تطبيق المنطق الرياضي، فإن الدلالات تعكس معنى البرامج أو الوظائف.

وفي هذا الصدد، فإن الدلالات تسمح للبرامج بفصلها إلى جانبها البنائي (التركيب النحوي) ودورها الدلالي (المعنى). وعلى سبيل المثال، فإن العبارات التالية تستخدم جمل مختلفة، ولكنها تناقش نفس التعليمات:

  • x += y (C, Java, Python, etc.)
  • x := x + yx := x + y (Pascal)
  • Let x = x + y (early BASIC)
  • x = x + y (most BASIC dialects, Fortran)
  • (incf x y) (Common Lisp)

وعموما فإن جميع هذه العمليات سوف تقوم كلها بالإضافة الحسابية لـ y إلى x وتخزن الناتج في متغير يسمى "x".

تقع الدلالات الخاصة بتطبيقات الحاسوب في ثلاث فئات هي:

  • الدلالات التنفيذية: يتم تعيين معنى البناء عن طريق حسابه الذي يحثه عندما يتم تنفيذه على الجهاز.

وعلى وجه الخصوص، فمن الضروري كيف يتم إنتاج تأثير العملية الحسابية.

  • الدلالات المعلمة : يتم تمثيل المعاني بواسطة الأهداف الرياضية التي تمثل تأثير تنفيذ النظم. وبالتالي يكون فقط التأثير هو موضع الاهتمام، وليس كيفية الحصول عليه.
  • الدلالات البديهية: هي الخصائص المحددة لتأثير تنفيذ النظم كما هي معبر عنها بالتأكيدات. وبالتالي قد يكون هناك جوانب من العمليات التي يتم تنفيذها متجاهله.

يشير الويب الدلالي إلى تمديد الشبكة العالمية من خلال تضمين المزيد من البيانات الوصفية الدلالاية؛ s.a. لغة علم الوجود على الإنترنت (OWL)

المصدر: wikipedia.org