Zoekresultaten

… framework that is based on logic and reason. The main objective of the course is to make students familiar with the language of mathematics. Students will learn how to make sound arguments and to detect where and why certain arguments go wrong. For this purpose, we will discuss the basic principles of logic and, closely related, the basic types of mathematical proofs. In doing so, we will encounter numbers \such as integers, natural numbers and real numbers and we shall examine what makes … Written exam, Assignment Introduction to Image & Video Processing Full course description Image and video processing is everywhere around us, in smartphones, robotics, medicine, security systems, microscopy, remote sensing, video games, travel, shopping, environmental management and many other applications. Image and video processing is based on principles of signal processing, extended to multiple dimensions. In this class students will have a short introduction to basic 2D signals and … https://coursecatalogue.maastrichtuniversity.nl/meta/434681/logic-artificial-intelligence?print=1 https://coursecatalogue.maastrichtuniversity.nl/roos Data Science and Artificial Intelligence 42 tools can check whether your program works by showing that it correctly satisfies its specification, or finds a case in which it can go wrong. Unlike unit testing and other software validation methods, verification tools use formal methods to rigorously prove …

… framework that is based on logic and reason. The main objective of the course is to make students familiar with the language of mathematics. Students will learn how to make sound arguments and to detect where and why certain arguments go wrong. For this purpose, we will discuss the basic principles of logic and, closely related, the basic types of mathematical proofs. In doing so, we will encounter numbers \such as integers, natural numbers and real numbers and we shall examine what makes … and Artificial Intelligence 24 Introduction to Image & Video Processing Full course description Image and video processing is everywhere around us, in smartphones, robotics, medicine, security systems, microscopy, remote sensing, video games, travel, shopping, environmental management and many other applications. Image and video processing is based on principles of signal processing, extended to multiple dimensions. In this class students will have a short introduction to basic 2D signals and … methods: Project-Centered Learning Assessment methods: Written exam, Assignment Software and Systems Verification Full course description Have you ever written a program with a bug in it? Then this course is for you! Software verification tools can check whether your program works by showing that it correctly satisfies its specification, or finds a case in which it can go wrong. Unlike unit testing and other software validation methods, verification tools use formal methods to rigorously prove …

… First year courses Research Master Specialisation Clinical Psychology Year 1 Faculty of Psychology and Neuroscience Anxiety Disorders Full course description In industrialized countries, anxiety disorders are the largest group of mental disorders for which patients are referred, and without appropriate treatment the natural course is often chronic. Luckily, anxiety disorders are relatively well studied and understood, and the outcome of treatment is relatively favorable. In anxiety disorders, … The following advanced topics will then be covered: unbalanced factorial designs, contrast analysis, interaction in multiple regression, simple slope analysis, dummy coding, centering covariates, different coding schemes, collinearity and residuals checks and data transformation. The second half of the core course consists of four units, two on repeated measures ANOVA and two on mixed linear regression for repeated measures. The first two units cover classical repeated measures ANOVA for the one- … will be the main focus of this course. The course starts with an introductory session during which a modern approach of bodily distress disorders is presented and the example of low back pain is used to demonstrate this approach. Two sessions are workshops: in the first workshop session, students design an experimental/intervention study in smaller groups and in the second they present their design to the rest of the group and discussion, Q&A and critical reflection and feedback is stimulated. In …