This new edition of Mastering Mathematica focuses on using Mathematica as a programming language, because programming in Mathematica is the best way to use the software to its fullest capacity. The book covers functional programming, imperative programming, rewrite programming, and object-oriented programming. It also addresses the use of Mathematica as a symbolic manipulator and a general tool for knowledge representation.* Focus on four different types of programming styles with Mathematica: functional programming, rewrite (or rule-based) programmng, imperative (or procedural) programming, and object-oriented programming, with many examples of each style* Compatible with Mathematica 3.0 and its programming language* Chapters on graphics programming show how to make the most of the considerable graphics capabilities of Mathematica* Includes coverage of programming needed for creation of Mathematica packages that allow a user to extend the language as needed for particular uses* Applications include:* Polya pattern analysis* Critical points of functions* Object-oriented graph theory* Minimal surfaces* Mathematica-Enhanced CD-ROM Enclosed* Complete text in active Mathematica Notebook files, enhanced for v3.0; Allows you to evaluate complex examples without retyping; Extensive use of the v3.0 math typesetting system* Hyperlink index and table of contents * Instant access to any chapter or topic* Index is automatically merged with the main Mathematica help system forming a master index of all the user's Mathematica related information; Quickly see listings on a given topic from The Mathematica Book, Mastering Mathematica, the Guide to Standard Packages, or any other Help Browswer aware books you have installed

Product Description: Category theory has had important uses in logic since the invention of topos theory in the early 1960s, and logic has always been an important component of theoretical computer science. A new development has been the increase in direct interactions between category theory and computer science...read more