1 Basic Theories. - Boolean Theory. - Number Theory. - Character Theory. - 2 Basic Data Structures. - Bunch Theory. - Set Theory. - String Theory. - List Theory. - 3 Function Theory. - Functions. - Quantifiers. - Function Fine Points. - 4 Program Theory. - Specifications. - Program Development. - Time. - Robustness. - Refinement in Place. - 5 Programming Language. - Scope. - Data Structures. - Control Structures. - Time Dependence. - Assertions. - Subprogram. - Alias. - Functional Programming. - 6 Recursive Definition. - Recursive Data Definition. - Recursive Program Definition. - Limits. - 7 Theory Design and Implementation. - Data Theories. - Program Theories. - Specification by Implementation. - 8 Concurrency. - Independent Composition. - Circuit Design. - Found Concurrency. - 9 Communication. - Implementability. - Input and Output. - Recursively Defined Communication. - Input Composition. - Reaction Controller. - Communicating Processes. - Power Series Multiplication. - 10 Exercises. - Basic Theories. - Basic Data Structures. - Function Theory. - Program Theory. - Programming Language. - Recursive Definition. - Theory Design and Implementation. - Concurrency. - Communication. - 11 Reference. - Justifications. - Sources. - Axioms and Laws. - Symbols and Names. - Precedence. Language: English