New master students, welcome! This page is where you will find
most of the course materials, assignments, and other information
related to the Preparatory Course for the Software Technology Master Programme.
Basically it is a crash course covering three topics (each is normally given as a full course): Functional Programming (FP), Program Correctness (PC), and Grammar and Parsing (GP). Please note that this course will rely mainly on your self-study. You're responsible for acquiring the courses materials yourself. You will get assignments, which you should make, both to guide your self-learning process, as well as a means to evaluate your progress. There will be no lectures, but instead we have meetings regularly, where we discuss selected topics. You are expected to have read relevant chapters and do recommended exercises before you come to a meeting.
We will be moving very rapidly, so brace yourself. At the tab on the left you will find the links to the respective courses (FP,PC,GP). In the courses' pages you will find their respective course plans. Each plan is divided into weeks. These are logical weeks, which are equivalent to a half real week. We will first do PC, FP, then GP; approximately in that order, though there are also weeks where we do two subjects simultaneously.
You are strongly advised to stick to the course plans. When you are in the logical week t for a course X then you should read all the chapters listed in the course plan of X for that week, and do the recommended exercises. In addition, there are also assignments which you must deliver. All graded assignments are compulsory and contribute quite substantially to your end grade.
Check out the news page regularly.
We wish you good luck and we hope you will have a good time here :)