|
After passing this course, you are able to
- deal with the cognitive style of theoretical computing science;
- translate natural language into logical formulas and vice versa in propositional logic, predicate logic and modal logic;
- reason informally about the validity of formulas in models in the three logics mentioned above;
- understand the terms alphabet, word, and formal language, and apply the basic operations on words and languages properly;
- associate languages with regular expressions, context-free grammars and finite automata;
- understand and properly apply basic concepts from graph theory;
- compute and apply binomial coefficients and Stirling numbers;
- define functions using recursion;
- prove statements using the principle of mathematical induction.
|
|
|
This is an introductory course in mathematical logic and theoretical computing science. A lot of important subjects from these fields are briefly introduced. The course consists of three blocks of two chapters each. The first block explains the basic concepts of propositional logic and predicate logic. The second block is about languages and several formal representations of these languages. The two chapters in the third block are not closely related. They introduce some concepts from the field of discrete mathematics and extend the propositional logic to modal logic.
Instructional Modes
- Lecture
- Tutorial
- Self-study
|
|
|
| Secondary school mathematics |
|
| There are three non-compulsory interim tests and there is a written final exam. The interim tests are only taken into account if the average of these tests is higher than the grade for the final exam. See the website of this course for the exact formula. |
|
|
This course is a compulsory part in the Artificial Intelligence bachelor. In addition, the course is included in several pre-master programs. This course is a direct preparation for the course "IPI004 Logic and Applications".
|
|