Difference between revisions of "Mathematical Semantics"
Jump to navigation
Jump to search
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{WikiEntry|key= Mathematical semantics|qCode=1189746}} is also known as {{WikiEntry|key=denotational semantics|qCode=1189746}}, which implied that this is a form of [[Data Science]]. This field has been attributed to Dana Scott<ref>{{:Paper/Outline of a Mathematical Theory of Computation}}</ref> and Christopher Strachey. | |||
<noinclude> | <noinclude> | ||
| Line 14: | Line 14: | ||
[[Category:Verification]] | [[Category:Verification]] | ||
[[Category:Validation]] | [[Category:Validation]] | ||
[[Category:Combinatorial Physics]] | |||
</noinclude> | </noinclude> | ||
Latest revision as of 15:18, 1 February 2022
Mathematical semantics(Q1189746) is also known as denotational semantics(Q1189746), which implied that this is a form of Data Science. This field has been attributed to Dana Scott[1] and Christopher Strachey.
References
- ↑ Scott, Dana (January 1, 1970). "Outline of a Mathematical Theory of Computation". local page: Oxford University Computing Laboratory Programming Research Group.
Related Pages