Logic

Description

This course deals with the propositional logic and the first-order predicate logic. The course covers notation systems, syntax and semantics, valid consequences, deduction, semantic tableaux, and meta- theory.

Knowledge and understanding

Understanding and using the basic concepts of mathematical logic. Learning how to reason and prove correctly. Application of logically correct formulations in a practical context.

The knowledge and experience obtained during this course will improve the ability of the students to think in a structural way about program design, problem solving, etc.

Making Judgements

This course will result in an improvement of the ability to structure information and to reason about the information obtained. The knowledge and insights obtained in this course will be used both implicitly and explicitly during the rest of the study.

Communication

By providing techniques to make information well- structured and clear, this course attributes to the ability of the students to communicate about problems, resulting in better solutions of problems, requirement analysis of software products, etc.

Skills

The skills of this course are necessary to successfully follow courses in the rest of the bachelor and in the master, e.g. Theoretical Computer Science and Logic for AI.