Logic and sets

There are no prerequisites.

Mathematical terminology, definitions, constructions, propositions, and proofs. Propositional and predicate calculus, rules of inference.
Basic set theory. Relations and functions. Equivalence relations and quotient sets. Ordered structures. Finite, countable and infinite sets. Cardinality of sets. Sets and classes. Axioms of set theory. Axiom of choice and Zorn's lemma.

1. J. D. Hamkins: Proof and the art of mathematics, Cambridge (Mass.) : The MIT Press, cop. 2020.
2. J. D. Hamkins: Proof and the art of mathematics : examples and extensions, Cambridge (Mass.) : The MIT Press, cop. 2021.
3. N. Prijatelj: Osnove matematične logike. Del 1, Simbolizacija, Ljubljana : Društvo matematikov, fizikov in astronomov, 1982, 1992.
4. N. Prijatelj: Osnove matematične logike. Del 2, Formalizacija, Ljubljana : Društvo matematikov, fizikov in astronomov Slovenije, 1992.
5. N. Prijatelj: Matematične strukture. 1, Množice, relacije, funkcije, 5. izd. - Ljubljana : Društvo matematikov, fizikov in astronomov Slovenije, 1996.

Students learn the basics about mathematical proofs and correct logic inference, basic discrete structures, basic terminology from combinatorics and basics about set theory.

Knowledge and understanding: Capability of forming exact mathematical expressions. Basic understanding of the concept of a mathematical proof. Basic knowledge about discrete structures and sets.
Application: Propositional calculus is an elementary language for expressing mathematical content. A proof is a basic mathematical tool. Hence, the knowledge obtained in this course is used in all subseqent mathematical courses.
Reflection: Mathematical logic is a mathematical reflection on mathematics as an axiomatic method. The course encourages reflection on the nature of mathematics itself.
Transferable skills: Correct proving, as well as the knowledge from set theory, represent a basis for all mathematical courses. Knowledge about discrete structures is the basis for further courses on discrete mathematics and computer science.

Lectures, exercises, homework, consultations

2 midterm exams instead of written exam, written exam
Oral exam
grading: 5 (fail), 6-10 (pass) (according to the Statute of UL)

Andrej Bauer:
BAUER, Andrej, LEŠNIK, Davorin. Metric spaces in synthetic topology. V: 3rd Workshop on Formal Topology, Padua, 7-12 May 2007. Third workshop on formal topology : special issue, (Annals of pure and applied logic (Print), ISSN 0168-0072, Vol. 163, iss. 2 (February 2012)). Amsterdam: Elsevier, 2012, vol. 163, issue 2, str. 87-100. [COBISS-SI-ID 16073305]
AWODEY, Steve, BAUER, Andrej. Propositions as [Types]. Journal of logic and computation, ISSN 0955-792X, 2004, vol. 14, no. 4, str. 447-471. [COBISS-SI-ID 13374809]
BAUER, Andrej, SIMPSON, Alex. Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability. Mathematical logic quarterly, ISSN 0942-5616, 2004, vol. 50, no. 4/5, str. 351-369. [COBISS-SI-ID 13378649]