Problems in Set Theory, Mathematical Logic and the Theory of Algorithms

[896/80%]

I. A. Lavrov, L. L. Maksimova

Part IPart I. Set Theory[311/75%]

Chapter I.1Operations on Sets[41/63%]

Chapter I.2Relations and Functions[51/61%]

Chapter I.3Special Binary Relations[72/71%]

Chapter I.4Cardinal Numbers[43/93%]

Chapter I.5Ordinal Numbers[69/81%]

Chapter I.6Operations on Cardinal Numbers[35/80%]

Part IIPart II. Mathematical Logic[425/81%]

Chapter II.1The Algebra of Propositions[47/83%]

Chapter II.2Functions of the Algebra of Logic[33/91%]

Chapter II.3Propositional Calculi[48/83%]

Chapter II.4The Language of the Predicate Calculus[30/50%]

Chapter II.5Satisfiability of Formulas of the Predicate Calculus[45/82%]

Chapter II.6Predicate Calculi[54/76%]

Chapter II.7Axiomatic Theories[45/89%]

Chapter II.8Filtered Products[60/75%]

Chapter II.9Axiomatizable Classes[63/92%]

Part IIIPart III. Theory of Algorithms[160/85%]

Chapter III.1Partial Recursive Functions[44/77%]

Chapter III.2Turing Machines[25/96%]

Chapter III.3Recursive and Recursively Enumerable Sets[48/81%]

Chapter III.4Kleene and Post Numberings[43/91%]