Languages and Interpretations

摘要: In this chapter, we review the very general concept of language as medium used by humans, but also mechanical devices, to communicate. Every is defined a syntax, which specifies how its sentences can be composed, and semantics, associates with every sentence meaning. Language syntax semantics informally, it happens natural languages, or formally, exploiting precision rigor mathematics, artificial languages such programming formalisms that will presented in book. Languages are distinguished into operational ones – more suitable describe system’s structure behavior descriptive oriented towards specifying requirements. Mathematical logic fundamental formalism thoroughly exploited The final part chapter introduces two formalisms, namely propositional calculus predicate calculus, prerequisite most other formalisms.