After successful completion of the course, students are able to distinguish first- and second order logic. They will be capable of formalizing and verifying mathematical theorems in systems of higher-order logic. The course will provide a deeper understanding of arithmetic theories and the theory of natural numbers, thus laying the foundation to scientific research.
presentation in lecture, exercises and discussion of solutions
Literature:
oral examination and participation in exercises and discussions
Not necessary
Firm knowledge in first-order logic