Andere Kunden interessierten sich auch für
![Modal Logic]( "Modal Logic")
Modal Logic358,99 €![Use of Abstraction and Logic in Mathematics]( "Use of Abstraction and Logic in Mathematics")
Use of Abstraction and Logic in Mathematics200,99 €![Substructural Logics]( "Substructural Logics")
Substructural Logics210,99 €![Handbook of Logic in Computer Science]( "Handbook of Logic in Computer Science")
Handbook of Logic in Computer Science666,99 €![A Study of Logics]( "A Study of Logics")
A Study of Logics270,99 €![Temporal Logic]( "Temporal Logic")
Temporal Logic408,99 €![Twenty-Five Years of Constructive Type Theory]( "Twenty-Five Years of Constructive Type Theory")
Twenty-Five Years of Constructive Type Theory133,99 €
Logic languages are free from the ambiguities of natural languages, and are therefore specially suited for use in computing. Model theory is the branch of mathematical logic which concerns the relationship between mathematical structures and logic languages, and has become increasingly important in areas such as computing, philosophy and linguistics. As the reasoning process takes place at a very abstract level, model theory applies to a wide variety of structures. It is also possible to define new structures and classify existing ones by establishing links between them. These links can be very useful since they allow us to transfer our knowledge between related structures. This book provides a clear and readable introduction to the subject, and is suitable for both mathematicians and students from outside the subject. It includes some historically relevant information before each major topic is introduced, making it a useful reference for non-experts. The motivation of the subject is constantly explained, and proofs are also explained in detail.
Formal logic, free from the ambiguities of natural languages, is especially suited for use in computing. In turn, model theory, which is concerned with the relationship between mathematical structures and logic, now has a wide range of applications in areas such as computing, philosophy, and linguistics. Model theory's power comes from its usefulness in defining new structures and in classifying existing ones by establishing links between them. This book, suitable for both mathematicians and students from outside the field, provides a clear and readable introduction to the subject. It includes brief historically background for each major topic and consistently points out the motivations for each new development. The proofs are also explained in detail.
Formal logic, free from the ambiguities of natural languages, is especially suited for use in computing. In turn, model theory, which is concerned with the relationship between mathematical structures and logic, now has a wide range of applications in areas such as computing, philosophy, and linguistics. Model theory's power comes from its usefulness in defining new structures and in classifying existing ones by establishing links between them. This book, suitable for both mathematicians and students from outside the field, provides a clear and readable introduction to the subject. It includes brief historically background for each major topic and consistently points out the motivations for each new development. The proofs are also explained in detail.