Introduction to Model Theory

We start this book with Theme A (see Figure P. I in the Preface), which aims to develop an essential and fundamental understanding of systems science. So, what is systems science? When asked to explain what systems science is all about, many systems scientists are confronted with a rather daunting task. The discipline tends to be presented and understood in a fragmented way and very few people hold an overview understanding of the subject matter, while also having sufficient in-depth competence in many and broad-ranging subject areas where the ideas are used. Indeed, it was precisely this difficulty that identified the need for a comprehensive well-documented account such as is presented here in Dealing with Complexity.

Theory of computation, Automata Theory, Formal Language and Automata Theory

This book is intended as an undergraduate senior level or beginning graduate level text for mathematical logic. There are virtually no prere­ quisites, although a familiarity with notions encountered in a beginning course in abstract algebra such as groups, rings, and fields will be useful in providing some motivation for the topics in Part III.