Logic C 3501-WISIP-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
Mode
Prerequisites (description)
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
FROM 2020/2021
written exam
Permissible number of absences: 2
TO 2019/2020
clasroom written tests, final oral exam
Additional information
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: