Tag:Logic-and-model-theory
From Wikipedia, the free encyclopedia
Jump to: navigation, search
Related Tags
semantics logic math programming model theory model-theory mathematics languages linguistics formal modeltheory research semanticweb explanation castalia syntax referencemaps non-constructive-model structure axiomatics algebra graph language group idea general-mathematics general-semantic-web modeling logical-theories linguagem-e-pensamento semantic-web jfkbits formalsemantics computer-theory formal-semantics-of-programming-languages sematics pl maths math.research semantic productabstraction transformation programminglanguage formal-semantics
Articles
- Formal semantics of programming languages (1)semantics programming languages mathematics wiki linguistics formal semantic productabstraction programminglanguage transformation pl theory sematics semantic-web jfkbits formal-semantics computer-theory formal-semantics-of-programming-languages formalsemantics logic-and-model-theory linguagem-e-pensamento math
- Model theory (1)logic math model theory model-theory semantics wikipedia mathematics semanticweb research modeltheory maths math.research logical-theories modeling non-constructive-model structure referencemaps logic-and-model-theory syntax explanation castalia axiomatics algebra general-mathematics general-semantic-web idea group graph language
Retrieved from "http://en.wikipedia.org/wiki/Tag:Logic-and-model-theory"