Mathematics III - Logic, 7.5 credits

About the course

The course treats propositional and predicate logic, inductively defined sets, formal languages, substitution, semantics, natural deduction. The soundness and completeness with respect to the semantics is proved and applied on various problems.

Know what you want to study?

Find your study programme

What can I study?

Explore our subjects