"Babes-Bolyai" University of Cluj-Napoca
Faculty of Mathematics and Computer Science

Logic, Set Theory and Arithmetic
Code
Semes-
ter
Hours: C+S+L
Type
Section
MML0003
1
2+2+0
compulsory
Matematica
MML0003
1
2+2+0
compulsory
Matematică informatică
MML0003
1
2+2+0
compulsory
Matematici aplicate
Teaching Staff in Charge
Lect. MODOI Gheorghe Ciprian, Ph.D.,  cmodoimath.ubbcluj.ro
Lect. SZANTO Csaba Lehel, Ph.D.,  szantomath.ubbcluj.ro
Aims
Introductory concepts and results on mathematical logic, set theory and arithmetic.
Content
Chapter I. ELEMENTS OF MATHEMATICAL LOGIC.
1. Propositional calculus.
2. The decision problem.
3. Predicate calculus, quantifiers.
Chapter II. SETS, RELATIONS, FUNCTIONS.
1. Operations with sets.
2. Binary relations, functions.
3. Injective, surjective, bijective functions.
4. Equivalence relations and factor sets; the kernel of a function.
5. Factorization theorems.
6. Ordered sets, lattices, homomorphisms.
7. Boole algebras. Applications to Logic and Computer Science.
Chapter III. CARDINAL NUMBERS.
1. Definition.
2. Direct product and exponentiation of sets and functions. operations with cardinals.
2. Ordering of cardinal numbers.
3. Infinite and finite sets.
5. Elements of combinatorics.
Chapter IV. NUMBERS.
1. Introduction to axiomatic set theory.
1. Natural numbers (the Frege-Russell construction and Peano's axioms).
2. The construction of integer, rational, real numbers.
Chapter V. ARITHMETIC
1. Divisibility. Greatest comon divisor.
2. The division algorithm. The Euclidean algorithm.
3. Prime numbers. The unique factorization theorem.

References
1. 1. I. PURDEA, I. POP, Algebra, Editura GIL, Zalau, 2003.
2. I.T. ADAMSON: A Set Theory Workbook, Birkhauser, Boston, 1998.
3. S. BILANIUK: A Problem Course in Mathematical Logic, Trent University, Ontario 2003
4. G. GRATZER: General Lattice Theory, Birkhauser, Boston 1998.
5. P.R. HALMOS: Naive Set Theory, D. Van Nostrand Company Inc. Princeton 1967.
6. C. NASTASESCU: Introducere in teoria multimilor, Ed. Didactica si Pedagogica, Bucuresti 1981.
7. S.G. KRANTZ: Logic and Proof Techniques for Computer Science, Birkhauser Boston 2002.
8. A. MARCUS, C. SZANTO, L. TOTH: Logika es halmazelmelet, Sapientia Kiado, Kolozsvar 2004.
9. P. KOMJATH: Halmazelmelet, Egyetemi jegyzet, ELTE Budapest 1999.
10. P. KOMJATH: Matematikai logika, Egyetemi jegyzet, ELTE Budapest 2000.
11. I. PURDEA, C. PELEA, Probleme de algebra, EFES Cluj-Napoca 2005.

Assessment
A test paper throughout the semester representing 25% of the final mark, and an writing exam at the end of the semester (representing 75% of the final mark).

Links: Syllabus for all subjects
Romanian version for this subject
Rtf format for this subject