After the introduction of programming concepts, this book presents both famous and less computational model of the famous ("programming paradigm"). General models include declarative programming, declarative concurrency, message-passing concurrency, explicit state, object-oriented programming, shared-state concurrency, and relational programming. particular model includes a graphical user interface programming, distributed programming and constraint programming. Due to various languages and programming paradigms can be modeled with a small set of closely related kernel languages, this approach allows programmers and students to understand the underlying unity of programming. This book fragments of many programs and exercises, all of which can be run on the Mozart Programming System, Open Source software package that comes with interactive incremental development environment.