علم الدلالة الشكلي
Sign in to saveAlso known as semantics, formal semantics, program semantics
the field concerned with the rigorous mathematical study of the meaning of programming languages
Wikidata facts
Show 1 more fact
- Stack Exchange tag
- stackoverflow.com/tags/formal-semantics
via Wikidata · CC0
Article · العربية
في المعلوماتية النظرية، علم الدلالة الشكلي formal semantics هو الحقل الذي يهتم بالدراسة الرياضية البحتة لمعنى لغات البرمجة ونماذج التحسيب. يعطى علم الدلالة الشكلي للغة ما عن طريق نموذج رياضي يصف طرق التحسيب الممكنة التي توصف بهذه اللغة.
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
Semantic Web
Entity
syntax
Entity
formal verification
Entity
semantics of logic
Entity
categorical logic
Entity
language
Entity
Internet
Entity
linguistics
Entity
computer science
Entity
algebra
Entity
International Standard Book Number
Entity
programming language
Entity
World Wide Web
Entity
set theory
Entity
axiom
Entity
database
Entity
digital object identifier
Entity
ontology
Entity
compiler
Entity
mathematical logic
Entity