| Website: | website containing additional information |
| Course code: | INFOPST |
| Credits: | 15 ECTS |
| Period: | periode 1 (week 36 t/m 45, dwz 6-9-2006 t/m 10-11-2006; herkansing week 1)
|  |
| Timeslot: | A |
| Participants: | up till now 18 subscriptions |
| Schedule: | Dit is een oud rooster!
|
| Contents: | A crash course in:
- Functional Programming (the basics, including the class-system)
- Grammar and Parsing (everything in the Lecture Notes)
- Correctness of Programming (all in LN-part1, OO-part provisional)
|
| Literature: |
- Haskell: the Craft of Functional Programming, Second Edition.
Simon Thompson. Addison-Wesley, 1999.
- Grammars and Parsing. Lecture Notes by J. Jeuring and
S.D. Swierstra. Dept. CS, Utrecht University, 2001.
- Introduction to a Correctness Approach in Programming
Lecture Notes by I.S.W.B. Prasetya, T.E.J. Vos, S.D. Swierstra.
Dept. CS, Utrecht University, 2005.
- Proof Outlines for Object-Oriented Programming.
Lecture Notes by C. Pierik and A.J. van Leeuwen.
Dept. CS, Utrecht University, 2005.
|
| Course form: | The students are expected to study the course material individually. There is a detailed
course plan to guide the students to regulate their pace. The plan contains
instructions on chapters to read and exercises to do on a weekly basis. There will be meetings twice a week to discuss the theory and exercises; the students are expected to come to the meeting having already read the instructed materials. |
| Exam form: | There are two obligatory assignments and one final exam for each topic (Functional Programming, Grammars and Parsing, and Correctness of Programming). The final grade is the average of all component grades, with the exams weighting more than the assignments. The exact grading formula will be announced on the course web page. |
| Minimum effort to qualify for 2nd chance exam: | Om aan de aanvullende toets te mogen meedoen moet de oorspronkelijke uitslag minstens 4 zijn. |
| Description: | This crash course is intended to prepare new external Software Technology (ST) master students in a number of fundamental topics: Functional Programming, Grammars and Parsing, and Correctness of Programming. Almost all advanced courses in the ST Programme require familiarity with these topics and/or the mind set they advocate. |
