๐”– Scriptorium
โœฆ   LIBER   โœฆ

๐Ÿ“

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

โœ Scribed by I A Lavrov; L L Maksimova; Giovanna Corsi


Publisher
Kluwer Academic/Plenum Publishers
Year
2003
Tongue
English
Leaves
293
Series
University series in mathematics (Plenum Press)
Category
Library

โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

โœฆ Synopsis


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


๐Ÿ“œ SIMILAR VOLUMES


Lectures in Logic and Set Theory. Volume
โœ George Tourlakis ๐Ÿ“‚ Library ๐Ÿ“… 2003 ๐Ÿ› Cambridge University Press ๐ŸŒ English

This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly