(in Polish) Logic C 3800-ISP-L1C
The lecture introduces basic notions and techniques of modern logic. In particular, it gives general information about proof systems (axiomatic and natural deduction systems), set theory and metalogic.
The program covers the following topics:
1. Proof systems for first order logic (axiomatic and natural deduction systems)
2. Mathematical induction and its equivalent versions (least number principle, ordinal induction)
3. Elements of set theory
4. Semantics for first-order languages.
Type of course
Course coordinators
Learning outcomes
A student completing the course:
KNOWLEDGE
1. Knows the basic logical terminology in English
2. Understands the basic rules of constructing proofs
3. Understands the basic ideas within proof theory, set theory and metalogic
SKILLS
1. Is able to follow an oral presentation of formal arguments
2. Formulates basic theorems and lemmas
SOCIAL COMPETENCE
1. Is aware of the scope of his own knowledge and skills
2. Understands and appreciates the need of learning new skills and professional development
Assessment criteria
written exam
Acceptable number of missed classes without formal explanation: 2
Bibliography
Ebbinghaus, H; Flum, J; Thomas, W., Mathematical Logic, Berlin, New York, Springer-Verlag, 1994.
Enderton, H. A Mathematical Introduction to Logic, Academic Press, 2002.
Suppes, P. Axiomatic Set Theory, New York, Dover, 1972.
Additional information
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: