Problems in set theory, mathematical logic and the theory of algorithms

Description

This book provides a systematic introduction to the field of enzyme-catalyzed reactions. The content develops from monosubstrate to bisubstrate to trisubstrate reactions, concluding with nonhyperbolic rate equations and allosteric and cooperative effects. Because it outlines the subject in such a way that it builds from less complicated to more demanding kinetic models, it can be used as a textbook for students of biochemistry and molecular biology. The author stresses the importance of graphical representation of kinetic models by frequent use of such mathematical models in the form of double-reciprocal plots. In addition, special attention is paid to isotope exchange studies, kinetic isotope effects, and the statistical evaluation of initial rate and ligand binding data Preface. I: Problems. 1. Set theory. 1.1. Operations on sets. 1.2. Relations and functions. 1.3. Special binary relations. 1.4. Cardinal numbers. 1.5. Ordinal numbers. 1.6. Operations on cardinal numbers. 2: Algebra. 2.1. Algebra of propositions. 2.2. Truth functions. 2.3. Propositional calculi. 2.4. The language of predicate logic. 2.5. Satisfiability of predicate formulas. 2.6. Predicate calculi. 2.7. Axiomatic theories. 2.8. Reduced products. 2.9. Axiomatizable classes. 3: Theory of algorithms. 3.1. Partial recursive functions. 3.2. Turing machines. 3.3. Recursive and recursively enumerable sets. 3.4. Kleene and Post numberings. II: Solutions. 1. Set theory. 1.1. Operations on sets. 1.2. Relations and functions. 1.3. Special binary relations. 1.4. Cardinal numbers. 1.5. Ordinal numbers. 1.6. Operations on cardinal numbers. 2. Mathematical logic. 2.1. Algebra of propositions. 2.2. Truth functions. 2.3. Propositional calculi. 2.4. The language of predicate logic. 2.5. Satisfiability of predicate formulas. 2.6. Predicate calculi. 2.7. Axiomatic theories. 2.8. Reduced products. 2.9. Axiomatizable classes. 3: Theory of algorithms. 3.1. Partial recursive functions. 3.2. Turing machines. 3.3. Recursive and recursively enumerable sets. 3.4. Kleene and Post numberings. References. Index