Using Logic as a Tool for Modelling | Summer / Short course | Computer Science & IT | On Campus | 7 days | Vrije Universiteit Amsterdam | Netherlands

Logic is the study of different forms of reasoning. It can also be a useful tool for modelling diverse phenomena. This course starts with the basics, as we explain what is meant by Logic and illustrate how we can use symbolic language to convey meaning more efficiently than natural language. We will introduce two core approaches to studying Logic. The first is through semantics (meaning), and the second is through syntax. This way, we will demonstrate the power of Logic as a tool, reinforced with concrete examples. Throughout the course, we will encourage students to think about how they can apply logic to other disciplines they are interested in and discuss their ideas with lecturers and peers based on the information in the tutorials.